Presentación Lógica deóntica

LÓGICA DEÓNT ICA

“Deóntico” se deriva del vocablo griego de/on, ‘lo debido’, dei=, ’hay que’. Así, la Lógica Deóntica (LD) es la lógica del deber ser o de las normas.El nombre “lógica deóntica” lo recibe la lógica comentada a partir del ensayo de G. H. Von Wright, “Deontic Lógic” aparecido en Logical Studies, Routledge & K. Paul, 1951.

Von Wright propuso que a los conceptos deónticos de obligación, permisividad, prohibición e indiferencia les correspondía la misma interacción que existía entre los operadores modales de necesidad, posibilidad, imposibilidad y contingencia, con la particularidad de que en aquella se verificaba el principio de que obligación implica permisión (axioma deóntico). Así surgió la lógica SDL (Standard Deontic Logic) donde los operadores monádicos usuales de necesidad y posibilidad (◊) de una lógica modal clásica son reemplazados por una ' O' y una ' P', por obligatorio y permitido, respectivamente.

Introducción

Maestría en Tecnologías de la Información Matemáticas Discretas

En la semántica lógica existen, entre otros, tres tipos de operadores: (i) aléticos ( necesidad, posibilidad e imposibilidad), (ii) epistémicos (conocimiento y creencia) y (iii) deónticos (prohibido, obligatorio y permitido).

La lógica deóntica apunta a sistematizar las relaciones abstractas, puramente conceptuales, existentes entre las proposiciones de esa esfera, una de las cuales es la siguiente: si un acto es obligatorio, entonces su realización debe ser permitida y su omisión prohibida. En ciertas circunstancias, todo acto es tal que él o su omisión está permitido. La lógica modal deja a las disciplinas sustantivas como la ética y el derecho la cuestión concreta de determinar qué actos o estados de cosas específicos han de ser prohibidos ó permitidos.

Definiendo la Lógica Deóntica


Los operadores deónticos y algunas de sus interpretaciones más comunes son los siguientes (donde ‘p’ representa una oración):

Op: ‘Es obligatorio que p’, ‘es indispensable que p’, ‘es exigible que p’, ‘es imperativo que p’, ‘es imprescindible que p’, ‘debe ser el caso que p’, ‘es forzoso que p’, ‘es necesario que p’, etc.

Pp: ‘Está permitido que p’, ‘es lícito que p’, ‘es permisible que p’, ‘está autorizado que p’, ‘se vale que p’, ‘es válido que p’, ‘es justo que p’, ‘es correcto que p’, ‘puede ser que p’, ‘es posible que p’, etc.

Vp: ‘Está vedado que p’, ‘está prohibido que p’, ‘es ilícito que p’, ‘es indebido que p’, ‘es injusto que p’, ‘es inválido que p’, ‘es incorrecto que p’, ‘es imposible que p’, etc.

Ip: ‘Es indiferente que p’, ‘es indistinto que p’, ‘es adiáforo que p’, ‘es facultativo que p’, ‘da lo mismo que p’, ‘da igual que p’, etc.

Operadores Deónticos


En los esquemas gramaticales anteriores la expresión ‘que p’ es sustituible por una oración en subjuntivo precedida por un ‘que’, la cual, desde el punto de vista semántico, puede considerarse como el nombre de una situación o de una proposición. Así, en la oración:

“Es ilícito que los padres torturen a sus hijos”

La expresión ‘que los padres torturen a sus hijos’, puede considerarse como el nombre de una situación o de una proposición. Esto da lugar, respectivamente, a versiones extensionales o intencionales de la LD. Por otra parte, lo que haría verdaderas o falsas a oraciones como la anterior se supone serían hechos jurídicos o morales (en este caso, el hecho de la ilicitud de que los padres torturen a sus hijos) correlacionados con tales proposiciones o situaciones.



Algunas reglas sobre la interdefinibilidad descritas para la LD:

1ª) OA → PA.Si debemos hacer “p”, nos está permitido hacer “p”. Por ejemplo, si debemos pagar impuestos, está permitido pagar impuestos.2ª) PA ↔ -O-A.Si nos está permitido hacer “p”, entonces no es el caso que debemos hacer “-p”, e, inversamente, si no debemos hacer “-p”, entonces nos está permitido hacer “p”. Por ejemplo, si nos está permitido fumar, entonces no es obligatorio no fumar, e, inversamente, si no es obligatorio no fumar, entonces nos está permitido fumar.B) Reglas para la distribución de los operadores deónticos:3ª) O(A & B) ↔ OA & OB.Si es obligatorio hacer “p” y “q”, entonces es obligatorio hacer “p” y hacer “q”, e, inversamente, si es obligatorio hacer “p” y hacer “q”, entonces es obligatorio hacer “p” y “q”. Por ejemplo, si es obligatorio hacer el servicio militar y pagar impuestos, entonces es obligatorio hacer el servicio militar y es obligatorio pagar impuestos, e, inversamente, si es obligatorio hacer el servicio militar y es obligatorio pagar impuestos, entonces es obligatorio hacer el servicio militar y pagar impuestos.



El campo de aplicación de la LD lo constituyen típicamente discursos argumentativos de tipo moral, ético y jurídico, debido a que son discursos de índole normativa. Más en general, la LD es aplicable a cualquier discurso de tipo argumentativo donde figuren operadores deónticos en sus interpretaciones ético y/o jurídica

Las siguientes equivalencias deónticas pueden usarse para definir unos operadores deónticos en términos de otros, o para establecer reglas de equivalencia entre éstos

El siguiente cuadro de oposición de proposiciones deónticas ilustra algunas de las relaciones lógicas básicas que hay entre operadores deónticos.



