Twist-Valued Models for Three-valued Paraconsistent Set Theory

DOI10.12775/LLP.2020.015arXiv1911.11833MaRDI QIDQ6329930

Walter Carnielli, Marcelo E. Coniglio

Publication date: 26 November 2019

Abstract: Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopv{e}nka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, L"{o}we and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by L"{o}we and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing L"{o}we and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF).

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Many-valued logic (03B50) Paraconsistent logics (03B53)

This page was built for publication: Twist-Valued Models for Three-valued Paraconsistent Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6329930)