Measuring coherence using LP-models |
| |
Authors: | Carlos A. Oller |
| |
Affiliation: | Facultad de Pilosofa y Letras, Universidad de Buenos Aires, Argentina |
| |
Abstract: | This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed. |
| |
Keywords: | Paraconsistent logics Many-valued logics (In)consistency measures |
本文献已被 ScienceDirect 等数据库收录! |