, Volume 74, Issue 3, pp 321–349

The Metamathematics of Putnam’s Model-Theoretic Arguments

Original Article

DOI: 10.1007/s10670-011-9270-6

Cite this article as:
Button, T. Erkenn (2011) 74: 321. doi:10.1007/s10670-011-9270-6


Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Darwin College, Cambridge UniversityCambridgeUK