General Logic-Systems and Finite Consequence Operators

2007 ◽  
Vol 1 (1) ◽  
pp. 201-208
Author(s):  
Robert A. Herrmann
Author(s):  
Huaping Lu-Adler

This book is both a history of philosophy of logic told from the Kantian viewpoint and a reconstruction of Kant’s theory of logic from a historical perspective. Kant’s theory represents a turning point in a history of philosophical debates over the following questions: (1) Is logic a science, instrument, standard of assessment, or mixture of these? (2) If logic is a science, what is the subject matter that differentiates it from other sciences, particularly metaphysics? (3) If logic is a necessary instrument to all philosophical inquiries, how is it so entitled? (4) If logic is both a science and an instrument, how are these two roles related? Kant’s answer to these questions centers on three distinctions: general versus particular logic, pure versus applied logic, pure general logic versus transcendental logic. The true meaning and significance of each distinction becomes clear, this book argues, only if we consider two factors. First, Kant was mindful of various historical views on how logic relates to other branches of philosophy (viz. metaphysics and physics) and to the workings of common human understanding. Second, he first coined “transcendental logic” while struggling to secure metaphysics as a proper “science,” and this conceptual innovation would in turn have profound implications for his mature theory of logic. Against this backdrop, the book reassesses the place of Kant’s theory in the history of philosophy of logic and highlights certain issues that are still debated today, such as normativity of logic and the challenges posed by logical pluralism.


1990 ◽  
Vol 13 (4) ◽  
pp. 465-483
Author(s):  
V.S. Subrahmanian

Large logic programs are normally designed by teams of individuals, each of whom designs a subprogram. While each of these subprograms may have consistent completions, the logic program obtained by taking the union of these subprograms may not. However, the resulting program still serves a useful purpose, for a (possibly) very large subset of it still has a consistent completion. We argue that “small” inconsistencies may cause a logic program to have no models (in the traditional sense), even though it still serves some useful purpose. A semantics is developed in this paper for general logic programs which ascribes a very reasonable meaning to general logic programs irrespective of whether they have consistent (in the classical logic sense) completions.


Author(s):  
Yang Chen ◽  
Jiaxiu Yang

In recent years, fuzzy identification based on system identification theory has become a hot academic topic. Interval type-2 fuzzy logic systems (IT2 FLSs) have become a rising technology. This paper designs a type of Nagar-Bardini (NB) structure-based singleton IT2 FLSs for fuzzy identification problems. The antecedents of primary membership functions of IT2 FLSs are chosen as Gaussian type-2 primary membership functions with uncertain standard deviations. Then, the back propagation algorithms are used to tune the parameters of IT2 FLSs according to the chain rule of derivation. Compared with the type-1 fuzzy logic systems, simulation studies show that the proposed IT2 FLSs can obtain better abilities of generalization for fuzzy identification problems.


2011 ◽  
Vol 62 (2) ◽  
pp. 147-163 ◽  
Author(s):  
Sunday Olusanya Olatunji ◽  
Ali Selamat ◽  
Abdulazeez Abdulraheem

2017 ◽  
Vol 17 (1) ◽  
pp. 66-94
Author(s):  
Ivana Miková

AbstractThe main aim of this paper is to discuss standard explanations of the causes respective to each wave of economic regionalism and to introduce an alternative approach suggesting the existence of a common mechanism driving all three periods of intensified economic integration. This study argues for the general logic to economic regionalism based on the balance mechanism. Proposed mechanism embraces standard theoretical explanations and places them into a broader context of general encompassing logic common to all three occurrences of economic regionalism. For acquiring empirical evidence of this mechanism, all three waves of regionalism and their causes are analysed as well as on one particular case of the third wave of regionalism - ASEAN-China FTA. Central motivation is the existence of plethora of factors leading to the preference of the regional trade strategies in particular time periods without offering explanation common to all three main occurrences of regionalism. However, this study argues that every instance of economic turmoil leads to protectionist tendencies in the form of economic regionalism followed by the multilateral trade liberalisation mitigating negative effects of protectionist tendencies.


Sign in / Sign up

Export Citation Format

Share Document