Button, T;
Walsh, S;
(2018)
Philosophy and Model Theory.
[Book].
Oxford University Press: Oxford, UK.
Preview |
Text (Chapter 1 - Logics and languages)
Button_& Walsh (2018) Philosophy and Model Theory 21022018_chapter 1.pdf - Accepted Version Download (355kB) | Preview |
Abstract
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 appeals to 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 consider 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.
Type: | Book |
---|---|
Title: | Philosophy and Model Theory |
ISBN-13: | 9780198790396 |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1093/oso/9780198790396.001.0001 |
Publisher version: | https://doi.org/10.1093/oso/9780198790396.001.0001 |
Language: | English |
Additional information: | The text in this record is for Chapter 1 - "Logics and languages". // This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
Keywords: | philosophy of mathematics, philosophy of logic, model theory, reference, realism, categoricity, indiscernibility, classification |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL SLASH UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Philosophy |
URI: | https://discovery.ucl.ac.uk/id/eprint/10137288 |
Archive Staff Only
View Item |