Twist-Valued Models for Three-Valued Paraconsistent Set Theory
KeywordsParaconsistent set theory, Boolean-valued models, axiomatic set theory, twist structures, logics of formal inconsistency, three-valued paraconsistent logics, Leibniz’s Law
We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory.
Bell, J.L., Set Theory: Boolean-Valued Models and Independence Proofs, Third edition, volume 47 of the Oxford Logic Guides Series, Oxford University Press: Oxford, 2005.
Blok, W.J., and D. Pigozzi, “Abstract algebraic logic and the deduction theorem”, Preprint, 2001. Available at http://www.math.iastate.edu/dpigozzi/papers/aaldedth.pdf
Carnielli, W., and M.E. Coniglio, “Swap structures for LFIs”, CLE e-Prints 14, 1 (2014) (revised version) https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/980
Carnielli, W., and M.E. Coniglio, “Paraconsistent set theory by predicating on consistency”, Journal of Logic and Computation 26, 1 (2016): 97–116. DOI: http://dx.doi.org/10.1093/logcom/ext020
Carnielli, W., and M.E. Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation, Volume 40 of the Logic, Epistemology, and the Unity of Science Series. Springer, 2016. DOI: http://dx.doi.org/10.1007/978-3-319-33205-5
Carnielli, W.A., and M.E. Coniglio and J. Marcos, “Logics of formal inconsistency”, pages 1–93 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd. edition, volume 14, Springer, 2007. DOI: http://dx.doi.org/10.1007/978-1-4020-6324-4_1
Carnielli, W.A., and J. Marcos, “A taxonomy of C-systems”, pages 1–94 in W.A. Carnielli, M.E. Coniglio and I.M.L. D’Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent, volume 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker: New York, 2002. DOI: http://dx.doi.org/10.1201/9780203910139.pt1
Carnielli, W., J. Marcos and S. de Amo, “Formal inconsistency and evolutionary databases”, Logic and Logical Philosophy 8: 115–152, 2000. DOI: http://dx.doi.org/10.12775/LLP.2000.008
Carnielli, W., and A. Rodrigues, “An epistemic approach to paraconsistency: A logic of evidence and truth”, Synthese 196, 9 (2019): 3789–3813. DOI: http://dx.doi.org/10.1007/s11229-017-1621-7
Coniglio, M.E., and L.H. da Cruz Silvestrini, “An alternative approach for quasi-truth”, Logic Journal of the IGPL 22, 2 (2014): 387–410. DOI: http://dx.doi.org/10.1093/jigpal/jzt026
Coniglio, M.E. , A. Figallo-Orellano and A.C. Golzio, “Non-deterministic algebraization of logics by swap structures”, Logic Journal of the IGPL, First published online: November 29, 2018. DOI: http://dx.doi.org/10.1093/jigpal/jzy072
Coniglio, M.E., A. Figallo-Orellano and A.C. Golzio, “First-order swap structures semantics for some logics of formal inconsistency”, Journal of Logic and Computation, First published online: June 4, 2020. DOI: http://dx.doi.org/10.1093/logcom/exaa027
D’Ottaviano, I.M.L., “The completeness and compactness of a three-valued first-order logic”, Revista Colombiana de Matemáticas XIX, 1–2 (1985):77–94.
Fidel, M.M., “An algebraic study of a propositional system of Nelson”, pages 99–117 in A.I. Arruda, N.C.A. da Costa, and R. Chuaqui (eds.), Mathematical Logic. Proceedings of the First Brazilian Conference on Mathematical Logic, Campinas 1977, volume 39 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker: New York, 1978.
Gallois, A., “Identity over time”, in E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Winter 2016 Edition. https://plato.stanford.edu/archives/win2016/entries/identity-time/
Guizzardi, G., “Ontological foundations for conceptual modeling with applications”, pages 695–696 in J. Ralyté, X. Franch, S. Brinkkemper and S. Wrycza (eds.), Advanced Information Systems Engineering – CAiSE 2012, volume 7328 of Lecture Notes in Computer Science, Springer: Berlin, Heidelberg, 2012.
Libert, T., “Models for a paraconsistent set theory”, Journal of Applied Logic 3, 1 (2005): 15–41. DOI: http://dx.doi.org/10.1016/j.jal.2004.07.010
Löwe, B., and S. Tarafder, “Generalized algebra-valued models of set theory”, Review of Symbolic Logic 8, 1 (2015): 192–205. DOI: http://dx.doi.org/10.1017/S175502031400046X
Ozawa, M., “Transfer principle in quantum set theory”, Journal of Symbolic Logic 72, 2 (2007): 625–648. DOI: http://dx.doi.org/10.2178/jsl/1185803627
Ozawa, M., “Orthomodular-valued models for quantum set theory”, Review of Symbolic Logic 10, 4 (2017): 782–807. DOI: http://dx.doi.org/10.1017/S1755020317000120
Takeuti, G., and S. Titani, “Fuzzy logic and fuzzy set theory”, Archive for Mathematical Logic 32, 1 (1992): 1–32. DOI: http://dx.doi.org/10.1007/BF01270392
Tarafder, S., “Ordinals in an algebra-valued model of a paraconsistent set theory”, pages 195–206 in M. Banerjee and S. Krishna (eds.), Logic and Its Applications: 6th Indian Conference on Logic and Its Applications ICLA 2015, Mumbai, India, Volume 8923 of Lecture Notes in Computer Science, Springer-Verlag, 2015. DOI: http://dx.doi.org/10.1007/978-3-662-45824-2_14
Titani, S., “A lattice-valued set theory”, Archive for Mathematical Logic 38, 6 (1999): 395–421. DOI: http://dx.doi.org/10.1007/s001530050134
Titani, S., and H. Kozawa, “Quantum set theory”, International Journal of Theoretical Physics 42, 11 (2003): 2575–2602. DOI: http://dx.doi.org/10.1023/B:IJTP.0000005977.55748.e4
Vakarelov, D., “Notes on N-lattices and constructive logic with strong negation”, Studia Logica 36, 1–2 (1977): 109–125. DOI: http://dx.doi.org/10.1007/BF02121118
Vopěnka, P., “The limits of sheaves and applications on constructions of models”, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys. 13, 189–192 (1965).
How to Cite
Number of views and downloads: 35
Number of citations: 0