American Journal of Systems and Software
ISSN (Print): 2372-708X ISSN (Online): 2372-7071 Website: Editor-in-chief: Josué-Antonio Nescolarde-Selva
Open Access
Journal Browser
American Journal of Systems and Software. 2015, 3(1), 1-12
DOI: 10.12691/ajss-3-1-1
Open AccessArticle

Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers

Usó-Doménech J.L.1, Nescolarde-Selva J.1, , Pérez-Gonzaga S.1 and M. J Sabán2

1Department of Applied Mathematics, University of Alicante, Alicante, Spain

2Department of Philosophy, University Rey Juan Carlos, Madrid, Spain

Pub. Date: January 07, 2015

Cite this paper:
Usó-Doménech J.L., Nescolarde-Selva J., Pérez-Gonzaga S. and M. J Sabán. Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers. American Journal of Systems and Software. 2015; 3(1):1-12. doi: 10.12691/ajss-3-1-1


Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.

belief systems circle of truth coincidentia oppositorum contradiction complex number denier logic coordinations paraconsistency propositions truth values

Creative CommonsThis work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit


Figure of 5


[1]  Arruda A. I., Chuaqui R., da Costa N. C. A. (eds.) 1980. Mathematical Logic in Latin America. North-Holland Publishing Company, Amsterdam, New York, Oxford.
[2]  Asenjo, F.G. 1966. A calculus of antinomies. Notre Dame Journal of Formal Logic 7. Pp 103-105.
[3]  Avron, A. 2005. Combining classical logic, paraconsistency and relevance. Journal of Applied Logic. 3 (1). pp 133-160.
[4]  Azriel. 1966. The Explanation of the Ten Sefirot. In Joseph Dan, The Early Kabbalah, texts trans. by Ronald C. Kieber. New York: Paulist Press.
[5]  Belnap, N.D. 1977. How a computer should think. In Contemporary aspects of philosophy, ed. G. Ryle, 30-55. Oriel Press. Boston.
[6]  Bueno, O. 1999. True, Quasi-true and paraconsistency. Contemporary mathematics. 39. pp 275-293.
[7]  Bueno, O. 2010. Philosophy of Logic. In Fritz Allhoff. Philosophies of the Sciences: A Guide. John Wiley & Sons. p. 55.
[8]  Carnielli, W.A., Coniglio and M. Lof D'ottaviano, I.M. 2002. Paraconsistency: The Logical Way to the Inconsistent. Marcel Dekker, Inc. New York.
[9]  Carnielli, W. and Marcos, J. 2001. Ex contradictione non sequitur quodlibet. Proc. 2nd Conf. on Reasoning and Logic (Bucharest, July 2000).
[10]  Cusanus, N. 1986. Of Learned Ignorance, Germain Heron, tr. Yale University Press. New Haven.
[11]  Da Costa N. C. A., Wolf R. G. 1980 Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposites. Philosophia, Phil. Quaterly of Israel, 9, 189-217.
[12]  Derrida, J. 1967. De la Grammatologie. Paris: Minuit.
[13]  Derrida, J. 1980. Difference. In Writing and Difference. University of Chicago Press.
[14]  Dunn, J.M. 1976. Intuitive semantics for first-degree entailments and coupled trees. Philosophical Studies 29. pp 149-168.
[15]  Hegel, G.W.F. Wissenschaft der Logik. Verlag von Felix Meiner. Leipzig. 1948. (In German)
[16]  Hilbert, D. and Ackermann, W. 1928. Grundzuege der Theoretischen Logik. Berlin: Julius Spinger Verlag. (In German).
[17]  Jung, C.G. 1955/56. Mysterium Conjunctionis. GW 14/CW 14.
[18]  Kaplan, A. 1997. Sefer Yetzirah: The Book of Creation. Rev ed. York Beach, Maine: Samuel Weiser.
[19]  Nescolarde-Selva, J. and Usó-Doménech, J. 2013a. Topological Structures of Complex Belief Systems. Complexity. 19 (1). pp. 46-62.
[20]  Nescolarde-Selva, J. and Usó-Doménech, J. 2013b. Topological Structures of Complex Belief Systems (II): Textual materialization. Complexity. 19 (2). pp. 50-62.
[21]  Nescolarde-Selva, J. and Usó-Domènech, J. L. 2014a. Semiotic vision of ideologies. Foundations of Science. 19 (3). pp. 263-282.
[22]  Nescolarde-Selva, J. and Usó-Domènech, J. L. 2014b. Reality, Systems and Impure Systems. Foundations of Science. 19 (3). pp. 289-306.
[23]  Nescolarde-Selva, J. and Usó-Doménech, J.L. 2014c. Myth, language and complex ideologies. Complexity. 20 (2), 63-81.
[24]  Nescolarde-Selva, J.; Usó-Doménech, J.L.; Lloret-Climent, M. 2014. Mythical Systems: Mathematic and Logical Theory. International Journal of General Systems.
[25]  Peña, L. 1985. El ente y su ser: un estudio lógico-metafísico. Servicio de Publicaciones de la Universidad de León. León. (In Spanish).
[26]  Plato. 1973. Parmenides. In The Republic and Other Works, B. Jowett, tr. Doubleday. New York.
[27]  Priest G. 1987. In Contradiction. A Study of the Transconsistent, Martinus Nijhoff Publishers, Dordrecht, Boston, Lancaster.
[28]  Priest, G. 1995. Beyond the Limits of Thought. Cambridge University Press.
[29]  Priest, G. 1998. Dialetheism. Stanford Encyclopedia of Philosophy.
[30]  Priest G., Routley R., Norman, J. (eds.). 1989. Paraconsistent Logic. Essays on the Inconsistent. Philosophia Verlag, Munchen, Hamden, Wien.
[31]  Priest G. and Woods, J. 2007. Paraconsistency and Dialetheism. The Many Valued and Nonmonotonic Turn in Logic. Elsevier.
[32]  Quesada F.M. 1989. Paraconsistent Logic: Some Philosophical Issues. In: Priest et al., pp. 627-651.
[33]  Quine, W.V. 1966. The Ways of Paradox. In The Ways of Paradox and Other Essays. Random House. New York., pp. 3-20.
[34]  Rescher, N. 1995. La lucha de los sistemas: un ensayo sobre los fundamentos e implicaciones de la diversidad filosófica. México. UNAM. Instituto de Investigaciones Filosóficas (In Spanish)
[35]  Scholem,G. 1974. Kabbalah. Jerusalem: Keter.
[36]  G. Scholem. 1987. Origins of the Kabbalah. Trans. by R.J. Zwi Werblowski. Princeton: Princeton University Press.
[37]  Stace, W.T. 1960. Mysticism and Philosophy. MacMillan Press. London.
[38]  Stein, M. 2008. Divinity expresses the self… An investigation. Journal of Analytical Psychology. 53, 305-327.
[39]  Tanaka, K., Berto, F. Mares, E. and Paoli, F. (Editors). 2013. Paraconsistency: Logic and Applications. Logic, Epistemology and Unity of Science, 26. Springer Dordrecht. Heidelberg, London, New York.
[40]  Usó-Domènech, J.L. and Nescolarde-Selva, J.A. 2012. Mathematic and Semiotic Theory of Ideological Systems. A systemic vision of the Beliefs. Lap Lambert Academic Publishing. Saarbrücken. Germany.
[41]  Usó-Doménech, J.L. and Nescolarde-Selva, J. 2014. Revealing the face of Isis. Foundations of Science. 19 (3). pp. 311-318.
[42]  Usó-Domènech, J.L, Nescolarde-Selva, J.A. and Pérez-Gonzaga. 2014. Truth Values in t-norm based Systems Many-Valued Fuzzy Logic. American journal of Systems and Software. Vol 2. No 6. 139-145.
[43]  Urban, F. 2005. Fordham, Jung and the self: a re-examination of Fordham’s contribution to Jung’s conceptualization of the self. Journal of Analytical Psychology. 50, 5, 571-594.
[44]  The Zohar. Sperling and Simon.