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

Informationen zum Autor John T. Baldwin is Professor Emeritus in the Department of Mathematics, Statistics and Computer Science at the University of Illinois, Chicago. He has published widely on mathematics and philosophy, and he is the author of books including Fundamentals of Stability Theory (1988) and Categoricity (2009). Klappentext Recounts the modern transformation of model theory and its effects on the philosophy of mathematics and mathematical practice. Zusammenfassung Surveys the history of modern model theory! emphasizing the significance! both for philosophy and for mathematical practice! of its mid-twentieth century transformation. Rich in both context and technical detail! this book will appeal to those working on the history and philosophy of mathematics. Inhaltsverzeichnis 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.

Product details

• Authors: John Baldwin, John (University of Illinois Baldwin, John T. Baldwin, John T. (University of Illinois Baldwin, Baldwin John T.
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 31.01.2018
• EAN: 9781107189218
• ISBN: 978-1-107-18921-8
• No. of pages: 362
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Natural sciences (general); English, SCIENCE / Philosophy & Social Aspects, History of Science, Philosophy of Mathematics, Impact of science and technology on society, Philosophical traditions and schools of thought, History of Western philosophy, History of mathematics