Skolem's Paradox

[Revised entry by Timothy Bays on November 11, 2014. Changes to: Main text, Bibliography, notes.html] Skolem's Paradox involves a seeming conflict between two theorems from classical logic. The
Philosophy News image
[Revised entry by Timothy Bays on November 11, 2014. Changes to: Main text, Bibliography, notes.html] Skolem's Paradox involves a seeming conflict between two theorems from classical logic. The Lowenheim-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...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus