A temporal logic for sortals

Studia Logica 69 (3):351-380 (2001)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,635

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

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

Analytics

Added to PP
2009-01-28

Downloads
66 (#179,639)

6 months
1 (#419,510)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

Add more citations

References found in this work

No references found.

Add more references