A Conceptualist Interpretation of Lesniewski's Ontology
Loading...
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.
Date
2001
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
History and Philosophy of Logic
Permanent Link
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.
Description
This is an Accepted Manuscript of an article published by Taylor & Francis in History and Philosophy of Logic in 2001, available online: https://doi.org/10.1080/01445340110113381
Keywords
Citation
Cocchiarella, N. "A Conceptualist Interpretation of Le'sniewski's Ontology," History and Philosophy of Logic, vol. 22 (2001): 29-43.
Journal
Link(s) to data and video for this item
Relation
Rights
Type
Article