This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

This paper offers an explanation of the fact that sentences of the form (1) ‘X may A or B’ may be construed as implying (2) ‘X may A and X may B’, especially if they are used to grant permission. It is suggested that the effect arises because disjunctions are conjunctive lists of epistemic possibilities. Consequently, if the modal may is itself epistemic, (1) comes out as equivalent to (2), due to general laws of epistemic logic. On the other hand, (...) on a deontic reading of may, (2) is only implied under exceptional circumstances – which usually obtain when (1) is used performatively. (shrink)

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

This paper in revised form appears in Facta Philosophica 5:1 (2003) 49­75. It addresses some problems about intensional transitives raised by Moltmann and Zimmerman, corrects some oversights in my paper in The Proceedings of the Aristotelian Society (S.V. for 2002), and adds new material on binary vs. tripartite construals of “relational/notional”, bridge inferences, weakening inferences, and the relevance problem. Its other sections are, like the PASS paper, concerned with the conjunctive force of disjunctive NP complements of intensional transitive verbs: “Smith (...) needs a good lawyer or a friendly judge” on its normal reading implies both “a good lawyer could help him” AND “a friendly judge could help him”. The reading on which “Smith needs a good lawyer or a friendly judge” is implied just by “Smith needs a good lawyer” (and so doesn’t imply a friendly judge could help him) is much less preferred, except when the disjunction is followed by a coda such as “and he doesn’t care which”. (shrink)