American Journal of Systems and Software
ISSN (Print): 2372-708X ISSN (Online): 2372-7071 Website: http://www.sciepub.com/journal/ajss Editor-in-chief: Josué-Antonio Nescolarde-Selva
Open Access
Journal Browser
Go
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

Abstract

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.

Keywords:
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 http://creativecommons.org/licenses/by/4.0/

Figures

Figure of 5

References:

[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.