What Russell Should Have Said to Burali–Forti

Review of Symbolic Logic 10 (4):682-718 (2017)
  Copy   BIBTEX

Abstract

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali-Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Léments de calcul vectoriel. [REVIEW]Burali-Forti Burali-Forti - 1911 - Ancient Philosophy (Misc) 21:638.
Sur le paradoxe dit «de Burali-Forti».Manuel Rebuschi - 1996 - Philosophia Scientiae 1 (1):111-124.
The burali-Forti paradox.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):1-17.
Logical objects and the paradox of burali-Forti.A. Hazen - 1986 - Erkenntnis 24 (3):283 - 291.
Rosser Barkley. The Burali-Forti paradox.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):120-121.
The burali-Forti paradox.Irving M. Copi - 1958 - Philosophy of Science 25 (4):281-286.
Inconsistency of GPK + AFA.Olivier Esser - 1996 - Mathematical Logic Quarterly 42 (1):104-108.
Librationist Closures of the Paradoxes.Frode Bjørdal - 2012 - Logic and Logical Philosophy 21 (4):323-361.
Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.

Analytics

Added to PP
2016-11-30

Downloads
104 (#164,004)

6 months
20 (#124,883)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Graham Leach-Krouse
Kansas State University
Salvatore Florio
University of Oslo

Citations of this work

Bolzano’s Mathematical Infinite.Anna Bellomo & Guillaume Massas - 2021 - Review of Symbolic Logic:1-55.
Classes, why and how.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.

Add more citations

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
The liar paradox.Charles Parsons - 1974 - Journal of Philosophical Logic 3 (4):381 - 412.
Philosophical Papers and Letters.Martha Kneale - 1957 - Philosophical Review 66 (4):574.

View all 34 references / Add more references