Switch to: References

Add citations

You must login to add citations.
  1. Tracks of Relations and Equivalences-based Reasoning.G. Shtakser & L. Leonenko - 2011 - Studia Logica 97 (3):385-413.
    It is known that the Restricted Predicate Calculus can be embedded in an elementary theory, the signature of which consists of exactly two equivalences. Some special models for the mentioned theory were constructed to prove this fact. Besides formal adequacy of these models, a question may be posed concerning their conceptual simplicity, "transparency" of interpretations they assigned to the two stated equivalences. In works known to us these interpretations are rather complex, and can be called "technical", serving only the purpose (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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