Journal of Philosophical Logic (forthcoming)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
John Horty (2007). Defaults with Priorities. Journal of Philosophical Logic 36 (4):367 - 413.
Duccio Luchi & Franco Montagna (1999). An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63 (1):7-25.
J. Michael Dunn (1979). A Theorem in 3-Valued Model Theory with Connections to Number Theory, Type Theory, and Relevant Logic. Studia Logica 38 (2):149 - 169.
Lloyd Humberstone (2003). False Though Partly True – an Experiment in Logic. Journal of Philosophical Logic 32 (6):613-665.
James P. Delgrande, Abhaya C. Nayak & Maurice Pagnucco (2005). Gricean Belief Change. Studia Logica 79 (1):97 - 113.
Barbara Osimani (2012). Risk Information Processing and Rational Ignoring in the Health Context. Journal of Socio-Economics 41:169-179.
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
Heinrich Wansing (2012). A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity. Topoi 31 (1):93-100.
Andreas Pietz & Umberto Rivieccio (2013). Nothing but the Truth. Journal of Philosophical Logic 42 (1):125-135.
Added to index2010-06-12
Total downloads50 ( #21,144 of 549,122 )
Recent downloads (6 months)1 ( #63,361 of 549,122 )
How can I increase my downloads?