Philosophy
Deontic Logic and the Formal Representation of Obligation
Quick fact
Deontic logic, which formalizes obligations and permissions, was first developed in the early 20th century, but it immediately produced paradoxes, such as the 'good Samaritan paradox,' where a perfectly natural ethical statement leads to a logical contradiction, revealing the gap between our ethical intuitions and formal systems.
Why this is interesting
We all say 'you must' and 'you may' every day. But can these everyday obligations be translated into the precise language of mathematics and logic?