COMO SACAR JUGO AL CUADRADO DE OPOSICION

Alejandro Herrera Ibez aherr@filosoficas.unam.mx

CUANTIFICADORES
UNIVERSALES: Afirmativos: Toda(o). Todas(os).

PARTICULARES: Algn, alguna. Algunas (os).

Negativos: Ningn, ninguna.

Ejemplos de proposiciones categricas

sAp:

Todas la mujeres son filsofas. (universal afirmativa) sEp: Ningn filsofo es boxeador. (universal negativa) sIp: Algunos mamferos son bellos. (particular afirmativa) sOp: Algunas rolas no son buenas. (particular negativa)

Ejercicio 1
Reformular

con cuantificadores: 2. Cualquier persona que pague puede pasar. 4. Vinieron pocos invitados. 6. Nada me parece bello. 7. La mayor parte de la gente se abstuvo de votar.

EL CUADRADO
sAp sEp

sIp

sOp

PROPOSICIONES CATEGORICAS
sAp sEp sIp sOp

Todos los S son P Ningn S es P Algunos S son P Algunos S no son P

QUE SE PUEDE ENSEAR

Destreza en dobles negativos Negacin interna y externa. Elementos de metodologa de la ciencia. Relacin con varias lgicas. Ms all del cuadrado: cubo de oposicin.

INFERENCIAS

INMEDIATAS: OBVERSIN. CONVERSIN SIMPLE. SUBALTERNACIN.

MEDIATAS:

CONVERSIN POR ACCIDENTE. CONTRAPOSICIN.

LA OBVERSION

sAp = sE~p sEp = sA~p sIp = sO~p

REGLA (1) pasar a la letra (sub)contraria (2) negar la letra del predicado

sOp = sI~p

CONVERSIN SIMPLE

CON sEp: sEp = pEs. Ej.: ningn terrcola es marciano = ningn marciano es terrcola.

CON sIp: sIp = pIs. Ej.: algunos cantantes son mexicanos = algunos mexicanos son cantantes.

EQUIVALENCIAS
sAp sEp sIp

= sE~p = ~pEs = ~pA~s = sA~p = pEs = pA~s = sO~p = pIs = pO~s = sI~p = ~pIs = ~pO~s

sOp

CUADRADO CON EQUIVALENCIAS

sAp ~pA~s sE~p ~pEs sEp pEs sA~p pA~s

sIp pIs

sO~p pO~s

sOp ~pO~s

sI~p ~pIs

NEGACION DE LA CONTRADICTORIA

~(sAp) = sOp ~(sEp) = sIp ~(sIp) = sEp ~(sOp) =sAp

No todos* = Algunos no No es cierto que ninguno = Algunos No es cierto que algunos = Ninguno No es cierto que algunos no = Todos

DOBLES NEGATIVOS 1
~(sA~p)

(no todos los hombres son infieles) = sO~p (algunos hombres no son infieles) = sIp (algunos hombres son fieles). (no es cierto que ningn hijo es ingrato) = sI~p (algunos hijos son ingratos) = sOp.

~(sE~p)

DOBLES NEGATIVOS 2

~(sI~p) (no es cierto que algunos gobernantes no roban) = sE~p (*ningn gobernante no roba) = sAp (todos los gobernantes roban). ~(sO~p) (No es cierto que algunos torturadores no son inclementes) = sA~p (todos los torturadores son inclementes) = sEp (ningn torturador es clemente).

NEGACION INTERNA Y NEGACION EXTERNA 1

~(sAp) sA~p. No todos todos no ~(sEp) sE~p. No ning. ning. no ~(sIp) sI~p. No alg. alg. no ~(sOp)sO~p. No alg. no alg. No

No No No No

todos = algunos no. ninguno = algunos. algunos = ninguno. algunos no = Todos.

NEGACION INTERNA Y NEGACION EXTERNA 2

No

