Full development of Tarski's geometry of solids

Bulletin of Symbolic Logic 14 (4):481-540 (2008)

In this paper we give probably an exhaustive analysis of the geometry of solids which was sketched by Tarski in his short paper [20, 21]. We show that in order to prove theorems stated in [20, 21] one must enrich Tarski's theory with a new postulate asserting that the universe of discourse of the geometry of solids coincides with arbitrary mereological sums of balls, i.e., with solids. We show that once having adopted such a solution Tarski's Postulate 4 can be omitted, together with its versions 4' and 4". We also prove that the equivalence of postulates 4, 4' and 4" is not provable in any theory whose domain contains objects other than solids. Moreover, we show that the concentricity relation as defined by Tarski must be transitive in the largest class of structures satisfying Tarski's axioms. We build a model (in three-dimensional Euclidean space) of the theory of so called T*-structures and present the proof of the fact that this is the only (up to isomorphism) model of this theory. Moreover, we propose different categorical axiomatizations of the geometry of solids. In the final part of the paper we answer the question concerning the logical status (within the theory of T*-structures) of the definition of the concentricity relation given by Tarski
Keywords Geometry of solids   pointless geometry   mereology   foundations of geometry
Categories (categorize this paper)
DOI 10.2178/bsl/1231081462
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,938
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Spheres, Cubes and Simple.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.

Add more citations

Similar books and articles

On Tarski's Foundations of the Geometry of Solids.Arianna Betti & Iris Loeb - 2012 - Bulletin of Symbolic Logic 18 (2):230-260.
Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
On Tarski on Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
Tarski's Physicalism.Richard L. Kirkham - 1993 - Erkenntnis 38 (3):289-302.
Tarski - a Dilemma.Richard C. Jennings - 1987 - Inquiry: An Interdisciplinary Journal of Philosophy 30 (1 & 2):155 – 172.
More on Putnam and Tarski.Panu Raatikainen - 2003 - Synthese 135 (1):37 - 47.
Tarski, Truth and Model Theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
On a Fallacy Attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
Tarski on Truth and its Definition.Peter Milne - 1997 - In Timothy Childers, Petr Kolft & Vladimir Svoboda (eds.), Proceedings of the Aristotelian Society. Filosofia. pp. 198-210.


Added to PP index

Total views
38 ( #218,314 of 2,259,413 )

Recent downloads (6 months)
3 ( #506,095 of 2,259,413 )

How can I increase my downloads?


My notes

Sign in to use this feature