Graeme (R.) Forbes

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views

This paper is about two puzzles, or two versions of a single puzzle, which deserve to be called paradoxes, and develops some apparatus in terms of which the apparently conflicting principles which generate the puzzles can be rendered consistent. However, the apparatus itself is somewhat controversial: the puzzles are modal ones, and the resolution to be advocated requires the adoption of a counterpart theoretic semantics of essentially the kind proposed by David Lewis, which in turn requires qualified rejection of certain modal theses about identity which are valid in S5

This volume of twenty-two original papers commemorates the twentieth anniversary of Arthur Prior’s death. Eight of the papers are based on presentations at a conference held in New Zealand to the same end. The contents testify to the range of Prior’s interests and influence. After an informative biographical sketch by Copeland, which emphasizes Prior’s early discovery of accessibility-relation semantics and its ability to prove the soundness of modal systems of various strengths, there follows a group of papers on temporal logic by Prior, Copeland, Gabbay and Hodkinson, Rodriguez and Anger, and Sylvan; a group on modal logic by Meredith and Prior, van Benthem, Fine and Schurz, and Humberstone; a group on agency by Belnap, Oddie, and Segerberg; a group on proof theory by Bull, Bunder, and Tennant; a group on individuation and quantification by Harré, Lambert, Loptson, Richard, and R. Teichman; and two on the a priori, by