todos los que se adelanten sern registrados = algunos que se adelanten no sern registrados. O sea, ~(sAp) = sOp.
Todos

los que se adelanten no sern registrados = Ninguno que se adelante ser registrado. O sea, sA~p = sEp.*

NEGACION INTERNA Y NEGACION EXTERNA 3

No

es cierto que ningn soldado sea inteligente = algunos soldados son inteligentes. O sea, ~(sEp) = sIp.
*Ningn

soldado es no inteligente = todos los soldados son inteligentes. O sea, sE~p = sAp.

NEGACION INTERNA Y NEGACION EXTERNA 4

No

es cierto que algunos astronautas sean alcohlicos = ningn astronauta es alcohlico. O sea, ~(sIp) = sEp.
Algunos

astronautas son no alcohlicos = Algunos astronautas no son alcohlicos. O sea, sI~p = sOp.*

NEGACION INTERNA Y NEGACION EXTERNA 5

No

es cierto que algunos lderes no son valientes = todos los lderes son valientes. O sea, ~(sOp) = sAp.
*Algunos

lderes no son no valientes = algunos lderes son valientes. O sea, sO~p = sIp.*

RESUMIENDO

AL NEGAR EXTERNAMENTE, SE OBTIENE LA CONTRADICTORIA AL NEGAR INTERNAMENTE, SE OBTIENE LA (SUB)CONTRARIA A no es no B = A es B No(A es B)A no es B A no es B =A es no B*

Ejercicio 2
Usa

los cuantificadores para escribir la contradictoria y la contraria de:

4. No es cierto que nadie quiere sufrir. 6. No es cierto que alguien rob el banco. 7. Algunos prestamistas son desinteresados. 10. No hay mal que por bien no venga.

Ejercicio 3
Di si son: contradictorias, (sub)contrarias, equivalentes, inversas, compatibles, y dnde hay implicacin. 1. No todos los tenores son cantantes excepcionales / El tenor Plcido Domingo es un cantante excepcional. 4. Todos los perros son canes / Todos los canes son perros. 5. Algunos pacifistas son militares / Ningn militar es pacifista.

Ejercicio 3 (cont.)
10. Ninguna persona es totalmente virtuosa / Algunas personas no son totalmente virtuosas. Ejercicio 4: 3. Todas las ballenas son mamferos / Ningn pez es mamfero. 7. Todos los torturadores son inmorales / No es cierto que algunos torturadores son inmorales. 8. Nngn felino tiene plumas /El gato que adoptar no tiene plumas.

Ejercicio 5: relaciones en el cuadrado de oposicin

Si las siguientes oraciones son verdaderas, qu se sigue de cada una de ellas? 1. Toda la msica me gusta. (a) ninguna msica me gusta, (b) alguna msica me gusta, (c) cualquier msica me gusta. 4. Algunos poetas no son buenos. (a) algunos poetas son buenos, (b) ningn poeta es bueno, (c) no se siguen ni (a) ni (b), y (d) No todos los poetas son buenos.

Ejercicio 5 (cont.)
Si

las siguientes oraciones son falsas, qu se sigue de cada una de ellas?

6. Todos los ros son caudalosos. (a) ningn ro es caudaloso, (b) algunos ros son caudalosos, (c) algunos ros no son caudalosos. 8. Algunas personas son clonadas. (a) Ninguna persona es clonada, (b) Todas las personas son clonadas, (c) Algunas personas no son clonadas.

Ejercicio 6: relaciones veritativas en el cuadrado de oposicin

2. Si ningn condenado a muerte es feliz es V, qu valores V F i tienen?: (a) todos los condenados a muerte son felices, (b) algunos condenados a muerte son felices. 3. Si algunos hombres son valientes es V, qu valores V F i tienen?: (a) algunos hombres no son valientes, (b) ningn hombre es valiente.

Ejercicio 6 (cont.)
6. Si algunos funcionarios no son corruptos es F, qu valores V F i tienen?: (a) todos los funcionarios son corruptos, (b) algunos funcionarios son corruptos. Si todas las mujeres son miedosas es F, qu valores V F i tienen?: (a) ninguna mujer es miedosa, (b) algunas mujeres no son miedosas.

METODOLOGIA DE LA CIENCIA CONFIRMACIONES

Para probar que todos los A son B, hay que probar que cada miembro de A es B. Para probar que ningn A es B, hay que probar que cada miembro de A no es B. Para probar que algn A es B, basta encontrar un caso de A que sea B. Para probar qe algn A no es B, basta probar que un caso de A no es B.

METODOLOGIA DE LA CIENCIA REFUTACIONES

Para refutar que todos los A son B, basta encontrar un caso de A que no sea B. Para refutar que ningn A es B, basta encontrar un caso de A que sea B.

Para refutar que algunos A son B, hay que probar que ningn A es B. Para refutar que algunos A no son B, hay que probar que todos los A son B.

PRUEBAS Y REFUTACIONES
Para

probar las universales, hay que ir caso por caso. Para probar las particulares, basta un caso. Para refutar las universales, basta un caso. Para refutar las particulares, hay que ir caso por caso.

RESUMIENDO

Es ms fcil probar las particulares. Es ms fcil refutar las universales. Es ms difcil refutar las particulares. Es ms difcil probar las universales.

RELACION CON VARIAS LOGICAS

Aristotlica.

Cuantificacional.
Modal. Dentica. Temporal. Probabilstica. Epistmica.

T,A (X), E , O,P S,V C,P K,B

CUADRADOS ISOMORFICOS
Arist. sAp sEp sIp sOp Cuan tif. (x) (x)~ Ex Ex~ Mod. p ~p p ~p Dent Temp Op O~p Pp P~p Sp S~p Vp V~p Prob. Cp C~p Pp P~p Epist. aKp aK~p aBp aB~p

REGLA DE EQUIVALENCIA DE OPERADORES

Sustityase Niguese Niguese Aplique

el operador por su par.

a la izquierda. a la derecha.

el caso.

doble negacin, cuando sea

EQUIVALENCIAS ISOMORFICAS DE OPERADORES

T= ~A~ A= ~T~ ~A= T~ ~T= A~ (x)= ~E~ E=
~(x)~

= ~~ = ~ ~ ~ = ~ ~= ~

O= ~P~ P= ~O~ ~O= P~ ~P= O~

S= ~V~ V= ~S~ ~S= V~ ~V= S~

C= ~P~ P= ~C~ ~P= C~ ~C= P~

K= ~B~ B= ~K~ ~K= B~ ~B= K~

~(x) =E~ ~E= (x)~

UNIVERSAL NEGATIVA E ISOMORFICOS

T~ ~ O~

, todos no , ninguno, nadie, nada , necesario que no, imposible , obligatorio que no, prohibido

Pero:

K~, saber que no ignorar, pues ignorar es no saber: ~K.

SOBRE EL CUADRADO DEONTICO

LO

QUE NO EST PROHIBIDO EST PERMITIDO

Prohibido = Obligatorio que no = O~

No prohibido = ~O~ = P = permitido!

REDUCCION A UN OPERADOR POR CUADRADO

Sea

O cualquier operador isomrfico. O O~

~O~

~O

DEL CUADRADO AL CUBO DE OPOSICION

CUADRADO COMPLEMENTARIO ~sA~p ~sE~p

~sI~p

~sO~p

EQUIVALENCIAS
~sA~p ~sE~p ~sI~p

= ~sEp = pE~s = pAs = ~sAp = ~pE~s = ~pAs = ~sOp = ~pI~s = ~pOs = ~sIp = pI~s = pOs

~sO~p

EL CUBO DE OPOSICION
~sA~p sAp ~sI~p ~sO~p ~sE~p sEp

sIp

sOp