Studia Logica 69 (3):351-380 (2001)
AbstractWith 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.
Similar books and articles
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Quantification in English is Inherently Sortal.Edward L. Keenan - 1999 - History and Philosophy of Logic 20 (3-4):251-265.
The Aesthetic Peculiarity of Multifunctional Artefacts.Rafael De Clercq - 2005 - British Journal of Aesthetics 45 (4):412-425.
Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
A Complete and Consistent Formal System for Sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Added to PP
Historical graph of downloads
Citations of this work
A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
A Modal-Tense Sortal Logic with Variable-Domain Second-Order Quantification.Max Alberto Freund - 2015 - Australasian Journal of Logic 12 (1).
References found in this work
No references found.