Another Paradox In Naive Set-Theory

Studia Logica 85 (1):33-39 (2007)
  Copy   BIBTEX

Abstract

Reasonning in naive set theory (with unlimited comprehension), we derive a paradox (a formal contradiction) which can be seen as a variant of the Burali-Forti paradox.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9025-1

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,604

External links

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

Through your library

My notes

Similar books and articles

Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195-213.
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195 - 213.
The undecidability of grisin's set theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345 - 368.
Cantor and the Burali-Forti Paradox.Christopher Menzel - 1984 - The Monist 67 (1):92-107.
Extensionality and Restriction in Naive Set Theory.Zach Weber - 2010 - Studia Logica 94 (1):87-104.
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.
What Russell Should Have Said to Burali–Forti.Salvatore Florio & Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (4):682-718.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Curry's paradox in contractionless constructive logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.

Analytics

Added to PP
2009-01-28

Downloads
104 (#218,352)

6 months
7 (#632,998)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought [1879].Gottlob Frege - 1879 - From Frege to Gödel: A Source Book in Mathematical Logic 1931:1--82.
Letter to Dedekind.George Cantor - 1967 - In Jean Van Heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, MA, USA: Harvard University Press. pp. 113--117.

Add more references