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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,217
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Timothy Bays (2001). On Tarski on Models. Journal of Symbolic Logic 66 (4):1701-1726.
Richard Vesley (1999). Constructivity in Geometry. History and Philosophy of Logic 20 (3-4):291-294.
Richard C. Jennings (1987). Tarski - a Dilemma. Inquiry 30 (1 & 2):155 – 172.
Peter Milne (1999). Tarski, Truth and Model Theory. Proceedings of the Aristotelian Society 99 (2):141–167.
Mario Gómez-Torrente (1998). On a Fallacy Attributed to Tarski. History and Philosophy of Logic 19 (4):227-234.
Peter Milne (1997). Tarski on Truth and its Definition. In Timothy Childers, Petr Kolft & Vladimir Svoboda (eds.), Proceedings of the Aristotelian Society. Filosofia 198-210.

Monthly downloads

Added to index


Total downloads

29 ( #164,418 of 1,932,453 )

Recent downloads (6 months)

1 ( #456,120 of 1,932,453 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.