A Conceptualist Interpretation of Lesniewski's Ontology

Loading...
Thumbnail Image
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

Journal Title

Journal ISSN

Volume Title

Publisher

History and Philosophy of Logic

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

Relation

Rights

Type

Article