Spheres, cubes and simple

Logic and Logical Philosophy 22 (3):255-293 (2013)
  Copy   BIBTEX


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 set of definitions that works for both these classes of figures. The analysis of our logics shows that Tarski’s choice to take sphere as the geometrical primitive might be intuitively justified but is not optimal from a technical viewpoint



    Upload a copy of this work     Papers currently archived: 76,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

14 (#732,996)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
La géométrie dans le monde sensible.Jean Nicod - 1965 - Revue Philosophique de la France Et de l'Etranger 155 (3):383-383.
Mereotopology without Mereology.Peter Forrest - 2010 - Journal of Philosophical Logic 39 (3):229-254.

View all 10 references / Add more references