Cantor’s Proof in the Full Definable Universe

Download Edit this record How to cite View on PhilPapers
Abstract
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
2011
PhilPapers/Archive ID
LUNCPI-5
Revision history
Archival date: 2014-08-27
View upload history
References found in this work BETA
Paradoxes.[author unknown]

Add more references

Citations of this work BETA

Add more citations

Added to PP index
2010-10-05

Total views
339 ( #10,287 of 43,688 )

Recent downloads (6 months)
63 ( #10,547 of 43,688 )

How can I increase my downloads?

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