Lógica deóntica.

Tienen una fecha de nacimiento muy precisa: 1951, año en que aparece el
famoso articulo de Georg Henrik von Wright “Deontic Logic”, para la creación de una lógica
deóntica fue la observacion hecha ya po Leibniz y luego por von Wright sobre una seria de
analogías sugestivas entre el comportamiento lógico de los conceptos modales aleticos. Las leyes
de distribución : tanto los conceptos modales, como los deonticos se atribuyen de igual manera
respecto de la disyunción y la conjunción, en el primer sistema de von Wright se acepta que toda
tautología de la lógica proposicional es una formula validad del sistema cuando las variables
proposicionales son reemplazadas por formulas deónticas.

Dilema de Jorgensen. La lógica deóntica esta influciada por el problema que en los treinta fue
formulado por el filosofo danes J. Jorgensen y que desde entonces es conocido en la literatura
como el dilema de Jorgensen, que se apoya de que: hay una lógica de normas que subyace al
lenguaje corriente, solo expresiones verdaderas o falsas pueden ser objeto de estudio de la lógica,
las normas carcen de valores de verdad y no hay relaciones entre las normas y, por consiguiente,
no hay una lógica de normas. En von Wright, la lógica deóntica es concebida como una lógica de
normas y las normas son tratadas como entidades falsas o verdaderas, la importancia de la lógica
deóntica residia precisamente en el hecho de que las normas están sin embargo sometidas a leyes
lógicas.

Interpretación descriptiva de la lógica deóntica. Parte del hecho de que las oraciones del lenguaje
corriente en las que figuran términos típicamente deonticos son sistemáticamente ambiguas, pues
pueden ser interpretados tanto prescriptivamente como descriptivamente abre el camino para la
construcción de una lógica deóntica como para una lógica de las proposiciones normativas. Von
Wright propuso desarrollar un solo simbolismo que admita dos interpretaciones diferentes, una
interpretación prescriptiva y otra descriptiva, esto resulto ser un serio error, los operadores
deonticos tienen propiedades lógicas muy diferentes cuando son usados prescriptiva o
descriptivamente, por esa razón es impresindible usar diferentes símbolos. La distinción entre
ormas y proposiciones normativas ha hecho posible interpretar las expresiones deónticas como
proposiciones acerca de las normas.

La negación de las proposiciones normativas. Hay dos tipo de negación de las proposiciones
normativas: la externa y la interna, surge que la negación externa de la permisión negativa
equivale a la negación interna de la permisión positiva y viceversa, la negación externa niega la
pertenencia de la norma al sistema, mientras que la negación interna afecta a la norma misma.

La lógica de las proposiciones normativas. Las proposiciones normativas son afirmaciones acerca
de un sistema normativo que dice que determinadas normas pertenecen o no pertenecen a un
sistema dado. Las proposiciones normativas se formulan en un elnguaje que es un metalenguaje
con respecto al lenguaje en el cual están formuladas las normas. Por tanto, las oraciones de esta
lógica son expresiones metalinguisticas acerca de los sistemas normativos.

El sistema como lógica de normas. Si pensamos que las relaciones lógicas solo pueden ser
definidas en términos de verdad y que las normas carecen de valores veritativos estamos de
nuevo frente al mismo dilema: o bien tenemos que desarrollar una teoria sustitutiva para dar
cuenta de las relaiones lógicas entre normas. Este ultimo camino fue elegido en Alchurron-Bulygin,
esta teoría tiene su punto de partida en la comprobación de que muchos autores conciben a las
normas no como una categoría semántica sino como una categoría pragmática, en esta
concepción las relaciones lógicas no se dan entre las normas sino entre sus contenidos, esto puso
de manifiesto un hecho interesante, a saber, que el sistema estandar de lógica deóntica resulto ser
cuna recosntruccion básicamente correcta de las propiedades lógicas de los operadores
normativos. Si se acepta que als normas carecen de valoresde verdad, no cabe duda de que una
lógica de normas genuina solo es posible si se amplia el concepto de la lógica de tal manera que
las conectivas proposicionales y los conceptos de implicación lógica y de consistencia puedan ser
definidos sin hacer referencia a la nocion de verdad