A temporal logic for sortals
Studia Logica 69 (3):351-380 (2001)
| Abstract | 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 | 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEric Marcus (2006). Events, Sortals, and the Mind-Body Problem. Synthese 150 (1):99-129.
Mark Reynolds (1996). Axiomatising First-Order Temporal Logic: Until and Since Over Linear Time. Studia Logica 57 (2-3):279 - 302.
Rafael De Clercq (2005). The Aesthetic Peculiarity of Multifunctional Artefacts. British Journal of Aesthetics 45 (4):412-425.
Ed Keenan (1999). Quantification in English is Inherently Sortal. History and Philosophy of Logic 20 (3-4):251-265.
John E. Sarnecki (2008). Sortals for Dummies. Erkenntnis 69 (2):145 - 164.
Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
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.
Max A. Freund (2000). A Complete and Consistent Formal System for Sortals. Studia Logica 65 (3):367-381.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads26 ( #47,684 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
