Deontic and Imperative Logic

Deontic logic studies arguments whose validity depends on “ought,” “permissible,” and similar notions. Imperative logic, by contrast, studies arguments with imperatives, like “Do this.” We’ll take imperative logic first, and then build deontic logic on it.1