Philosophy
The Logic of Deontic Modalities and Permission
Quick fact
In standard deontic logic, permission is not simply the absence of prohibition—it is logically equivalent to 'not obligatory that not' (Pφ ≡ ¬O¬φ), meaning that what is permitted is exactly what is not forbidden, revealing a subtle logical symmetry.
Why this is interesting
We say 'You may go' and 'You must stay' with ease, but how do we reason with such statements? What does it really mean for something to be permitted?