Nuel Belnap

(? - 2024)

Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to present some information about rigorous implication. In particular, we show first that the structure of modalities (in the sense of Parry [4]) in Ackermann's system is identical with the structure of modalities in Lewis's S4, and secondly that (Ackermann's apparent conjecture to the contrary notwithstanding) it is possible to define modalities with the help of rigorous implication.

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.

We are grateful to Professor Robert Koons for his excellent, and generous, review (henceforth KR) of our book The Revision Theory of Truth (henceforth RTT). Koons provides in KR a welcome guide to our RTT, and he puts forward objections that deserve serious consideration. In this note we shall respond only to his principal objection.' This objection, which is developed on pp. 625 — 628 of KR, calls into question our main thesis. As we argue below, however, the objection is not successful. We should forewarn the reader that this note is not self-contained. It presupposes familiarity with RTT (primarily, Chapter 4) and with KR. The main thesis of RTT is that truth is a circular concept. We argued that the Tarski biconditionals, read as partial definitions, constitute an intensionally adequate definition of truth. In other words, if T is a predicate defined by the Tarski-style infinitistic definition (I).

There is no EPR-like funny business if (contrary to apparent fact)our world is as indeterministic as you wish, but is free from theEPR-like quantum mechanical phenomena such as is sometimes described interms of superluminal causation or correlation between distant events.The theory of branching space-times can be used to sharpen thetheoretical dichotomy between EPR-like funny business and noEPR-like funny business. Belnap (2002) offered two analyses of thedichotomy, and proved them equivalent. This essay adds two more, bothconnected with Reichenbachs principle of the common cause, theprinciple that sends us hunting for a common-causal explanation ofdistant correlations. The two previous ideas of funny business and thetwo ideas introduced in this essay are proved to be all equivalent,which increases ones confidence in the stability of (and helpfulnessof) the BST analysis of the dichotomy between EPR-like funny businessand its absence.