Presentación Lógica deóntica
-
Upload
carlos-duran -
Category
Technology
-
view
2.884 -
download
6
description
Transcript of 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
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas
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.
Operadores Deónticos
Maestría en Tecnologías de la Información Matemáticas Discretas
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.
Operadores Deónticos
Maestría en Tecnologías de la Información Matemáticas Discretas
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.
Operadores Deónticos
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas
Sistema Informático con aplicación de la LD
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas
Aplicaciones relevantes en materia de sistemas computacionales de la LD
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas
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
Maestría en Tecnologías de la Información Matemáticas Discretas