Studia Logica 41 (2-3):181 - 195 (1982)

The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis of first-order predicate logic with equality, where T is a translation of the formulas of L 1 into those of first-order predicate logic with equality such that T(a, b) = FblxFax (Russeltian-type definite description), TA B = TA TB, T A = TA, etc.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370344
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Lesniewski and Russell's Paradox: Some Problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.
A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB.Takao Inoue - 2021 - Bulletin of the Section of Logic 50 (4):455-463.

Add more citations

Similar books and articles


Added to PP index

Total views
34 ( #337,367 of 2,519,663 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,663 )

How can I increase my downloads?


My notes