Repository | Series | Book | Chapter
Notes on inconsistent set theory
pp. 315-328
Abstract
The purpose of this paper is to highlight and discuss two ideas that play in to the axiomatic development of a paraconsistent naive set theory. We will focus on aspects of the theory that can be read right off the axioms, concerning intensional identity and unrestricted set existence. Both relate to inconsistency. To begin I lay out a relevant background logic, placing a strong emphasis on the restrictions such a logic must have in order to support an inconsistent set theory. The sections that follow proceed on the understanding that, while highly inconsistent, a good deal of control is being exerted on the theory through the weakened logic. The two features of a fully naive theory, identity and self-reference, dovetail throughout.
Publication details
Published in:
Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Pages: 315-328
DOI: 10.1007/978-94-007-4438-7_17
Full citation:
Weber Zach (2013) „Notes on inconsistent set theory“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 315–328.