Nuel Belnap

Following von Wright, ``transitions'' are needed for understanding agency. I indicate how von Wright's account of transitions should be adapted to take account of objective indeterminism, using the idea of branching space-time. The essential point is the need to locate transitions not merely in space-time, but concretely amid the indeterministic, causally structured possibilities of our (only) world. (This is a ``postprint'' of Belnap 1999, as cited in the paper. The page numbers do not, of course, match those of the original.).

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parame- ters of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established.

This paper offers a lighthearted presentation of some of the chief ideas about truth that are shared by theories similar to those of Kripke, Herzberger, and Gupta. The problem is to explain the concept of truth for a language that contains its own truth predicate. The proposal of these theories is that one can unwind the tangles that threaten by invoking a transfinite series of stages of semantic reflection as one ascends the ordinals. The presentation emphasizes how each stage begins, to the extent that it can, with the fruits of semantic reflection at earlier stages. Special attention is given to clarifying how these theories about truth treat the three chief kinds of ordinal numbers: the initial ordinal, successor ordinals, and limit ordinals.

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.

Greenberger. Horne. Shimony, and Zeilinger gave a new version of the Bell theorem without using inequalities (probabilities). Mermin summarized it concisely; but Bohm and Hiley criticized Mermin's proof from contextualists' point of view. Using the branching space-time language, in this paper a proof will be given that is free of these difficulties. At the same time we will also clarify the limits of the validity of the theorem when it is taken as a proof that quantum mechanics is not compatible with a deterministic world nor with a world that permits correlated space-related events without a common cause

Tim Maudlin’s Truth and Paradox, a book that is richly endowed with interesting analyses and original theses, chooses to ignore both the prosentential theory of truth from Grover, Camp and Belnap 1975 and the revision theory in its book form, Gupta and Belnap 1993. There is no discussion of either theory, nor even any mention of them in the list of references. I offer a pair of quotes chosen from among a number of T&P generalizations that Maudlin would doubtless have modified if RTT had been on his mind at the time of composition of T&P. “…every acceptable account of truth seems to imply that the TInferences must be valid”. My response is that the revision theory of truth is built on an explicit denial of this. Rather than taking them as “valid,” RTT takes the T-Inferences as stage-of-revision-shifting revision principles in the context of a definitional account of truth. “…most discussions of the Liar paradox and related paradoxes…do not address [such questions as]…where [T&P’s] Proof Lambda and Proof Gamma go wrong”. In fact, RTT is not open to this criticism. It’s simple natural-deduction calculus C0 addresses exactly such questions.

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.