Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers
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 |