A conceptualist interpretation of Lesniewski's ontology

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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
2010-08-10

Downloads
38 (#363,694)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nino Cocchiarella
Indiana University, Bloomington

References found in this work

Reference and generality.P. T. Geach - 1962 - Ithaca, N.Y.,: Cornell University Press. Edited by Michael C. Rea.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Reference and Generality.Peter Geach - 1962 - Studia Logica 15:301-303.

View all 16 references / Add more references