Studia Logica 69 (3):351-380 (2001)
With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
Similar books and articles
Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
The Aesthetic Peculiarity of Multifunctional Artefacts.Rafael De Clercq - 2005 - British Journal of Aesthetics 45 (4):412-425.
Quantification in English is Inherently Sortal.Ed Keenan - 1999 - History and Philosophy of Logic 20 (3-4):251-265.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
A Complete and Consistent Formal System for Sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Added to index2009-01-28
Total downloads46 ( #110,504 of 2,154,063 )
Recent downloads (6 months)1 ( #398,005 of 2,154,063 )
How can I increase my downloads?