In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy (2009)
Skolem's Paradox involves a seeming conflict between two theorems from classical logic. The Löwenheim Skolem theorem says that if a first order theory has infinite models, then it has models whose domains are only countable. Cantor's theorem says that some sets are uncountable. Skolem's Paradox arises when we notice that the basic principles of Cantorian set theory—i.e., the very principles used to prove Cantor's theorem on the existence of uncountable sets—can themselves be formulated as a collection of first order sentences. How can the very principles which prove the existence of uncountable sets be satisfied by a model which is itself only countable? How can a countable model satisfy the first order sentence which says that there are uncountably many mathematical objects—e.g., uncountably many real numbers?
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
The Metamathematics of Putnam's Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.
Similar books and articles
Cantor's Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9 (7):11-25.
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.Jan Von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Skolem and the Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance of Mathematical Results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.
Are Mathematical Theories Reducible to Non-Analytic Foundations?Stathis Livadas - 2013 - Axiomathes 23 (1):109-135.
End Extensions and Numbers of Countable Models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.
Reflections on Skolem's Relativity of Set-Theoretical Concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.
Added to index2009-01-28
Total downloads34 ( #144,923 of 2,146,811 )
Recent downloads (6 months)5 ( #162,529 of 2,146,811 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.