Abstract

Conditionals that contain a modality in the consequent give rise to a particular semantic phenomenon whereby the antecedent of the conditional blocks possibilities when interpreting the modality in the consequent. This explains the puzzling logical behaviour of constructions like "If you don't buy a lottery ticket, you can't win", "If you eat that poison, it is unlikely that you will survive the day" and "If you kill Harry, you ought to kill him gently". In this paper it is argued that a semantic version of the Ramsey Test provides a key in the analysis of such constructions. The logic for this semantics is axiomatized and some examples are studied, among them a well-known puzzle for contrary-to-duty obligations.