Follow your curiosity

What discovery has been shared with you?

FACTREE gives you something interesting to discover every day — and something worth talking about together.

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

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?