LGICA DENTICA

Dr. Pedro Ramos

Facultad de Filosofa y Letras, UNAM
Universidad de la Ciudad de Mico
!De"ntico# se deriva del voca$lo %rie%o de/on, &lo de$ido', dei=, '(ay )ue'. As, la
L"%ica De"ntica *LD+ es la l"%ica del de$er ser o de las normas.
,l nom$re !l"%ica de"ntica# lo reci$e la l"%ica mentada a -artir del ensayo de .. /. 0on
1ri%(t, !Deontic L"%ic# a-arecido en Logical Studies, Routled%e 2 3. Paul, 4564.
Los operadores denticos y al%unas de sus inter-retaciones m7s comunes son los
si%uientes *donde &p' re-resenta una oraci"n+8
Op: &,s o$li%atorio )ue p', &es indis-ensa$le )ue p', &es ei%i$le )ue p', &es
im-erativo )ue p', &es im-rescindi$le )ue p', &de$e ser el caso )ue p', &es
for9oso )ue p', &es necesario )ue -', etc.
Pp: &,st7 -ermitido )ue p', &es lcito )ue p', &es -ermisi$le )ue p', &est7
autori9ado )ue p', &se vale )ue p', &es v7lido )ue p', &es :usto )ue p', &es
correcto )ue p', &-uede ser )ue p', &es -osi$le )ue p', etc.
Vp: &,st7 vedado )ue p', &est7 -ro(i$ido )ue p', &es ilcito )ue p', &es inde$ido
)ue p', &es in:usto )ue p', &es inv7lido )ue p', &es incorrecto )ue p', &es
im-osi$le )ue p', etc.
Ip: &,s indiferente )ue p', &es indistinto )ue p', &es adi7foro )ue p', &es
facultativo )ue p', &da lo mismo )ue p', &da i%ual )ue p', etc.
,n los es)uemas %ramaticales anteriores la e-resi"n &)ue -' es sustitui$le -or una
oraci"n en su$:untivo -recedida -or un &)ue', la cual, desde el -unto de vista sem7ntico,
-uede considerarse como el nom$re de una situacin o de una proposicin. As, en la
oraci"n8
,s ilcito )ue los -adres torturen a sus (i:os
La e-resi"n &)ue los -adres torturen a sus (i:os', -uede considerarse como el nom$re
de una situaci"n o de una -ro-osici"n. ,sto da lu%ar, res-ectivamente, a versiones
etensionales o intensionales dela LD. Por otra -arte, lo )ue (ara verdaderas o falsas
a oraciones como la anterior se su-one seran (ec(os :urdicos o morales *en este
caso, el (ec(o de la ilicitud de )ue los -adres torturen a sus (i:os+ correlacionados con
tales -ro-osiciones o situaciones.
4;6
,l campo de aplicacin de la LD lo constituyen t-icamente discursos ar%umentativos
de ti-o moral, tico y :urdico, de$ido a )ue son discursos de ndole normativa. M7s en
%eneral, la LD es a-lica$le a cualquier discurso de ti-o ar%umentativo donde fi%uren
o-eradores de"nticos en sus inter-retaciones tico y;o :urdica.
Las si%uientes equivalencias denticas -ueden usarse -ara definir unos o-eradores
de"nticos en trminos de otros, o -ara esta$lecer re%las de e)uivalencia entre stos8
Op <P<p <O<p Pp
<Op P<p Vp <Pp
O<p <Pp Ip *Pp 2 P<p+
,l si%uiente cuadro de oposicin de proposiciones denticas ilustra al%unas de las
relaciones l"%icas $7sicas )ue (ay entre o-eradores de"nticos *cf. 1. Redmond,
L"%ica sim$"lica -ara todos, Universidad 0eracru9ana, =ala-a, 0er., 455, -. >4?+8
Op *<P<p+ contrarias
O<*<Pp, Vp+
s
u
$
a
l
t
e
r
a
s
s
u
$
a
l
t
e
r
a
s
<O<p *Pp, <Vp+ su$contrarias <Op *P<p+
Ip *Pp 2 P<p+
>;6
contradictorias
,l -ar de trminos &o$li%atorio'; &-ro(i$ido' se relaciona l"%icamente con -ares de
trminos como &lauda$le'; &censura$le', &loa$le'; &vitu-era$le', &$ueno'; &malo',
&virtuoso'; &vicioso', etc., los cuales tienen como a)uellos, connotaciones morales o
:urdicas. /e a)u un es)uema *ins-irado en uno similar de 1. Redmond, op. cit., -.
>4@+ de tales relaciones l"%icas8
Moral y derec(o Relaci"n Acci"n omisi"n
p ~p
Op $ueno malo
Vp censura$le lauda$le
Ip AAAAA AAAAA AAAAA
/e a)u unos cuantos -rinci-ios de"nticos v7lidos8
Op Pp Pp (O <p p)
Ip *<Vp 2 <Op+ O <p *Op v Vp+
<Ip *Op v Vp+ B Op *p 2 P<p+ C <Op
Pp *<Op Ip+ *Op v O~p+ *Pp Op+
Op O*p v q+ B O*p v q+ 2 Vq C Op
Vp O*p q+ Oq O*p q+
O*p v <p+ O*p p+
,n su forma normal, la LD -uede considerarse o $ien como una interpretacin o $ien
como una extensin de la lgica modal, i e., de la l"%ica deductiva de los %iros
modales8 &necesario', &-osi$le', &contin%ente', &im-osi$le' y e-resiones e)uivalentes.
Considerada como una interpretacin de la lgica modal, la LD consiste en entender
los %iros modales &necesario' como obligatorio, &-osi$le' como lcito, &contin%ente' como
indiferente e &im-osi$le' como proibido. Din em$ar%o, los ace-ta$les aiomas modales
se%En los cuales lo necesario ocurre y lo )ue ocurre es -osi$le, en sm$olos8
p p y p p
*donde FF se lee como &es necesario )ue' y &F como &es -osi$le )ue'+, se transforman
en los aiomas de"nticos8
Op p y p Pp
G;6
De%En los cuales lo o$li%atorio ocurre y lo )ue ocurre es lcito, )ue s"lo -arecen
ace-ta$les en mundos -osi$les de"nticamente -erfectos *Hmuy le:anos del mundo
realI+, donde las normas nunca son violadas y todo lo )ue ocurre es lcito. Am$os
aiomas de"nticos -ermiten , adem7s, el incurrir en las conocidas falacias idealistas *la
inferencia inde$ida del &de$e' al &es'+ y naturalista *la inferencia inde$ida del &es' al
&de$e'+.
L"%ica
Pro-osicional
L"%ica
Cuantificacional
L"%ica de -rimer
Jrden con identidad
L"%ica
Modal *De"ntica+
Considerada como una etensin de la lgica modal, la LD consiste en tomar a)ulla
tal cual y enri)uecerla con nuevo voca$ulario, definiciones y aiomas a fin de introducir
la LD mediante estos recursos. Parece m7s fructfero considerar la LD como una
etensi"n )ue como una inter-retaci"n de la modal, de$ido a )ue as -uede darse
cuenta de im-ortantes -rinci-ios modalKde"nticos, como los de )ue lo im-osi$le no
o$li%a, lo necesario o$li%a y lo necesario est7 -ermitidoL en sm$olos, res-ectivamente8
<p <Op p Jp p Pp
L"%ica
Pro-osicional
L"%ica
Cuantificacional
L"%ica de -rimer
Jrden con identidad
L"%ica
Modal
L"%ica
De"ntica
Mam$in se (an desarrollado sistemas de LD modal -araconsistente, a fin de -oder dar
cuenta del fen"meno de la inconsistencia l"%ica en los sistemas morales y :urdicos sin
tener )ue caer en la triviali9aci"n l"%ica de stos. De modo )ue dic(os sistemas de LD
no seran inter-retaciones ni etensiones de la l"%ica modal cl7sica, sino desviaciones
de la misma.
N;6
!elaciones entre moral " derec#o
No o$stante ser normativos, los discursos moral " $ur%dico no se rigen por los
mismos principios o presupuestos generales. Por e:em-lo, el desconocimiento de
una norma, o de su violaci"n, es tratado de manera distinta en uno y otro ti-o de
discurso8 en el moral, no es causal de sanci"n *de$ido a )ue la i%norancia no im-lica
-or s misma una mala intenci"n+L en el :urdico, en cam$io, s es causal de sanci"n *el
ale%ar )ue uno no sa$a )ue los im-uestos de$an ser -a%ados no evita ni atenEa la
sanci"n :urdica+
Di -ara )ue una norma moral -ueda ser a-lica$le de$e ser -reviamente conocida, eso
-arece su-editar a la lgica epist&mica, i. e., a la l"%ica del sa$er, la -osi$ilidad de
a-licar la LD al discurso moralL cosa )ue no ocurre con la a-lica$ilidad de la LD al
discurso :urdico. ,sto tiene la consecuencia de )ue la sem7ntica -ro-osicional -are9ca
ser la m7s adecuada -ara -roveer la referencia de las cl7usulas su$ordinadas de las
oraciones de"nticas del discurso moral, mientras )ue la sem7ntica situacional -arece
ser la m7s adecuada -ara el mismo fin res-ecto del discurso :urdico.
Los discursos moral " $ur%dico tampoco se rigen por los mismos principios
particulares. /ay -rinci-ios )ue -ueden -arecernos moralmente indiferentes -ero )ue
no lo son :urdicamente, como el -rinci-io de tr7nsito de no -asarse los altosL de modo
)ue no todo lo moralmente indiferente sera :urdicamente indiferente. Mam$in ocurre
)ue lo :urdicamente o$li%atorio no tiene -or )u ser moralmente o$li%atorio, como el
de$er :urdico de -a%ar los im-uestos )ue, se%En santo Mom7s, no entraOa un de$er
moral *-or contra-osici"n, tendramos )ue lo moralmente -ermitido omitir tam$in lo
sera :urdicamente+. Pncluso es cuestiona$le el -rinci-io m7s d$il de )ue todo lo
:urdicamente o$li%atorio sea moralmente -ermitido, como el de$er :urdico de un
soldado de matar enemi%os en una %uerra, el cual -uede ser moralmente o$:eta$le, al
menos desde cierto -unto de vista moral.
Lo anterior de:a ver al%unas de las dificultades a las )ue de$en enfrentarse las LDs )ue
-retenden a-licarse -or i%ual a los discursos de ti-o moral y :urdico. *Para m7s de lo
mismo, vase Leila Pu%a, NeQton da Costa y Ro$erto 0ernen%o, RL"%icas normativas,
moral y derec(oR, en !rtica, vol. ==PPP, no. ?5, Mico, 4554, --. >@K65.+
RD"lo mediante la formali9aci"n tomamos conciencia de la eistencia de -arado:as y de
resultados contraintuitivos )ue el discurso no formali9ado oculta. Contri$uye, as, la
formali9aci"n ensayada a una codificaci"n total y e-lcita de la estructura l"%ica de
discursos informales, como el :urdico y el moral, contri$uyendo a un conocimiento
me:or de nuestras teoras al res-ecto. Din esta contra-artida formal no tendramos una
ciencia -ro-iamente dic(a, arm"nica y sistem7tica.R *Leila Pu%a et al, op. cit., -. 66.+
6;6