A complete and consistent formal system for sortals

Studia Logica 65 (3):367-381 (2000)

Abstract

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,766

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
47 (#245,123)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Individuals.P. F. Strawson - 1959 - Les Etudes Philosophiques 14 (2):246-246.
Reference in Conceptual Realism.Nino B. Cocchiarella - 1998 - Synthese 114 (2):169-202.

Add more references

Citations of this work

A Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.

Add more citations

Similar books and articles

On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
A Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
A Temporal Logic for Sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.