This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.

In this paper I offer an account of the meaning of must and can within the framework of possible worlds semantics. The paper consists of two parts: the first argues for a relative concept of modality underlying modal words like must and can in natural language. I give preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively. The second part discusses one kind of insufficiency in the meaning definitions given in (...) the first part, which arise from the ex falso quodlibet paradox of logical consequence. In stepwise fashion, I make an attempt to avoid most of the consequences of this paradox for the meaning definitions of must and can. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This paper (...) develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

Lewis 1973 observed that his logic for counterfactuals could be applied to definite descriptions. His generalization was that the latter display the same non-monotonic patterns as the former, contrary to what Russellian or Strawsonian accounts would predict. We take Lewis's suggestion literally and suggest that ‘if' should be analyzed as the word ‘the' applied to a description of possible worlds. We do not follow Lewis's own implementation, however, for it entails that definite descriptions do not refer. Rather, we use von (...) Heusinger's Choice Function theory of definiteness to analyze both ‘if p' and ‘the P' as referential terms: ‘if p' denotes the closest p-world, while ‘the P' denotes the most salient P-individual. (shrink)

Conditional sentences with quantifying expressions are systematically ambigous. In one reading, the if -clause restricts the domain of the overt quantifier; in the other, the if -clause restricts the domain of a covert quantifier, which defaults to epistemic necessity. Although the ambiguity follows directly from the Lewis- Kratzer line on if, it is not generally acknowledged, which has led to pseudoproblems and spurious arguments.