Author Description

'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. A. Reference And Realism. Logics And Languages -- Permutations And Referential Indeterminacy -- Ramsey Sentences And Newman's Objection -- Compactness, Infinitesimals, And The Reals -- Sameness Of Structure And Theory -- B. Categoricity. Modelism And Mathematical Doxology -- Categoricity And The Natural Numbers -- Categoricity And The Sets -- Transcendental Arguments Against Model-theoretical Scepticism -- Internal Categoricity And The Natural Numbers -- Internal Categoricity And The Sets -- Internal Categoricity And Truth -- Boolean-valued Structures -- C. Indiscernibility And Classification. Types And Stone Spaces -- Indiscernibility -- Quantifiers -- Classification And Uncountable Categoricity -- D. Historical Appendix. Wilfrid Hodges. Tim Button, Sean Walsh. This Edition Previously Issued In Print: 2018. Includes Bibliographical References And Index.