Contradictory Information: Too Much of a Good Thing [Book Review]
Journal of Philosophical Logic 39 (4):425 - 452 (2010)
Both I and Belnap, motivated the "Belnap-Dunn 4-valued Logic" by talk of the reasoner being simply "told true" (T) and simply "told false" (F), which leaves the options of being neither "told true" nor "told false" (N), and being both "told true" and "told false" (B). Belnap motivated these notions by consideration of unstructured databases that allow for negative information as well as positive information (even when they conflict). We now experience this on a daily basis with the Web. But the 4-valued logic is deductive in nature, and its matrix is discrete: there are just four values. In this paper I investigate embedding the 4-valued logic into a context of probability. Jøsang's Subjective Logic introduced uncertainty to allow for degrees of belief, disbelief, and uncertainty. We extend this so as to allow for two kinds of uncertainty— that in which the reasoner has too little information (ignorance) and that in which the reasoner has too much information (conflicted). Jøsang's "Opinion Triangle" becomes an "Opinion Tetrahedron" and the 4-values can be seen as its vertices. I make/prove various observations concerning the relation of non-classical "probability" to non-classical logic
|Keywords||Subjective Logic De Morgan lattices Probability Paraconsistent Information Relevance logic Entailment Contradictions|
|Categories||categorize this paper)|
References found in this work BETA
Truth and Probability.F. P. Ramsey - 2010 - In Antony Eagle (ed.), Philosophy of Probability: Contemporary Readings. Routledge. pp. 52-94.
Citations of this work BETA
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
Reductio Ad Contradictionem: An Algebraic Perspective.Adam Přenosil - 2016 - Studia Logica 104 (3):389-415.
Similar books and articles
An Operational Logic of Proofs with Positive and Negative Information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
A Theorem in 3-Valued Model Theory with Connections to Number Theory, Type Theory, and Relevant Logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.
False Though Partly True – an Experiment in Logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.
Risk Information Processing and Rational Ignoring in the Health Context.Barbara Osimani - 2012 - Journal of Socio-Economics 41:169-179.
Entailment and Bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity.Heinrich Wansing - 2012 - Topoi 31 (1):93-100.
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.
Added to index2010-06-12
Total downloads76 ( #69,301 of 2,171,803 )
Recent downloads (6 months)1 ( #326,702 of 2,171,803 )
How can I increase my downloads?