History and Philosophy of Logic 22 (1):29-43 (2001)

Authors
Nino Cocchiarella
Indiana University, Bloomington
Abstract
A first-order formulation of Le?niewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Le?niewski's ontology is decidable
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/01445340110113381
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
Through your library

References found in this work BETA

Reference and Generality.P. T. Geach - 1962 - Ithaca: Cornell University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - Princeton: Princeton University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Reference and Generality.Peter Geach - 1962 - Studia Logica 15:301-303.

View all 15 references / Add more references

Citations of this work BETA

Externalism, Internalism, and Logical Truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.
Mass Nouns in a Logic of Classes as Many.Nino B. Cocchiarella - 2009 - Journal of Philosophical Logic 38 (3):343-361.

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-08-10

Total views
35 ( #325,513 of 2,508,106 )

Recent downloads (6 months)
1 ( #416,711 of 2,508,106 )

How can I increase my downloads?

Downloads

My notes