Cantor’s Proof in the Full Definable Universe

Download Edit this record How to cite View on PhilPapers
Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the scope of quantifiers reveals a natural way out.
Reprint years
PhilPapers/Archive ID
Upload history
Archival date: 2014-08-27
View other versions
Added to PP index

Total views
419 ( #11,260 of 53,509 )

Recent downloads (6 months)
29 ( #23,038 of 53,509 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.