This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
2 found
Search inside:
(import / add options)   Sort by:
  1. Tim Button (2011). The Metamathematics of Putnam's Model-Theoretic Arguments. Erkenntnis 74 (3):321-349.
    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.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Richard L. Poss (1971). Weak Forms of the Axiom of Constructibility. Notre Dame Journal of Formal Logic 12 (3):257-299.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation