David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Dissertation, University of California, Los Angeles (2000)
The Lowenheim-Skolem theorems say that if a first-order theory has infinite models, then it has models which are only countably infinite. Cantor's theorem says that some sets are uncountable. Together, these theorems induce a puzzle known as Skolem's Paradox: the very axioms of set theory which prove the existence of uncountable sets can be satisfied by a merely countable model. ;This dissertation examines Skolem's Paradox from three perspectives. After a brief introduction, chapters two and three examine several formulations of Skolem's Paradox in order to disentangle the roles which set theory, model theory, and philosophy play in these formulations. In these chapters, I accomplish three things. First, I clear up some of the mathematical ambiguities which have all too often infected discussions of Skolem's Paradox. Second, I isolate a key assumption upon which Skolem's Paradox rests, and I show why this assumption has to be false. Finally, I argue that there is no single explanation as to how a countable model can satisfy the axioms of set theory ;In chapter four, I turn to a second puzzle. Why, even though philosophers have known since the early 1920's that Skolem's Paradox has a relatively simple technical solution, have they continued to find this paradox so troubling? I argue that philosophers' attitudes towards Skolem's Paradox have been shaped by the acceptance of certain, fairly specific, claims in the philosophy of language. I then tackle these philosophical claims head on. In some cases, I argue that the claims depend on an incoherent account of mathematical language. In other cases, I argue that the claims are so powerful that they render Skolem's Paradox trivial. In either case, though, examination of the philosophical underpinnings of Skolem's Paradox renders that paradox decidedly unparadoxical. ;Finally, in chapter five, I turn away from "generic" formulations of Skolem's Paradox to examine Hilary Putnam's "model-theoretic argument against realism." I show that Putnam's argument involves mistakes of both the mathematical and the philosophical variety, and that these two types of mistake are closely related. Along the way, I clear up some of the mutual charges of question begging which have characterized discussions between Putnam and his critics
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Alexander George (1985). Skolem and the Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance of Mathematical Results. History and Philosophy of Logic 6 (1):75-89.
F. A. Muller (2005). Deflating Skolem. Synthese 143 (3):223 - 253.
F. A. Muller (2005). Deflating Skolem. Synthese 143 (3):223--53.
Marek Zawadowski (1983). The Skolem-Löwenheim Theorem in Toposes. Studia Logica 42 (4):461 - 475.
Marek Zawadowski (1985). The Skolem-Löwenheim Theorem in Toposes. II. Studia Logica 44 (1):25 - 38.
Luca Bellotti (2006). Skolem, the Skolem 'Paradox' and Informal Mathematics. Theoria 72 (3):177-212.
Stathis Livadas (2013). Are Mathematical Theories Reducible to Non-Analytic Foundations? Axiomathes 23 (1):109-135.
Ignagio Jane (2001). Reflections on Skolem's Relativity of Set-Theoretical Concepts. Philosophia Mathematica 9 (2):129-153.
Timothy Bays (2006). The Mathematics of Skolem's Paradox. In Dale Jacquette (ed.), Philosophy of Logic. North Holland 615--648.
Added to index2009-01-28
Total downloads47 ( #88,960 of 1,902,101 )
Recent downloads (6 months)7 ( #115,170 of 1,902,101 )
How can I increase my downloads?