Abstract:We present a novel treatment of set theory in a four-valued paraconsistent and paracomplete logic, i.e., a logic in which propositions can be both true and false, and neither true nor false. Our approach is a significant departure from previous research in paraconsistent set theory, which has almost exclusively been motivated by a desire to avoid Russell's paradox and fulfil naive comprehension. Instead, we prioritise setting up a system with a clear ontology of non-classical sets, which can be used to reason informally about incomplete and inconsistent phenomena, and is sufficiently similar to ZFC to enable the development of interesting mathematics. We propose an axiomatic system BZFC, obtained by analysing the ZFC-axioms and translating them to a four-valued setting in a careful manner, avoiding many of the obstacles encountered by other attempted formalizations. We introduce the anti-classicality axiom postulating the existence of non-classical sets, and prove a surprising results stating that the existence of a single non-classical set is sufficient to produce any other type of non-classical set. Our theory is naturally bi-interpretable with ZFC, and provides a philosophically satisfying view in which non-classical sets can be seen as a natural extension of classical ones, in a similar way to the non-well-founded sets of Peter Aczel. Finally, we provide an interesting application concerning Tarski semantics, showing that the classical definition of the satisfaction relation yields a logic precisely reflecting the non-classicality in the meta-theory.

Set Theory Axioms Using Explication

An approach to basic set theory and logic

Rethinking set theory

Very Large Set Axioms Over Constructive Set Theories

Axiomatic theories of supervaluational truth: completing the picture

Very basic set theory

Logics and Admissible Rules of Constructive Set Theories

Reduced Set Theory

A Complete Axiomatisation for Quantifier-Free Separation Logic

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Formalization of the Axiom of Choice and its Equivalent Theorems

A marriage of category theory and set theory: a finitely axiomatized nonstandard first-order theory implying ZF

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra

Toward a More Complete List of Completeness Axioms

Simple Axioms for Local Properties

Axiomatizing modal inclusion logic and its variants

Extensional proofs in a propositional logic modulo isomorphisms

On the Existence and Disjunction Properties in Structural Set Theory

Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory

Set theory and tableaux for teaching propositional logic

An Introduction to Mathematical Logic