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.

Bi-interpretation in weak set theories

Interpretations of ZF

Mutual Interpretability of Weak Essentially Undecidable Theories

On the consistency of ZF with an elementary embedding from into

An isomorphism theorem for models of weak König’s lemma without primitive recursion

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems

Notes on Interpretability between Weak First-order Theories: Theories of Sequences

There is No Standard Model of ZFC and ZFC_2 with Henkin semantics.Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms.Consistency Results in Topology

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory

ZFC without power set II: Reflection strikes back

aleph_0-categorical Structures: Endomorphisms and Interpretations

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$

Two series of formalized interpretability principles for weak systems of arithmetic

Implicative models of set theory

Mutually embeddable models of ZFC

Incompleteness of boundedly axiomatizable theories

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories

Partition models, Permutations of infinite sets without fixed points, and weak forms of AC

Some observations on a result by Bialinicki-Birula and Zelazko

Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality