Australasian Journal of Logic 9 (7):11-25 (2010)
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.
|Keywords||Cantor’s theorem Richard’s paradox definability countability quantifiers indefinite extensibility constructive ordinals|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Skolem's Paradox.Timothy Bays - 2009 - In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
Constructive Versus Ontological Construals of Cantorian Ordinals.Wolfram Hinzen - 2003 - History and Philosophy of Logic 24 (1):45-63.
Truth, Indefinite Extensibility, and Fitch's Paradox.Jose Luis Bermudez - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
Dummett's Argument for the Indefinite Extensibility of Set and Real Number.Peter Clark - 1998 - Grazer Philosophische Studien 55:51-63.
Russell, His Paradoxes, and Cantor's Theorem: Part I.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):16-28.
Idealist and Realist Elements in Cantor's Approach to Set Theory.I. Jane - 2010 - Philosophia Mathematica 18 (2):193-226.
Poincaré, Richard's Paradox and Indefinite Extensilibity.Peter Clark - 1994 - Psa 2:227--235.
On the Expressive Power of Monotone Natural Language Quantifiers Over Finite Models.Jouko Väänänen & Dag Westerståhl - 2002 - Journal of Philosophical Logic 31 (4):327-358.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Added to index2010-10-05
Total downloads160 ( #27,236 of 2,143,794 )
Recent downloads (6 months)16 ( #31,513 of 2,143,794 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.