Información jurídica inteligente
 España | 900 649 672

Separación y derrotabilidad en lógica deóntica

Document Citado por Relacionados
Vincent
AutorCarlos E. Alchourrón
Páginas141-153
SEPARACIÓN Y DERROTABILIDAD EN LÓGICA DEÓNTICA 141
IV
SEPARACIÓN Y DERROTABILIDAD EN LÓGICA
DEÓNTICA ♦
RESUMEN
El propósito de este trabajo es presentar un marco lógico que permita forma-
lizar una clase de deberes prima facie, deberes condicionales derrotables, deberes
condicionales inderrotables y deberes actuales (inderrotables), así como mostrar sus
interconexiones lógicas.
1. EL PLANTEO DEL PROBLEMA. DOS INTUICIONES
APARENTEMENTE EN CONFLICTO
Muy temprano en la historia de la lógica deóntica se descubrieron varias
paradojas en el sistema estándar D. Algunas de ellas se presentaron para seña-
lar las def‌iciencias del sistema para la formalización de las reglas condiciona-
les. En lo que sigue consideraré dos objeciones de ese tipo, que descansan en
motivaciones diferentes.
Tómese la expresión «O(A | B)» para representar el enunciado de que A es
obligatorio bajo la condición B. En el sistema D la def‌inición estandard de O(A
| B) es O(B ⊃ A). En consecuencia, es fácil probar los siguientes teoremas:
(D.1) | − O(A | A) (Identidad)
(D.2) | − O((A ∧ B) | C) ≡ (O (A | C) ∧ O(B | C)) (Distribución del
consecuente)
♦ Título original: «Detachment and Defeasibility in Deontic Logic», publicado en Studia Logica,
57, 1996: 5-18, traducido por Jorge L. RODRÍGUEZ.

Para continuar leyendo

Solicita tu prueba
Índice de navegación

Búsquedas relacionadas:

VLEX utiliza cookies de inicio de sesión para aportarte una mejor experiencia de navegación. Si haces click en 'Aceptar' o continúas navegando por esta web consideramos que aceptas nuestra política de cookies. ACEPTAR