James Dunn

The challenge of giving a semantics for relevance logic in terms of worlds or situations intrigued several logicians. As a solution, Fine gave a two-sorted semantics. We overview the semantics as well as some further work of Fine in the area of relevance logic. Then we show that beyond supplying technical results such as soundness, completeness and the finite model property (fmp) for many logics, the operational–relational semantics provides footing for an informal interpretation and it naturally leads to an interpretation in terms of relevance.

This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of which is the class of gaggle logics introduced by Dunn. For this purpose we introduce implicational tonoid logics. More precisely, we first define implicational tonoid logics in general and examine their relation to weakly implicative logics. We then provide algebraic semantics for implicational tonoid logics. Finally, we consider relational semantics, called Routley–Meyer–style semantics, for finitary those logics.

Arnon Avron has written: “Dunn-McCall logic RM is by far the best understood and the most well-behaved in the family of logics developed by the school of Anderson and Belnap.” I agree. There is the famous saying: “Do not let the perfect become the enemy of the good.” I might say: “good enough.” In this spirit, I will examine the logic R-Mingle, exploring how it is only a “semi-relevant logic” but still a paraconsistent logic. I shall discuss the history of RM, and compare RM to Anderson and Belnap’s system R of relevant implication and to classical two-valued logic. There is a “consumer’s guide,” evaluating these logics as “tools,” in the light of my recent work on “Humans as Rational Toolmaking Animals.”

This paper explores allowing truth value assignments to be undetermined or "partial" and overdetermined or "inconsistent", thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson 's "constructible falsity"

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

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

Prominent philosophers have argued that contradictions contain either too much or too little information to be useful. We dispute this with what we call the “Paradox of the Two Firefighters.” Suppose you are awakened in your hotel room by a fire alarm. You open the door. You see three possible ways out: left, right, straight ahead. You see two firefighters. One says there is exactly one safe route and it is to your left. The other says there is exactly one safe route and it is to your right. While the two firemen are giving you contradictory information, they are also both giving you the perhaps useful information that there is a safe way out and it is not straight ahead. We give two analyses. The first uses the “Opinion Tetrahedron,” introduced by Dunn as a generalization of Audun Jøsang’s “Opinion Triangle.” The Opinion Tetrahedron in effect embeds the values of the “Belnap-Dunn 4-valued Logic” into a context of subjective probability generalized to allow for degrees of belief, disbelief, and two kinds of uncertainty—that in which the reasoner has too little information and that in which the reasoner has too much information. Jøsang had only a single value for uncertainty. We also present an alternative solution, again based on subjective probability but of a more standard type. This solution builds upon “linear opinion pooling.” Kiefer had already developed apparatus for assessing risk using expert opinion, and this influences the second solution. Finally, we discuss how these solutions might apply to “Big Data” and the World Wide Web.