Philosophy and Model Theory

Oxford, UK: Oxford University Press. Edited by Sean Walsh & Wilfrid Hodges (2018)
  Copy   BIBTEX

Abstract

Philosophy and model theory frequently meet one another. Philosophy and Model Theory aims to understand their interactions 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 mathematical results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a significant background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are then scattered across disconnected pockets of papers, separated by decades or more. The first aim of Philosophy and Model Theory, then, is to consider the philosophical uses of model theory. On a technical level, we try to show how philosophically significant results connect to one another, and also to state the best version of a result for philosophical purposes. On a philosophical level, we show how similar dialectical situations arise repeatedly, across fragmented debates in varied philosophical areas. The second aim of Philosophy and Model Theory, though, is to consider the philosophy of model theory. Model theory itself is rarely taken as the subject matter of philosophising (contrast this, say, with the philosophy of biology, or the philosophy of set theory). But model theory is a beautiful part of pure mathematics, and worthy of philosophical study in its own right.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Set theory, model theory, and computability theory.Wilfrid Hodges - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 471.
Constructive Realism in Mathematics.Ilkka Niiniluoto - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 339-354.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Some Model Theory For Probability Structures.George Georgescu - 2001 - Reports on Mathematical Logic:103-113.
Two arguments against realism.Timothy Bays - 2008 - Philosophical Quarterly 58 (231):193–213.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
How Big Should the Monster Model Be? [REVIEW]John T. Baldwin - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 31-50.

Analytics

Added to PP
2017-10-18

Downloads
68 (#217,390)

6 months
20 (#102,067)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Tim Button
University College London
Sean Walsh
University of California, Los Angeles

Citations of this work

Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
A fictionalist theory of universals.Tim Button & Robert Trueman - forthcoming - In Peter Fritz & Nicholas K. Jones (eds.), Higher-order Metaphysics. Oxford University Press.
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.

View all 48 citations / Add more citations

References found in this work

No references found.

Add more references