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.

Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G

Non-standard modalities in paraconsistent Gödel logic

Paraconsistent Gödel modal logic on bi-relational frames

A basic system of paraconsistent Nelsonian logic of conditionals

Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Decidability of Quasi-Dense Modal Logics

On Sub-Propositional Fragments of Modal Logic

Some General Completeness Results for Propositionally Quantified Modal Logics

Simpler Completeness Proofs for Modal Logics with Intersection

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom

Labelled proof systems for existential reasoning

Kalmár-style constructive completeness proofs for classical positive propositional calculi

Paraconsistent Resolution for Four-valued Description Logics

Dynamic Cantor Derivative Logic

Base-extension semantics for modal logic

Nested Sequents for Quasi-transitive Modal Logics