Model theory is an important area of mathematical logic which has deep philosophical roots, many philosophical applications, and great philosophical interest in itself. The aim of this book is to introduce, organise, survey, and develop these connections between philosophy and model theory, for the benefit of philosophers and logicians alike.
Model theory is an important area of mathematical logic which has deep philosophical roots, many philosophical applications, and great philosophical interest in itself. The aim of this book is to introduce, organise, survey, and develop these connections between philosophy and model theory, for the benefit of philosophers and logicians alike.
Tim Button is a Senior Lecturer, and a Fellow of St John's College, at the University of Cambridge. His first book, The Limits of Realism (OUP 2013) explores the relationship between words and world; between semantics and scepticism. His main research interests lie in meta(meta)physics, logic, mathematics, and language. In 2014 he received a Philip Leverhulme Prize. Sean Walsh did his graduate work in philosophy and mathematics at the University of Notre Dame, where he received a PhD in Logic and the Foundations of Mathematics. He is an Associate Professor in the Department of Philosophy at the University of California, Los Angeles.
Inhaltsangabe
A: Reference and realism 1: Logics and languages 2: Permutations and referential indeterminacy 3: Ramsey sentences and Newman's objection 4: Compactness, infinitesimals, and the reals 5: Sameness of structure and theory B: Categoricity 6: Modelism and mathematical doxology 7: Categoricity and the natural numbers 8: Categoricity and the sets 9: Transcendental arguments 10: Internal categoricity and the natural numbers 11: Internal categoricity and the sets 12: Internal categoricity and truth 13: Boolean-valued structures C: Indiscernibility and classification 14: Types and Stone spaces 15: Indiscernibility 16: Quantifiers 17: Classification and uncountable categoricity D: Historical appendix A short history of model theory
A: Reference and realism 1: Logics and languages 2: Permutations and referential indeterminacy 3: Ramsey sentences and Newman's objection 4: Compactness, infinitesimals, and the reals 5: Sameness of structure and theory B: Categoricity 6: Modelism and mathematical doxology 7: Categoricity and the natural numbers 8: Categoricity and the sets 9: Transcendental arguments 10: Internal categoricity and the natural numbers 11: Internal categoricity and the sets 12: Internal categoricity and truth 13: Boolean-valued structures C: Indiscernibility and classification 14: Types and Stone spaces 15: Indiscernibility 16: Quantifiers 17: Classification and uncountable categoricity D: Historical appendix A short history of model theory
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
