Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism

ISBN-13: 9781316638835 / Angielski / Miękka / 2020 / 364 str.

John T. Baldwin

Opis

Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice.

Recenzje

'The book under review has a lot to offer at many levels. First of all, it may serve as a guide to recent advances in pure and applied model theory. Such a guide may be useful not only to novices, but also to old hands. Secondly, Baldwin summarizes several trends in contemporary philosophy of mathematics, and his insights should be of interest to philosophers as well as to mathematicians.' Roman Kossak, The Mathematical Intelligencer

Spis treści

Part I. Refining the Notion of Categoricity: 1. Formalization; 2. The context of formalization; 3. Categoricity; Part II. The Paradigm Shift: 4. What was model theory about?; 5. What is contemporary model theory about?; 6. Isolating tame mathematics; 7. Infinitary logic; 8. Model theory and set theory; Part III. Geometry: 9. Axiomatization of geometry; 10. π, area, and circumference of circles; 11. Complete: the word for all seasons; Part IV. Methodology: 12. Formalization and purity in geometry; 13. On the nature of definition: model theory; 14. Formalism-freeness; 15. Summation.