BIBFRAME Work

Title

Philosophy and model theory

Type

  • Monograph
  • Text

Contribution

Subject

Language

Illustrative Content

Classification

Content

Supplementary content

Summary

"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."-- Preface, page [v].

Table of Contents

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.

Authorized Access Point

Button, Tim. Philosophy and model theory

Admin Metadata

  • Date: 2026-09-11T20:20:38.124936+00:00
  • Agent: cbc
  • Status: c
  • Derived from: 20104706

Admin Metadata

  • Date: 2026-09-11
  • Cataloger id: Unknown
  • Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
  • Description language: eng
  • Description authentication: pcc

Alternative Formats

Blue Core Actions

  • Load to Marva Marva loads Instances, not Works. Open one of this Work's Instances and load that into Marva instead.
  • Load to Sinopia
  • Export to Catalog Only Instances can be exported. Open one of this Work's Instances and export that instead.