Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

This article concerns a new constraint on the interaction of quantifier phrases and epistemic modals. It is argued that QPs cannot bind their traces across an epistemic modal, though it is shown that scoping mechanisms of a differentnature are permitted to cross epistemic modals. The nature and source of this constraint are investigated.

The interpretation of if -clauses in the scope of ordinary quantifiers has provoked semanticists into extraordinary measures, such as abandoning compositionality or claiming that if has no meaning. We argue that if -clauses have a normal conditional meaning, even in the scope of ordinary quantifiers, and that the trick is to have the right semantics for conditionals.

which he calls general indicatives, are correctly analysed as open indicative conditionals prefixed by universal quantifiers. So they are both analysed as (∀x)(if x gets a chance, x bungee-jumps), where x ranges over girls. This analysis is attributed to Geach.2 Barker then shows that this syntactic analysis, together with other premises, entails that the open conditional occurring under the universal quantifier has to be analysed as having the import of material implication.