Philosophy and Model Theory

Button, Tim|Walsh, Sean

ISBN 10: 0198790406 / ISBN 13: 9780198790402

Published by Oxford University Press|OUP Oxford, 2018

About this Item

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 be.

Seller Inventory # 219925157

Bibliographic Details

• Title: Philosophy and Model Theory
• Publisher: Oxford University Press|OUP Oxford
• Publication Date: 2018
• Language: English
• ISBN 10: 0198790406
• ISBN 13: 9780198790402
• Binding: Kartoniert / Broschiert
• Condition: New

About this title

Synopsis

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.
But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers.
The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures.
Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

About the Author

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 is Associate Professor in the Department of Logic and Philosophy of Science at the University of California, Irvine. He 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, and subsequently worked for two years at Birkbeck, University of London.