Full development of Tarski's geometry of solids

Bulletin of Symbolic Logic 14 (4):481-540 (2008)
Abstract
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)
Options
 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: 11,825
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.

Citations of this work BETA

No citations found.

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 (1999). Tarski on Truth and its Definition. Proceedings of the Aristotelian Society 99:141-167.
Analytics

Monthly downloads

Added to index

2010-09-13

Total downloads

10 ( #152,266 of 1,100,079 )

Recent downloads (6 months)

1 ( #304,128 of 1,100,079 )

How can I increase my downloads?

My notes
Sign in to use this feature


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