Lgica dentica

La lgica dentica (del griego [] don[tos] 'lo debido ,

lo necesario'). Es la lgica de las normas y de las ideas
normativas. Su campo de estudio corresponde a las
peculiaridades como autorizado, prohibido, obligatorio,
indiferente.1 Es un tipo de lgica modal y se expresa que su
desarrollo arranca con el descubrimiento de la similitud entre
los conceptos denticos y modales. Alois Hffler, lgico
austriaco, fue uno de los iniciadores del estudio de esta
similitud.2 La lgica dentica fue pensada para analizar
formalmente las normas o las proposiciones que tratan acerca
de las normas.

ndice
1 Introduccin
2 Historia
3 Preguntas abiertas
4 Vase tambin
5 Referencias
5.1 Bibliografa
5.2 Enlaces externos

Introduccin
Normas son, por ejemplo, los significados de las siguientes
frases : "te ordeno que te calles, grosero!", "prohibido el paso;
perro agresivo puede atacar", "todo ser humano es libre de
expresar su pensamiento".
Giotto di Bondone (1267-1337), Capilla Scrovegni
A partir del operador O que significa "obligatorio" es en Padua, Italia.
posible calificar actos o proposiciones como
obligatorios. Por ejemplo, el acto "pagar impuestos" que
representaremos con el smbolo p, puede ser obligatorio: Op. O bien, la proposicin "los impuestos se
pagan" cuyo smbolo ser p*, puede ser obligatoria: Op*. Algunos lgicos piensan que las normas
resultantes no son ni verdaderas ni falsas, sino vlidas o invlidas.

A partir del operador de obligacin y de la negacin lgica (que se escribe ) es posible definir los
operadores de prohibicin (Ph) y de permisin (P):

Op Php Pp

Lo anterior se lee: "(Obligatorio p) si y solamente si (prohibido no p) si y solamente si (no permitido no p)".

Prdida de significado

La lgica dentica estndar expresara los ejemplos dados antes a travs del lenguaje simplificado que
acabamos de mencionar, aunque cierta informacin o matiz se pierdan: "te ordeno que te calles, grosero!" se
expresara diciendo simplemente "obligatorio callarse" u "obligatorio que haya silencio"; "prohibido el paso;
perro agresivo puede atacar" se expresara diciendo "prohibida la conducta de entrar" o "prohibido que haya
alguien adentro"; "todo ser humano es libre de expresar su pensamiento" se expresara diciendo "permitido el
acto de expresar el propio pensamiento" o "permitido que sea expresado el propio pensamiento". Algunos
lenguajes denticos ms complejos pueden expresar rigurosamente nociones asociadas, como el concepto de
sancin o amenaza de sancin (evocada en el ejemplo del perro) o el concepto de derecho individual (como el
ejemplo del derecho a la libre expresin de las ideas).

El operador de facultad se define: Fp Pp ^ Pp

Lo anterior se lee: "(Facultativo p) si y solamente si (Permitido p y permitido no p)".

El operador de facultad parece ms adecuado para expresar el ltimo de los ejemplos. "Todo ser humano es
libre de expresar su pensamiento" quedara: "es facultativa la conducta de expresar el propio pensamiento" o
"es facultativo que sea expresado el propio pensamiento" o, lo que es lo mismo, "estn permitidas ambas
conductas: expresar y no expresar el propio pensamiento".

Tabla de equivalencias

Op Php Pp
Op Php Pp
Op Php Pp
Op Php Pp

El operador F no permite definir a los otros operadores por s solo.

Los axiomas fundamentales del sistema estndar de lgica dentica son:

Principio de permisin :

Pp v Pp

Se lee: acerca de todo acto (o de toda proposicin concerniente a un acto), o bien ste est permitido o bien
est permitida su negacin.

Principio de distribucin dentica :

P(p v q) Pp v Pq

Se lee: el enunciado segn el cual la disyuncin de dos actos est permitida equivale, a su vez, a la disyuncin
de dos enunciados: el que afirma que el primer acto est permitido y el que afirma que el segundo acto est
permitido".

Este ltimo axioma se escribe a veces:

O(p ^ q) Op ^ Oq

Historia
Gottfried Leibniz es el precursor de la lgica dentica. En 1671, en sus Elementos de derecho natural, Leibniz
observa la analoga de los conceptos normativos justo, injusto y facultativo con los conceptos modales
alticos necesario, posible e imposible. Por ejemplo, Leibniz escribe que todo lo que es justo es posible
para aquel que ama a todo el mundo (amanti omnes). O, ms cerca de la lgica dentica contempornea,
postula que todo aquello que es obligatorio (debitum) es necesario para aquel que ama a todo el mundo. En
smbolos contemporneos, podemos representar esta ltima frase del siguiente modo (donde N es el operador
altico de necesidad, G es una constante que significa, digamos, ser bueno, a es un individuo del que se
predica lo anterior y -> es el condicional material):

Op -> N(Ga -> p)

El anlisis de Leibniz fue redescubierto por el filsofo sueco Kanger, en 1950, quien interpreta G como
aquello que es prescrito por la moral. En 1956, Alan Ross Anderson populariz un esquema de reduccin
equivalente al de Leibniz y Kanger (en el cual S puede significar la amenaza de una sancin o el hecho de que
la norma ha sido violada):

Op -> N(p -> S)

El filsofo austriaco Ernst Mally es autor de una tentativa de formalizacin de un sistema de tica puro, en
1926. Dicho sistema result insatisfactorio porque permita probar el teorema siguiente, cuyas consecuencias
son absurdas:

p Op

que se lee "que p es el caso equivale a que es obligatorio realizar p o hacer lo propio para que p ocurra". El
sistema fundador de la lgica dentica contempornea es obra del filsofo finlands Georg Heinrik von Wright,
en su artculo Deontic Logic publicado en Mind en 1951. Por su parte, el llamado sistema estndar es una
interpretacin modal de dicho sistema fundador en trminos de la semntica de mundos posibles [ver el artculo
lgica modal]. La interpretacin modal signific el abandono del llamado axioma de contingencia dentica
presente en el sistema fundador de von Wright, axioma segn el cual un acto tautolgico no es necesariamente
obligatorio y una contradiccin no est necesariamente prohibida. Una de las objeciones recurrentes que se le
hacen al sistema estndar es dicha prdida de contingencia, pues, por ejemplo, si bien es verdad que 2 + 2 = 4
por qu este hecho tiene que ser considerado como obligatorio? La semntica de mundos posibles ofrece una
respuesta posible a dicha objecin: un hecho que es verdadero en todos los mundos posibles lo ser tambin en
los mundos que son considerados como obligatorios (suponiendo que 2 + 2 = 4 sea verdad en TODO mundo
posible, entonces tambin ser verdad en cualquiera de los mundos posibles que un legislador ordene que eso
ocurra).

Todo el resto de su vida, von Wright abri nuevas lneas de investigacin en lgica dentica. En particular, en
materia de lgica de la accin y lgica dentica con modalidades condicionales o relativas. Si bien podra
pensarse que la lgica dentica contempornea naci como una creacin escandinava (dada la nacionalidad de
los padres fundadores Won Wright y Kanger, inspirados por la escuela realista escandinava de filosofa del
derecho), otras importantes contribuciones han surgido en los Estados Unidos, en el resto de Europa y en
Amrica Latina. En esta ltima regin, destacan los trabajos pioneros de los argentinos Carlos Eduardo
Alchourrn y Eugenio Bulygin en materia de aplicacin de la lgica dentica a la teora del derecho, as como
los trabajos del primero de ellos en lgica no monotnica.

[Llamamos regla de monotona a la exigencia de coherencia segn la cual una inferencia vlida no es menos
vlida por la adicin de nuevas premisas:

Op -> Oq
Op ^ Pr
---------
Oq

Pero dicha regla no es vlida en lgica no monotnica, pues una premisa puede derrotar una conclusin que era
vlida. Ejemplo:

Si es obligatorio pagar impuestos, es obligatorio enviar la declaracin de impuestos;

Es obligatorio pagar impuestos y, en el caso de ciertos trabajadores al servicio del Estado, estos no estn
obligados a enviar su declaracin porque el Estado retiene directamente sus impuestos.
-----------
Por lo tanto, es obligatorio enviar la declaracin de impuestos.

Como resulta evidente intuitivamente, el conyunto Pr en la segunda premisa (que hace las veces de una
excepcin) altera la validez general de la conclusin Oq. Sin embargo, en lugar de exigir que la primera
premisa contenga una lista exhaustiva de excepciones, las lgicas no monotnicas admiten que existen
premisas derrotables.]
Preguntas abiertas
Entre las preguntas que quedan abiertas entre los investigadores en lgica dentica destacan, entre otras, las
siguientes:

La lgica dentica es una simple lgica modal cuyos operadores son interpretados en trminos de
obligaciones, permisos y prohibiciones? O, por el contrario, la lgica dentica es una extensin o una
desviacin de la lgica modal?;
Existe algn sistema de lgica dentica que sirva para mejorar el razonamiento de los jueces y
abogados? En qu consistira la mejora? En hacer sus decisiones ms justas, ms coherentes, ms
completas? Qu es la justicia desde el punto de vista lgico?;
Cul es el mejor sistema de lgica dentica para aplicarlo en inteligencia artificial? Un robot podra ser
un buen juez?;
Frente a la tricotoma de mundos posibles, imposibles y necesarios de la lgica modal, no es acaso
cierto que podemos imaginar un continuo de mundos desde un mundo donde todas las obligaciones se
violan hasta un mundo donde todas se cumplen, pasando por una serie infinita de matices y de
situaciones condicionales del tipo: suponiendo que violes la obligacin de pagar impuestos, debes
respetar la obligacin de pagar las multas y, suponiendo que violes la obligacin de pagar las multas,
debes respetar la obligacin de no fugarte de prisin y, suponiendo que violes...?.

Vase tambin
Paradoja de Protgoras

Referencias
2. Gutmanova et al. obra citada
1. Gutmanova,- Panov- Petrov. Lgica: en forma simple
sobre lo complejo Diccionario. ISBN 5-01-002821-2
2. Gutmanova et al. obra citada
Bibliografa
Alchourrn, Carlos y Bulygin, Eugenio, Anlisis lgico y derecho, Centro de Estudios Constitucionales,
Madrid, 1991.
Alchourrn, Carlos y Bulygin, Eugenio, Introduccin a la metodologa de las ciencias jurdicas y
sociales, Astrea, Buenos Aires, 1974, (versin en ingls Normative Systems, Springer, Viena- Nueva
York, 1971).
Hilpinen, Risto, Deontic Logic , en The Blackwell Guide to Philosophical Logic, en Goble, Lou
(editor), Blackwell publishers, Oxford, 2001, pp.159-182.
Leibniz, Le droit de la raison, textos reunidos por Sve, Ren, Pars, Vrin, 1994.
Lokhorst, Gert-Jan, Mallys Deontic Logic, Stanford Encyclopedia of Philosophy,
http://plato.stanford.edu, 2004.
Von Wright, Georg Henrik (1951), Deontic Logic en Logical Studies, Routledge and Kegan Paul,
Londres, 1957, pp. 58-74 (primera publicacin: Mind, vol. 60, 1951, p. 1-15).
Von Wright, Georg Henrik, "A Note on Deontic Logic and Derived Obligation, Mind, n 65, 1956, pp.
507-509.
Von Wright, Georg Henrik, Norm and Action. A Logical Enquiry, Routledge & Kegan Paul, Londres,
1963.
Von Wright, Georg Henrik, An Essay in Deontic Logic and the General Theory of Action, Acta
Philosophica Fennica, n 21, fascicule, North-Holland Publ. Co, Amsterdam, 1968.
Von Wright, Georg Henrik, Norms, Truth and Logic, en von Wright, Georg Henrik, Philosophical
Papers I. Practical Reason, Blackwell, Oxford, 1983; trad. de Cabrera Alarcn Carlos, Normas, verdad y
lgica, Fontamara, Mxico, 1997.
Von Wright, Georg Henrik, "Is and Ought", en Bulygin, Eugenio y Niiniluoto, I. (editores), Law and
Modern Form of Life, Reidel, Dordtrech, 1985, pp. 283-281.
Enlaces externos
Artculo de Paul McNamara (en ingls) de la Enciclopedia Stanford de Filosofa

Obtenido de https://es.wikipedia.org/w/index.php?title=Lgica_dentica&oldid=100193254

Se edit esta pgina por ltima vez el 1 jul 2017 a las 06:56.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.