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)|
References found in this work BETA
No references found.
Citations of this work BETA
Point-Free Geometry, Ovals, and Half-Planes.Giangiacomo Gerla & Rafał Gruszczyński - 2017 - Review of Symbolic Logic 10 (2):237-258.
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.
Groups and Algebras of Binary Relations.Steven Givant & Hajnal Andreka - 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 - a Dilemma.Richard C. Jennings - 1987 - Inquiry : An Interdisciplinary Journal of Philosophy 30 (1 & 2):155 – 172.
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.
Added to index2010-09-13
Total downloads29 ( #177,725 of 2,172,660 )
Recent downloads (6 months)1 ( #325,028 of 2,172,660 )
How can I increase my downloads?