On Tarski's foundations of the geometry of solids

DOI10.2178/BSL/1333560806MaRDI QIDQ2893282zbMATH OpenOpenAlexFDO

Authors Arianna Betti, Iris Loeb

Publication date 20 June 2012

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bsl/1333560806, https://research.vu.nl/en/publications/2794356b-f7fd-411c-9d67-12cbea3756bc

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) History of geometry (51-03) Euclidean geometries (general) and generalizations (51M05)

Review text

In [``Les fondements de la géométrie des corps, Księga Pamiątkowa I Zjazdu Matematyków 1929, 29--33 (1929)] \textit{A. Tarski} wrote an uncharacteristically vague note on the possibility of axiomatizing solid Euclidean geometry in terms of `spheres' and `being part of'. The authors present the contents of the paper, Tarski's general view of axiomatics, the reason why the paper does ``not live up to his own methodological ideals, the reasons why ``Leśniewski's philosophy and systems do not play the significant role that one may be tempted to assign to them at first glance (Leśniewski having originated the analysis of the part-whole relation under the name of mereology). By analyzing the possible meanings of the domain of discourse, the authors find an interpretation under which Tarski's system does not need to be seen as having made the mistake ascribed to it by \textit{R. Gruszczyński} and \textit{A. Pietruszczak} [Bull. Symb. Log. 14, No. 4, 481--540 (2008; Zbl 1156.03011)].

Recommendations

• Full Development of Tarski's Geometry of Solids
• Leśniewski's systems of logic and foundations of mathematics
• Philosophical implications of Tarski's work
• Tarski and geometry
• scientific article; zbMATH DE number 7161714

Cites work

• Alfred Tarski: Semantic shift, heuristic shift in metamathematics
• Aristotle's prohibition rule on kind-crossing and the definition of mathematics as a science of quantities
• Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23]</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics,
• Full Development of Tarski's Geometry of Solids
• Tarski and geometry
• Tarski on truth and logical consequence
• The classical model of science: a millennia-old model of scientific rationality
• The legacy of Mario Pieri in geometry and arithmetic
• Unifying threads in Alfred Tarski's work

Cited in

(12)

• On Tarski's axiomatization of mereology
• FULL MEREOGEOMETRIES
• A Note on Tarski's Note
• Tarski and geometry
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• Submodels in Carnap's early axiomatics revisited
• A constructive version of Tarski's geometry
• Spheres, cubes and simplexes in mereogeometry
• scientific article; zbMATH DE number 7161714 (Why is no real title available?)
• Full Development of Tarski's Geometry of Solids
• Lesniewski, Tarski and the geometry of solids
• A monadic second-order version of Tarski's geometry of solids

This page was built for publication: On Tarski's foundations of the geometry of solids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2893282)