Logic Journal of the IGPL

TitleStrong, universal and provably non-trivial set theory by means of adaptive logic
Publication TypeJournal Article
Year of Publication2013
AuthorsVerdée, P
JournalLogic Journal of the IGPL
Volume21
Number1
Pagination108-125
Abstract

In this article, I present a non-trivial but inconsistent set theory based on unrestricted comprehension. The theory is provably non-trivial and strong enough for most of the applications of regular mathematics. This is realized by distinguishing between strong and weak set membership and allowing for the derivation of strong membership from weak membership whenever this is not problematic (it does not lead to paradoxes). This idea of applying rules whenever unproblematic is formalized by means of an adaptive logic.

DOI10.1093/jigpal/jzs025
Citation KeyVerdee01022013
Download PDF (Author PDF)
PDF author (public):