The If P, Ought P Problem

Kratzer semantics for modals and conditionals generates the prediction that sentences of the form if p, ought p are trivially true. As Frank and Zvolenszky show, for certain flavors of modality, like deontic modality, this prediction is false. I explain some conservative solutions to the problem, and then argue that they are inadequate to account for puzzle cases involving self-frustrating oughts. These cases illustrate a general problem: there are two forms of information-sensitivity in deontic modals. Even generalizations of Kratzer semantics that predict these two roles for information, e.g. Kolodny and MacFarlane, predict that they vary together. I propose a generalization of Kratzer semantics that allows the two roles for information to vary independently of each other