Documentos de Académico
Documentos de Profesional
Documentos de Cultura
obligación (O)
prohibición (Pr)
permisión (P)
Por ejemplo: La obligación de hacer "p", donde "p" es un enunciado atómico que puede
ser sustituido por cualquier contenido, puede ser redefinida a partir de la prohibición
(Pr), de la permisión (P) o de la facultad (F)
2) - F p (no está facultado hacer p, que es lo mismo que decir: no está permitido no
hacer p);
1) que siempre que comparen operadores contrarios, la interdefinición será del tipo:
X - p (siendo X cualquiera de los operadores involucrados en la relación. Aquí, por
ejemplo, X puede ser tanto la O como la Pr)
1
Ej: 1) O p = Pr - p (X - p)
2) Pr p = O - p (X - p)
Ej: 1) O p = - F p (- X p)
2) F p = - O p (- X p)
3) Pr p = - P p (- X p)
4) P p = - Pr p (- X p)
Ej: 1) O p = - P - p (- X - p)
2) P p = - O - p (- X - p)
3) Pr p = - F - p (- X - p)
4) F p = - Pr - p (- X - p)
Ej: 1) P p = F - p (X - p)
2) F p = P - p (X - p)
De este modo, cualquier norma podría ser interdefinida en términos de los otros
operadores deónticos:
Lo sombreado en amarillo son las conectivas lógicas que unen las proposiciones
atómicas. Por ejemplo: Obligatorio hacer "p" y permitido no hacer "p".
2
Comencemos:
Segundo ejercicio:
3
N2: - (- F p ó - O p) & - (Pr p & O p) entonces - (- P - p entonces F p)
1) - Fp es igual a Pr - p.
2) - Op es igual Fp.
En efecto, la Op es igual a - Fp, pero como la O está negada, entonces obtengo una
doble negación de F, lo que equivale a la afirmación de F. El resultado es Fp.
3) Pr p es igual a - F - p.
4) Op es igual a - Fp
5) - P - p es igual a - Fp
6) Fp es igual a -Pr - p
4
Aclaración: la negación de los paréntesis podría interdefinirse también bajo un cálculo
de reglas derivadas, cuya explicación no abordé en clase y excede el alcance que
quiero darle al tema. A título ejemplificativo:
el enunciado: - (-Fp ó -Op), que traducido sin los operadores deónticos sería: - (- A ó -
B), es equivalente al enunciado A & B, por la denominada segunda definición del
conjuntor, que se obtiene por las reglas de deducción natural de conectores.
Entonces: - (-Fp o -Op) es igual a decir, por la regla de definición del conjuntor: Fp &
Op. Pero ni bien se observa este resultado utilizando los operadores F y O se advertirá
que estamos frente a una contradicción, ya que estamos afirmando una Facultad y
una Obligación, lo cual no es posible sin caer en contradicción.
Esta nota es simplemente para alertar las implicancias lógicas y las eventuales
complicaciones de este tipo de análisis, las que no abordaremos en el curso de teoría
general.
N1: El comprador deberá pagar el precio de la cosa y no podrá invocar caso fortuito para
desligarse de la obligación.
Esta norma exige algunas aclaraciones previas. En efecto, se estaría tentado a resolver
la simbolización del siguiente modo: Op & Pr q, es decir, que la norma establece una
obligación de hacer "p" (que es pagar el precio de la cosa) y prohibe hacer "q" (invocar
el caso fortuito para no pagar). Sin embargo esto no es así. En realidad la norma
establece que si alguien tiene la obligación de pagar, entonces se le prohibe
condicionar la satisfacción del pago a una situación que se identifica con la letra "q".