eng
Science and Education Publishing
American Journal of Systems and Software
2015-01-07
3
1
1
12
10.12691/ajss-3-1-1
AJSS2015311
article
Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers
Usó-Doménech J.L.
1
Nescolarde-Selva J.
josue.selva@ua.es
1
Pérez-Gonzaga S.
1
M. J Sabán
2
Department of Applied Mathematics, University of Alicante, Alicante, Spain
Department of Philosophy, University Rey Juan Carlos, Madrid, Spain
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.
http://pubs.sciepub.com/ajss/3/1/1/ajss-3-1-1.pdf
belief systems
circle of truth
coincidentia oppositorum
contradiction
complex number
denier
logic coordinations
paraconsistency
propositions
truth values