Es la lógica que trata de «enunciados deónticos», que o son normas o son enunciados sobre normas. Antiguamente identificada con la «lógica de las normas», se tiende ahora a diferenciar la lógica deóntica (de enunciados descriptivos sobre normas) de la «lógica de las normas» (enunciados prescriptivos, que son normas). Se construye con los operadores deónticos «es obligatorio» (O) y «está permitido» (P), que se añaden a enunciados construidos según la lógica de enunciados, aunque con reglas propias de inferencia; así, «Op» y «Pp» significan, respectivamente, «es obligatorio p» y «está permitido p». Su estructura refleja la de la lógica modal, siendo en realidad una rama de la misma. El cuadro de oposiciones revela la semejanza y paralelismo de estas lógicas. Sus orígenes se remontan a los razonamientos prácticos de Aristóteles y los mejores estudios de lógica deóntica se deben, en la época moderna, al lógico finlandés Georg Henrik von Wright (n. 1916).