La lógica deóntica es un subcampo de la lógica que se ocupa del estudio formal de los conceptos morales y éticos, como las obligaciones, los permisos y las prohibiciones. La lógica deóntica se ocupa de la representación formal de los conceptos normativos y la relación lógica entre estos conceptos. En otras palabras, la lógica deóntica es el estudio de cómo los conceptos morales y éticos pueden representarse en un sistema formal de lógica, y cómo estos conceptos pueden usarse para hacer deducciones y sacar conclusiones sobre cuestiones morales y éticas. Esto puede ser útil para tomar decisiones más informadas y razonar sobre dilemas morales y éticos.
Como disciplina la lógica deóntica es un campo de estudio relativamente moderno que se originó en el siglo XX. Fue desarrollado como una forma de representar y razonar formalmente sobre conceptos morales y éticos, como obligaciones, permisos y prohibiciones. El término "deóntico" proviene de la palabra griega "deon", que significa "deber" u "obligación". Esto refleja el enfoque de la lógica deóntica en el estudio de los deberes y obligaciones morales y éticos.
Axiomas en lógica deontica
Los axiomas son principios o suposiciones fundamentales que se aceptan como verdaderos sin necesidad de demostración. En lógica deóntica, los axiomas son enunciados que definen los principios o supuestos fundamentales del sistema de conceptos morales y éticos que se estudian. Estos axiomas suelen definir los componentes básicos de la lógica deóntica, como los conceptos de obligación, permiso y prohibición, y la relación lógica entre estos conceptos. Por ejemplo, un axioma común en la lógica deóntica es el principio de no contradicción, que establece que una proposición no puede ser verdadera y falsa al mismo tiempo. Este axioma se usa a menudo como base para hacer deducciones y sacar conclusiones sobre cuestiones morales y éticas.
Simbologia empleada en la logica deontica
En la lógica deóntica, hay varios símbolos diferentes que se utilizan para representar diferentes conceptos y operaciones lógicas. Estos símbolos son similares a los que se utilizan en otras formas de lógica, pero se han adaptado para satisfacer las necesidades específicas de la lógica deóntica. Algunos símbolos comunes utilizados en la lógica deóntica incluyen:
O: Este símbolo se utiliza para representar el concepto de una obligación. Por ejemplo, si p es una proposición, entonces Op significa que es obligatorio que p sea verdadera.
P: Este símbolo se utiliza para representar el concepto de un permiso. Por ejemplo, si p es una proposición, entonces Pp significa que se permite que p sea verdadera.
F: Este símbolo se utiliza para representar el concepto de prohibición (Del ingles Forbbiden). Por ejemplo, si p es una proposición, entonces Fp significa que está prohibido que p sea verdadera.
~: Este símbolo se usa para representar la negación. Por ejemplo, si p es una proposición, ~p significa que p es falsa.
&: Este símbolo se usa para representar la conjunción. Por ejemplo, si p y q son proposiciones, entonces p & q significa que tanto p como q son verdaderas.
v: Este símbolo se usa para representar la disyunción. Por ejemplo, si p y q son proposiciones, entonces p V q significa que p es verdadera o q es verdadera (o ambas son verdaderas).
->: Este símbolo se usa para representar implicación. Por ejemplo, si p y q son proposiciones, entonces p -> q significa que si p es verdadera, entonces q también debe serlo.
La Simbologia y el algebra empleada en la logica deontica es similar a la empleada en la logica de predicados. teniendo varias semejanzas sin embargo con diferencias claves.
Un acertijo de logica deontica
Aunque simple este acertijo ejemplifica el uso de la logica Deontica.
Imagina que se te entrega una caja fuerte que contiene un objeto valioso, como un diamante o una obra de arte. No sabes lo que hay en la caja fuerte. También se te da una llave que abre la caja fuerte con la cual puedes llevarte el objeto de adentro si la usas. Sin embargo, la llave tiene una condición: solo se te permite usar la llave si prometes devolvérsela a su propietario después de abrir la caja fuerte (independientemente como abras la caja, es decir si no usas la llave estas obligado a entregarla una vez que abras la caja).
¿Qué debes hacer si deseas cumplir las obligaciones que te imponen las reglas establecidas? En este escenario, puede usar la lógica deóntica para razonar sobre los posibles resultados y tomar una decisión. Si usas la llave para abrir la caja fuerte, puedes llevar el objeto valioso adentro (ya que no hay una prohibición establecida). Sin embargo, también está obligado a devolver la llave a su propietario porque usted prometió hacerlo. Por otro lado, si no usas la llave para abrir la caja fuerte, no puedes llevar el objeto de valor adentro. Sin embargo, tampoco está obligado a devolver la llave a su propietario porque no se comprometió a hacerlo. En base a este razonamiento, la mejor decisión es utilizar la llave para abrir la caja fuerte y llevarse el objeto de valor de su interior. Esta es la única decisión que le permite cumplir con su obligación de devolver la llave a su propietario y su permiso para tomar el objeto de valor. No usar la clave solo le permitiría cumplir uno de estos requisitos, pero no ambos.
Referencias
https://www.britannica.com/topic/deontic-logic
Creditos imagen: Metanormative Principles and Norm Governed Social Interaction - Scientific Figure on ResearchGate. Available from: https://www.researchgate.net/figure/The-hexagon-of-logical-relations-holding-in-standard-KD-deontic-logic-The-dotted-line_fig1_273182958 [accessed 19 Dec, 2022]
Comments