A conceptualist interpretation of Lesniewski's ontology
History and Philosophy of Logic 22 (1):29-43 (2001)
| 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 | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
|
| Through your library | Configure |
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Michael K. Shim (2006). Leibniz on Concept and Substance. International Philosophical Quarterly 46 (3):309-325.
Nino B. Cocchiarella (2005). Denoting Concepts, Reference, and the Logic of Names, Classes as Many, Groups, and Plurals? Linguistics and Philosophy 28 (2):135 - 179.
Mitio Takano (1987). Embeddings Between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic. Studia Logica 46 (3):247 - 253.
V. A. Smirnov (1986). A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates". Studia Logica 45 (2):231 -.
V. A. Smirnov (1983). Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates. Studia Logica 42 (2-3):197 - 207.
Charles F. Kielkopf (1977). Quantifiers in Ontology. Studia Logica 36 (4):301-307.
Mitsunori Kobayashi & Arata Ishimoto (1982). A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method. Studia Logica 41 (2-3):181 - 195.
Peter M. Simons (1982). On Understanding Leśniewski. History and Philosophy of Logic 3 (2):165-191.
Monthly downloads |
Added to index2010-08-10Total downloads11 ( #99,573 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |

