conceptos lógicos modales y cuadros de oposición · interdefinibilidad de los operadores...
TRANSCRIPT
![Page 1: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/1.jpg)
Conceptos lógicos modales
y cuadros de oposición
Francisco Javier Martínez Real
![Page 2: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/2.jpg)
Correspondencia entre los conceptos modales
de diversos tipos de lógica
FJMR
![Page 3: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/3.jpg)
Lógica proposicional:
conceptos epistémicos
(valores veritativos)
Verdad
(verdadero)
Falsedad
(falso)
Indeterminación
(indeterminado)
Lógica de predicados:
conceptos existenciales
(cuantificadores)
Universalidad
(todos)
Vaciedad
(ninguno)
Existencia
(algunos)
Lógica modal:
conceptos aléticos
(operadores modales)
Necesidad
(necesario)
Imposibilidad
(imposible)
Contingencia
(posible)
Lógica deóntica:
conceptos deónticos
(operadores deónticos)
Obligatoriedad
(obligatorio)
Prohibición
(prohibido)
Permisión
(permitido)
FJMR
![Page 4: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/4.jpg)
Cuadro general de oposición
FJMR
![Page 5: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/5.jpg)
A .E
I .O
CONTRARIAS
SUBCONTRARIAS
ALTERNAS
SUPER
SUB
ALTERNAS
SUPER
SUB
FJMR
![Page 6: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/6.jpg)
Cuadro de oposiciónen lógica proposicional
Conceptos epistémicos Valores veritativos
Verdad Verdadero
Falsedad Falso
Indeterminación Indeterminado
FJMR
![Page 7: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/7.jpg)
A .E
I .O
CONTRARIAS
SUBCONTRARIAS
ALTERNAS
SUPER
SUB
ALTERNAS
SUPER
SUB
FJMR
![Page 8: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/8.jpg)
OPOSICIÓN RELACIÓN VERITATIVA
Contradictorias● Si una es V, la otra es F (= no pueden ambas ser V).
● Si una es F, la otra es V (= no pueden ambas ser F).
Contrarias● Si una es V, la otra es F (= no pueden ambas ser V).
● Si una es F la otra queda indeterminada (= ambas pueden ser F).
Subcontrarias● Si una es V, la otra queda indeterminada (= ambas pueden ser V).
● Si una es F, la otra es V (= no pueden ambas ser F).
Alternas
● Si la superalterna es V, la subalterna es V.
● Si la subalterna es V, la superalterna queda indeterminada.
● Si la superalterna es F, la subalterna queda indeterminada.
● Si la subalterna es F, la superalterna es F.
FJMR
![Page 9: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/9.jpg)
A E I O
A es verdadera V F V F
A es falsa F Ind. Ind. V
E es verdadera F V F V
E es falsa Ind. F V Ind.
I es verdadera Ind. F V Ind.
I es falsa F V F V
O es verdadera F Ind. Ind. V
O es falsa V F V F
V = verdadera / F = Falsa / Ind. = Indeterminada
FJMR
![Page 10: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/10.jpg)
Cuadro de oposiciónen lógica de predicados
Conceptos existenciales Cuantificadores
Universalidad Todos
Vaciedad Ninguno
Existencia Alguno
FJMR
![Page 11: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/11.jpg)
CONTRARIAS
SUBCONTRARIAS
Todo S es P Ningún S es P
Algún S es P Algún S no es P
Difieren en cualidad
Difieren en cualidad
Dif
iere
n e
n c
anti
dad
Dif
iere
n e
n c
anti
dad A
LTERNAS
.ESUPER
.OSUB
ALTERNAS
SUPERA
ISUB
FJMR
![Page 12: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/12.jpg)
INTERDEFINIBILIDAD DE LOS CUANTIFICADORES
(A) Todo S es P ≡ Ningún S es -P ≡No es verdad que algún S
es -P
(E) Ningún S es P ≡ Todo S es -P ≡No es verdad que algún S
es P
(I) Algún S es P ≡No es verdad que todo S
es -P≡
No es verdad que ningún S
es P
(O) Algún S no es P ≡No es verdad que todo S
es P≡
No es verdad que ningún S
es -P
FJMR
![Page 13: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/13.jpg)
S
P
S P
S P
S P
Todo S es P
Ningún S es P
Algún S es P
Algún S no es P
No son diagramas de Venn
FJMR
![Page 14: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/14.jpg)
Cuadro de oposiciónen lógica modal
Conceptos aléticos Operadores modales
Necesidad Necesario
Imposibilidad Imposible
Contingencia Posible
FJMR
![Page 15: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/15.jpg)
CONTRARIAS
SUBCONTRARIAS
Es necesario que S sea P Es imposible que S sea P
Es posible que S sea P Es posible que S no sea P
ALTERNAS
.ESUPER
.OSUB
ALTERNAS
SUPERA
ISUB
FJMR
![Page 16: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/16.jpg)
INTERDEFINIBILIDAD DE LOS OPERADORES MODALES
Es necesario que S
sea P (A)≡
Es imposible que S sea -
P≡ No es posible que S sea -P
Es imposible que S
sea P (E)≡
Es necesario que S sea -
P≡ No es posible que S sea P
Es posible que S
sea P (I)≡
No es necesario que S
sea -P≡ No es imposible que S sea P
Es posible que S no
sea P (O)≡
No es necesario que S
sea P≡ No es imposible que S sea -P
FJMR
![Page 17: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/17.jpg)
Cuadro de oposiciónen lógica deóntica
Conceptos deónticos Operadores deónticos
Obligatoriedad Obligatorio
Prohibición Prohibido
Permisión Permitido
FJMR
![Page 18: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/18.jpg)
CONTRARIAS
SUBCONTRARIAS
Es obligatorio hacer X Está prohibido hacer X
Está permitido hacer X Está permitido no hacer X
ALTERNAS
.ESUPER
.OSUB
ALTERNAS
SUPERA
ISUB
FJMR
![Page 19: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/19.jpg)
INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS
Es obligatorio hacer X
(A)≡ Está prohibido hacer -X ≡
No está permitido hacer
–X
Está prohibido hacer X
(E)≡ Es obligatorio hacer -X ≡
No está permitido hacer
X
Está permitido hacer X
(I)≡ No es obligatorio hacer -X ≡
No está prohibido hacer
X
Está permitido no hacer
X (O)≡ No es obligatorio hacer X ≡
No está prohibido hacer
–X
Operador de facultad ≡ permitido X y permitido -X
FJMR
![Page 20: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/20.jpg)
Cuadro de oposiciónentre normas jurídicasque refieren a deberes
FJMR
![Page 21: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/21.jpg)
Tipo de norma Símbolo Estructura
Universal positiva STDTodos los miembros de la clase “S”tienen el deber jurídico “D”
Universal negativa SŤDNingún miembro de la clase “S”tiene el deber jurídico “D”
Particular positiva SnTDEl miembro “S1” o el miembro “S2”o el miembro “Sn” de la clase “S”tiene(n) el deber jurídico “D”.
Particular negativa SnŤDEl miembro “S1” o el miembro “S2”o el miembro “Sn” de la clase “S”no tiene(n) el deber jurídico “D”.
FJMR
![Page 22: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/22.jpg)
SŤD
.SnTD SnŤD
CONTRARIAS
SUBCONTRARIAS
Universal positiva Universal negativa
Particular positiva Particular negativa
Difieren en cualidad
Difieren en cualidad
Dif
iere
n e
n c
anti
dad
Dif
iere
n e
n c
anti
dad A
LTERNAS
SUPER
SUB
ALTERNAS
SUPER..STD
SUB
FJMR
![Page 23: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/23.jpg)
Cuadro de oposiciónentre normas jurídicas
que refieren a derechos
FJMR
![Page 24: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/24.jpg)
Tipo de norma Símbolo Estructura
Universal positiva STFTodos los miembros de la clase “S”tienen el derecho subjetivo “F”.
Universal negativa SŤFNingún miembro de la clase “S”tiene el derecho subjetivo “F”.
Particular positiva SnTFEl miembro “S1” o el miembro “S2”o el miembro “Sn” de la clase “S”tiene(n) el derecho subjetivo “F”.
Particular negativa SnŤFEl miembro “S1” o el miembro “S2”o el miembro “Sn” de la clase “S”no tiene(n) el derecho subjetivo “F”.
FJMR
![Page 25: Conceptos lógicos modales y cuadros de oposición · INTERDEFINIBILIDAD DE LOS OPERADORES DEÓNTICOS Es obligatorio hacer X (A) ≡ Está prohibido hacer -X](https://reader031.vdocumento.com/reader031/viewer/2022013007/5bd9fa7409d3f2d0098bcb1b/html5/thumbnails/25.jpg)
STF SŤF
SnTF SnŤF
CONTRARIAS
SUBCONTRARIAS
Universal positiva Universal negativa
Particular positiva Particular negativa
Difieren en cualidad
Difieren en cualidad
Dif
iere
n e
n c
anti
dad
Dif
iere
n e
n c
anti
dad A
LTERNAS
SUPER
SUB
ALTERNAS
SUPER
SUB
FJMR