160 research outputs found
Decision Making for Inconsistent Expert Judgments Using Negative Probabilities
In this paper we provide a simple random-variable example of inconsistent
information, and analyze it using three different approaches: Bayesian,
quantum-like, and negative probabilities. We then show that, at least for this
particular example, both the Bayesian and the quantum-like approaches have less
normative power than the negative probabilities one.Comment: 14 pages, revised version to appear in the Proceedings of the QI2013
(Quantum Interactions) conferenc
Normality operators and Classical Recapture in Extensions of Kleene Logics
In this paper, we approach the problem of classical recapture for LP and K3 by using normality
operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness
Paraconsistency and Sette’s calculus P1
In 1973, Sette presented a calculus, called P1, which is recognized as one of the most remarkable paraconsistent systems. The aim of this paper is to propose a new axiomatization of P1. The axiom schemata are chosen to show that P1 behaves in a paraconsistent way only at the atomic level, i.e. the rule: α, ~α / β holds in P1 only if α is not a propositional variable
The Logic of Logical Relativism
We explicate the thesis of logical relativism (people of
different cultures may have different logics) in logical
terms. Our illustrations come from the field of paraconsistent
logic
- …