Op (~P~p) contrarias O~(~Pp, Vp)

s

u

b

a

l

t

e

r

a

s

s

u

b

a

l

t

e

r

a

s

~O~p (Pp, ~Vp) subcontrarias ~Op (P~p)

Ip (Pp & P~p)

contradictorias

Op (~P~p) contrarias O~(~Pp, Vp)

s

u

b

a

l

t

e

r

a

s

s

u

b

a

l

t

e

r

a

s

~O~p (Pp, ~Vp) subcontrarias ~Op (P~p)

Ip (Pp & P~p)

contradictorias

Op ≡ ~P~p ~O~p ≡ Pp~Op ≡ P~p Vp ≡ ~PpO~p ≡ ~Pp Ip ≡ (Pp & P~p)

La lógica deóntica puede cumplir la función de mostrar la estructura o el esquema del razonamiento argumentativo válido, si bien es cierto que la lógica deóntica es de carácter formal y abstracto con respecto al lenguaje objeto (las normas jurídicas), los argumentos que por medio de esta se construyen pueden ser utilizados para validar los razonamientos propios de los jueces al resolver los cosas legales. Por ejemplo:En la normatividad marcada en el código fiscal de la federación en su articulo 156 podríamos aplicar:

Op ≡ F ¬ p

Ejemplo de la lógica Deóntica en el razonamiento jurídico


Enrique Cáceres NietoAutor

Coordinador editorial: Raúl Márquez RomeroEdición: Doris Adriana Torres Rodríguez

Formación en computadora: José Antonio Bautista SánchezProceso para la Biblioteca Jurídica Virtual: Margarita García Castillo y Laura

Sánchez Zúñiga Primera edición: 2007

DR © 2007. Universidad Nacional Autónoma de México INSTITUTO DE INVESTIGACIONES JURÍDICAS

JUSTINIANO. UN PROTOTIPO DE SISTEMA EXPERTO EN MATERIA DE DERECHOS

HUMANOS, ELABORADO CON BASE EN UNA CONCEPCIÓN CONSTRUCTIVISTA DEL

DERECHO


Sistema Informático con aplicación de la LD

http://biblio.juridicas.unam.mx/libros/5/2498/pl2498.htm


Ejemplo

Sistemas de alta disponibilidadEsta aplicación de la lógica deóntica puede ser considerada como la especificación de control de excepciones, donde las excepciones se generan por el sistema informático.

Comportamiento deseado de los usuarios en un sistema expertoEsta aplicación de la lógica deóntica puede ser considerada como la especificación de control de errores, en las que estos errores se generan por los usuarios.

Desarrollo de políticas de empresa Debido a que el comportamiento de una organización debe cumplir con la ley, esto puede ser visto como un tipo especial de aplicación legal de la lógica deóntica.

Comportamiento organizacional (contratos)Elementos relevantes en la elaboración de contratos cuya lógica debe ser representada:

Oblige Some action not obligated becomes obligatedWaive Some obligated action becomes not obligatedPermit A forbidden action becomes permittedForbid A permitted action becomes forbidden

Aplicaciones relevantes en materia de sistemas computacionales de la LD


Aplicaciones relevantes en materia de sistemas computacionales de la LD


Restricciones de integridad normativosEl inicio de una transacción de base de datos implica el bloqueo de los datos para evitar que otros usuarios accedan a los datos durante la transacción. Ejecución del evento begin transaction contiene una obligación implícita para finalizar la transacción en un periodo razonable de tiempo, ya sea una operación de confirmación o una operación de reversión. Por lo tanto, si un actor realiza ciertos eventos, entonces, por esta actuación se incurre en la obligación de hacer algo. Programación legal o normativaLas leyes requieren una interpretación inequívoca, acordada por la comunidad legal. Esto evita el problema del intérprete invisible y que introduce subjetividad en la apariencia de imparcialidad mecánica.

Conclusiones del equipo


El uso de la lógica deóntica sirve de puente entre dos áreas que se creían separadas como son as leyes y la informática, formalizando las normas jurídicas y estableciendo reglas que facilitan la elaboración de programas que sirvan de apoyo para la aplicación de las leyes. También es en el comportamiento de los usuarios y de los dispositivos donde la lógica deóntica favorece y previene excepciones y reglas.La formalización ensayada a una codificación total y explícita de la estructura lógica de discursos informales, como el jurídico y el moral, contribuyendo a un conocimiento mejor de nuestras teorías al respecto. Sin contrapartida formal no tendríamos una ciencia propiamente dicha, armónica y sistemática

Lógica Deóntica 2011Dr. Pedro Ramos Facultad de Filosofía y Letras, UNAM

La aplicación de la lógica deóntica en la formalización de las reglas jurídicas – Dr. Miguel Leónwww.juridicas.unam.mx

Lógica deónticahttp://www.esacademic.com/dic.nsf/eswiki/340363

El Análisis filosóficohttp://www.scielo.org.ar/scielo.php?pid=S1851-96362006000100002&script=sci_arttext

Máquina de Silogismoshttp://blogaustral.org/conecta2/2008/10/02/maquina-de-silogismos/

Bibliografía


http://www.juridicas.unam.mx/

http://www.esacademic.com/dic.nsf/eswiki/340363

http://www.esacademic.com/dic.nsf/eswiki/340363

http://www.scielo.org.ar/scielo.php?pid=S1851-96362006000100002&script=sci_arttext



http://blogaustral.org/conecta2/2008/10/02/maquina-de-silogismos/

http://blogaustral.org/conecta2/2008/10/02/maquina-de-silogismos/

Presentación Lógica deóntica

Technology

Transcript of Presentación Lógica deóntica