Switch to: References

Add citations

You must login to add citations.
  1. Spheres, cubes and simple.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.
    In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Leśniewski’s characteristica universalis.Arianna Betti - 2010 - Synthese 174 (2):295-314.
    Leśniewski’s systems deviate greatly from standard logic in some basic features. The deviant aspects are rather well known, and often cited among the reasons why Leśniewski’s work enjoys little recognition. This paper is an attempt to explain why those aspects should be there at all. Leśniewski built his systems inspired by a dream close to Leibniz’s characteristica universalis: a perfect system of deductive theories encoding our knowledge of the world, based on a perfect language. My main claim is that Leśniewski (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Applications and limits of mereology. From the theory of parts to the theory of wholes.Massimo Libardi - 1994 - Axiomathes 5 (1):13-54.
    The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•