Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers


Autoria(s): Usó i Domènech, Josep Lluís; Nescolarde-Selva, Josué Antonio; Pérez Gonzaga, Sergio; Sabán, Mario Javier
Contribuinte(s)

Universidad de Alicante. Departamento de Matemática Aplicada

Sistémica, Cibernética y Optimización (SCO)

Data(s)

14/01/2015

14/01/2015

2015

Resumo

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.

Identificador

American Journal of Systems and Software. 2015, 3(1): 1-12. doi:10.12691/ajss-3-1-1

2372-708X (Print)

2372-7071 (Online)

http://hdl.handle.net/10045/43979

10.12691/ajss-3-1-1

Idioma(s)

eng

Publicador

Science and Education Publishing

Relação

http://dx.doi.org/10.12691/ajss-3-1-1

Direitos

© Science and Education Publishing

info:eu-repo/semantics/openAccess

Palavras-Chave #Belief systems #Circle of truth #Coincidentia oppositorum #Contradiction #Complex number #Denier #Logic coordinations #Paraconsistency #Propositions #Truth values #Matemática Aplicada
Tipo

info:eu-repo/semantics/article