La lógica deóntica

La lógica deóntica es la lógica que codifica las normas y lo normativo. Estudia los
términos «obligatorio», «permisible», «impermisible», «optativo» y «omisible».

El filósofo finlandés Georg Henrik von Wright sostiene que, originalmente, esta lógica
constituía una rama de la lógica modal, igual que esta última es una rama de la lógica
simbólica. La lógica deóntica nació de la observación de analogías obvias entre los
conceptos modales de necesidad, posibilidad e imposibilidad por un lado y las ideas
deónticas, o normativas, de obligación («es obligatorio que»), permiso («es permitido
que») y prohibición («es prohibido que») por otro lado. Ambos grupos de conceptos
pueden denominarse modales; los miembros del primer grupo se denominan aléticos,
y los del segundo grupo, modalidades deónticas (1).

La relación estrecha entre la lógica modal, como base, y la lógica deóntica, como rama,
se puede visualizar mediante una derivación geométrica, el rectángulo deóntico.

El rectángulo deóntico de oposiciones

Se deriva del rectángulo modal, y este, del rectángulo aristotélico. Usaremos los
conectores del gráfico x para la representación de las relaciones aristotélicas (2). Cada
conector conecta pares de términos.

Ilustración 1: Código de colores de los conectores para la representación de

relaciones

Contradicción

Contrariedad

Subcontrariedad

Implicaciones

Contradicción significa que cuando uno de los términos es verdadero, el otro tiene que
ser falso.

Contrariedad significa que al menos uno de los dos términos es falso. No es posible
que ambos sean verdaderos.
Subcontrariedad significa que al menos uno de los dos términos es verdadero. No es
posible que ambos sean falsos.

Implicaciones significan que lo verdadero se dirige hacia abajo y lo falso, hacia arriba.
Por ejemplo, en el gráfico x, rectángulo deóntico, lo obligatorio es permitido, pero lo
permitido no necesariamente es obligatorio. O lo impermisible es omisible, pero lo
omisible no necesariamente es impermisible.

Tanto en la lógica aristotélica cuanto en la modal como la deóntica se forman

rectángulos equivalentes en los conectores. Los concepto conectados, sin embargo,
difieren.

En la lógica aristotélica:

 P∧q es contrario a ¬(P∨q)

 P∨q es subcontrario a ¬(P∧q)
 P∨q es subalterno a P∧q
 ¬(P∧q) es subalterno a ¬(P∨q)
 P∧q contradice ¬(P∧q)
 P∨q contradice ¬(P∨q).

En la lógica modal:

 □p es contrario a □¬p
 ◊p es subcontrario a ◊¬p
 ◊p es subalterno a □p
 ◊¬p es subalterno a □¬p
 □p contradice ◊¬p
 ◊p contradice □¬p

En la lógica deóntica:

 Op es contrario a O¬p
 Pp es subcontrario a P¬p
 Pp es subalterno a Op
 P¬p es subalterno a O¬p
 Op contradice P¬p
 Pp contradice O¬p

Se ve claramente la perfecta congruencia entre el cuadro modal y el deontológico

donde O (obligación) sustituye a □ (necesidad) y P (permiso) sustituye a ◊ (posibilidad)
(véase gráfico x).
Ilustración 2: Los rectángulos de oposiciones de diversos sistemas lógicos: (a)
Aristotélico, (m) Modal, (d) deóntico.

P∧q ¬(P∨q) □p □¬p O(p) O(¬p)

P∨q ¬(P∧q) ◊p ◊¬p P(p) P(¬p)

(a) (m) (d)

Para conseguir más claridad en la notación, se introduce los términos OB, IM, PE y OM.
En el caso del rectángulo deóntico, Op corresponde a obligatorio (OB), O¬p
corresponde a impermisible (IM), Pp corresponde a permisible (PE) y P¬p corresponde
a omisible (OM).

El hexágono deóntico de oposiciones

En este caso cambiaremos la terminología. Usaremos los términos que acabamos de
indicar.

Ilustración 3: El hexágono deóntico de oposiciones

OB(p) IM(p)

OP(p
OP(¬p)
)

PE(p) OM(p)
Aumentando la complejidad del diseño gráfico mediante el incremento de términos
deónticos, se llega finalmente al octodecágono deóntico (3).

La clasificación deóntica en tríptico

Por razones prácticos y de conveniencia, utilizaremos una variación de la lógica
deóntica con un total de cinco términos deónticos (véase tabla x) (4)

Tabla 1: Tríptico deóntico y sus relaciones

OBLIGATIORIO
PERMISIBLE OPTATIVO OMISIBLE
IMPERMISIBLE

OB = Obligatorio
OP = Optativo Conceptos exclusivos
IM = Impermisible
PE = Permisible
OM = Omisible

Los términos de la tabla x que comparten una fila o una columna son compatibles. Por
ejemplo, la primera columna contiene obligatorio y permisible. Es evidente que lo que
es obligatorio tiene que ser permitido. En otro ejemplo, la segunda fila contiene
permisible, optativo y omisible, términos perfectamente compatibles. Pero, por
ejemplo, lo que es optativo no puede ser obligatorio y al revés, o lo impermisible no
puede ser optativo, pero si puede ser omisible.

Tabla 2: Tríptico deóntico alternativo y sus relaciones

PERMISIBLE
OBLIGATORI OPTATIVO IMPERMISIBLE
O
OMISIBLE

En el tríptico alternativo (véase tabla x), la fila central contiene los términos
incompatibles. Las dobles celdas superior e inferior son compatibles con las celdas
correspondientes de la fila central. Lo que es permisible puede ser obligatorio u
optativo. Lo que es omisible puede ser optativo o impermisible.
1. Von Wright GH. Deontic Logic and the Theory of Conditions. En: Hilpinen R, editor. Deontic
Logic: Introductory and Systematic Readings. Dordrecht: Springer Netherlands; 1970. DOI:
10.1007/978-94-010-3146-2_7

2. Smessaert H, Demey L. Logical Geometries and Information in the Square of Oppositions.

Journal of Logic, Language and Information. 2014;23(4):527-65. DOI: 10.1007/s10849-014-
9207-y

3. McNamara P. Supplement to Deontic Logic [En línea]. 2010. A Framework for Common
Sense Morality in Non-Conflict Contexts [citado 24 diciembre 2019]. Disponible:
https://plato.stanford.edu/entries/logic-deontic/aframework.html

4. McNamara P. The Stanford Encyclopedia of Philosophy [En línea]. 2019. Deontic Logic
[citado 24 diciembre 2019]. Disponible:
https://plato.stanford.edu/archives/sum2019/entries/logic-deontic/