Subject-predicate calculus free from existential import
Studia Logica 42 (2-3):209 - 221 (1983)
| Abstract | Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNeil Tennant (2007). Existence and Identity in Free Logic: A Problem for Inferentialism? Mind 116 (464):1055 - 1078.
Pierluigi Minari (1983). Completeness Theorems for Some Intermediate Predicate Calculi. Studia Logica 42 (4):431 - 441.
Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Xiaoqiang Han (2009). Maybe There Are No Subject-Predicate Sentences in Chinese. Dao: A Journal of Comparative Philosophy 8 (3):277-287.
Guy Politzer (2003). No Problem for Aristotle's Subject and Predicate. Behavioral and Brain Sciences 26 (3):298-299.
Phillip H. Wiebe (1991). Existential Assumptions for Aristotelian Logic. Journal of Philosophical Research 16:321-328.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,804 of 556,807 )Recent downloads (6 months)1 ( #64,847 of 556,807 )How can I increase my downloads? |
My notes
Discussion
