Graduate studies at Western
Studia Logica 65 (3):367-381 (2000)
|Abstract||A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Max A. Freund (2004). A Modal Sortal Logic. Journal of Philosophical Logic 33 (3):237-260.
Max A. Freund (2007). A Two Dimensional Tense-Modal Sortal Logic. Journal of Philosophical Logic 36 (5):571 - 598.
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Max A. Freund (1994). The Relative Consistency of System RRC* and Some of its Extensions. Studia Logica 53 (3):351 - 360.
John E. Sarnecki (2008). Sortals for Dummies. Erkenntnis 69 (2):145 - 164.
Volker Halbach (1994). A System of Complete and Consistent Truth. Notre Dame Journal of Formal Logic 35 (1):311--27.
Max A. Freund (2001). A Temporal Logic for Sortals. Studia Logica 69 (3):351-380.
Added to index2009-01-28
Total downloads16 ( #81,883 of 739,444 )
Recent downloads (6 months)1 ( #61,778 of 739,444 )
How can I increase my downloads?