Overview of fundamental work in deontic logic.

• The Static Conception of Semantics (Preliminary Version): A semantic theory should assign a proposition, conceived of as some carrier of meaning that can play the role of truth condition determination, to each (or at least each declarative) sentence.

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.