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 Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1013840126121
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,188
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
A Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.

Add more citations

Similar books and articles
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 Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.

Monthly downloads

Added to index

2009-01-28

Total downloads

46 ( #110,504 of 2,154,063 )

Recent downloads (6 months)

1 ( #398,005 of 2,154,063 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums