A first-order formulation of Lesniewski'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 Lesniewski's ontology is decidable.
Download this paper in PDF format:
Download this paper in PostScript format:
To view PDF files, download Adobe Acrobat Reader (it's free) from http://www.adobe.com/prodindex/acrobat/readstep.html.
