Switch to: References

Add citations

You must login to add citations.
  1. Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.
    Sobocinski in his paper on Leśniewski's solution to Russell's paradox (1949b) argued that Leśniewski has succeeded in explaining it away. The general strategy of this alleged explanation is presented. The key element of this attempt is the distinction between the collective (mereological) and the distributive (set-theoretic) understanding of the set. The mereological part of the solution, although correct, is likely to fall short of providing foundations of mathematics. I argue that the remaining part of the solution which suggests a specific (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Mathematical Logic Quarterly 37 (9‐12):129-138.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics.Takao Inoué - 2021 - Studia Logica 110 (1):265-289.
    In this paper, we shall give another proof of the faithfulness of Blass translation of the propositional fragment \ of Leśniewski’s ontology in the modal logic \ by means of Hintikka formula. And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we shall give general theorems on the faithfulness of B-translation with respect to normal modal logics complete to certain sets of well-known accessibility relations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    In this paper, we shall show that the following translation \(I^M\) from the propositional fragment \(\bf L_1\) of Leśniewski's ontology to modal logic \(\bf KTB\) is sound: for any formula \(\phi\) and \(\psi\) of \(\bf L_1\), it is defined as (M1) \(I^M(\phi \vee \psi) = I^M(\phi) \vee I^M(\psi)\), (M2) \(I^M(\neg \phi) = \neg I^M(\phi)\), (M3) \(I^M(\epsilon ab) = \Diamond p_a \supset p_a. \wedge. \Box p_a \supset \Box p_b.\wedge. \Diamond p_b \supset p_a\), where \(p_a\) and \(p_b\) are propositional variables corresponding to (...)
    Download  
     
    Export citation  
     
    Bookmark