Review of Symbolic Logic 5 (2):269-293 (2012)

Authors
Zach Weber
University of Otago
Abstract
This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020312000019
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: 65,740
Through your library

References found in this work BETA

In Contradiction: A Study of the Transconsistent.Graham Priest - 1987 - Dordrecht, Netherland: Oxford University Press.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.

View all 48 references / Add more references

Citations of this work BETA

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
Dialetheism.Francesco Berto, Graham Priest & Zach Weber - 2008 - Stanford Encyclopedia of Philosophy 2018 (2018).
What Counts as Evidence for a Logical Theory?Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):250.

View all 26 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2013-10-31

Total views
101 ( #110,090 of 2,462,951 )

Recent downloads (6 months)
4 ( #179,042 of 2,462,951 )

How can I increase my downloads?

Downloads

My notes