User:JoelStevenCollier

Philosophers of ancient Greece and India remarked on formal logical relations of deontic notions and philosophers of the late middle ages compared them with alethic modal notions. In his Elementa juris naturalis and Specimina juris, Leibniz was the first to try systematizing normative reasoning with the modalities of necessity and possiblity. He regarded the permitted as possible, the forbiden as impossible, the obligatory as necessary, and the optional as possible.

Important thinkers in the recent history of the logic of normativity were Mally, Husserl, and Menger. Mally, however, was the first to develop a complete formal system of deontic logic.