On an Ambiguity in

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 LewisKratzer line on if, it is not generally acknowledged, which has led to pseudoproblems and spurious arguments