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

Authors
Graham Leach-Krouse
Kansas State University
Salvatore Florio
University of Birmingham
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.
Keywords paradox  Burali-Forti  ordinals  abstraction  logicism  higher-order logic  Russell  no class theory
Categories (categorize this paper)
DOI 10.1017/S1755020316000484
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,232
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
Two Types of Abstraction for Structuralism.Øystein Linnebo & Richard Pettigrew - 2014 - Philosophical Quarterly 64 (255):267-283.
Logicism and the Ontological Commitments of Arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.

View all 35 references / Add more references

Citations of this work BETA

Classes, Why and How.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.

Add more citations

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 index
2016-11-30

Total views
51 ( #182,265 of 2,330,036 )

Recent downloads (6 months)
7 ( #98,442 of 2,330,036 )

How can I increase my downloads?

Downloads

My notes