首页    期刊浏览 2025年07月28日 星期一
登录注册

文章基本信息

  • 标题:Cantor’s Proof in the Full Definable Universe
  • 本地全文:下载
  • 作者:Laureano Luna ; William Taylor ; Statistics
  • 期刊名称:Australasian Journal of Logic
  • 印刷版ISSN:1448-5052
  • 电子版ISSN:1448-5052
  • 出版年度:2010
  • 卷号:9
  • 期号:0
  • 出版社:Philosophy Department, University of Melbourne
  • 摘要: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.
国家哲学社会科学文献中心版权所有