Philosophy
The Logic of Imperative and the Semantics of Commands
Quick fact
Some logicians famously argued that there is no distinct imperative logic: valid inference among imperatives could be reduced to the logic of the propositions describing their satisfaction conditions.
Why this is interesting
We all follow commands every day, yet logic seems silent on them. How can a sentence like 'Close the door' be true or false?