From Russell's paradox to

Abstract

Russell’s way out of his paradox via the impredicative theory of types has roughly the same logical power as Zermelo set theory - which supplanted it as a far more flexible and workable axiomatic foundation for mathematics. We discuss some new formalisms that are conceptually close to Russell, yet simpler, and have the same logical power as higher set theory - as represented by the far more powerful Zermelo-Frankel set theory and beyond. END.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Higher set theory.Harvey Friedman - manuscript
Zermelo and Russell's Paradox: Is There a Universal set?G. Landini - 2013 - Philosophia Mathematica 21 (2):180-199.
Curry's paradox.Jc Beall - manuscript
On Russell's vulnerability to Russell's paradox.James Levine - 2001 - History and Philosophy of Logic 22 (4):207-231.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Russell's paradox and legal positivism.David Gray Carlson - unknown
Bradley’s Paradox and Russell’s Theory of Relations.Richard Parker - 1984 - Philosophy Research Archives 10:261-273.
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
Russell-Myhill paradox.Kevin C. Klement - 2003 - Internet Encyclopedia of Philosophy.
Russell's paradox.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.
Russell's paradox of the totality of propositions.Nino B. Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
On the Physiological Generation of Antinomies and Paradoxes.Carlos Acosta - 2012 - Mind and Matter 10 (1):75 - 114.

Analytics

Added to PP
2010-12-22

Downloads
187 (#102,233)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references