ACADEMIA AMP

SILOGISMOS Y DIAGRAMAS DE VENN

S P

ESTRUCTURA DE UNA PROPOSICIN

UNA PROPOSICIN ES UNA ORACIN DESCRIPTIVA, UNA FORMA COMPUESTA DE SUJETO+VERBO+PREDICADO (S+v+P), QUE SUPONE DECIR ALGO SOBRE EL MUNDO Las flores
Sujeto

son

hermosas
Predicado

La proposicin no tiene por qu tener sentido, slo se requiere que resguarde la forma. Al decir sentido, queremos decir que la proposicin puede ser falsa o verdadera, sin que esto afecte la forma de la proposicin. Las flores son camellos Las ranas son canguros- Las marmotas son animales voladores El perro es un ngel. Siempre ser una proposicin aquella oracin que resguarde la forma sealada y pretenda decir algo sobre el mundo, sea verdadero o falso lo que diga.

La cuantificacin de una proposicin

Las proposiciones pueden ser cuantificadas, esto es, incluir un cuantificador. En castellano los cuantificadores son: todo (a,os,as), ningn (o,os,a,as), algn (a,o,as,os). Ejemplos de proposiciones cuantificadas son:

Todas las ranas son verdes Algunos patos son animales mudos Ningn perro es una persona amable Algunas ventanas son no computadoras porttiles

La estructura de las proposiciones cuantificadas

Una proposicin cuantificada tiene una estructura peculiar y puede ser considerada utilizando la misma forma que anteriormente expusimos:

TODAS
CUANTIFICADOR UNIVERSAL

LAS RANAS SON VERDES

SUJETO VERBO PREDICADO

ES UNIVERSAL PORQUE SEALA QUE ES DE TODOS Y CADA UNO DE LOS MIEMBROS DE LA CLASE DE LOS QUE SE HABLA O DICE ALGO Y ES AFIRMATIVO.

ORACIN DESCRIPTIVA AFIRMATIVA, DICE LO QUE LAS RANAS SON.

PROPOSICIN UNIVERSAL AFIRMATIVA

La proposicin universal afirmativa

La proposicin universal afirmativa es la proposicin que tiene el cuantificador TODO y que hace una afirmacin sobre el mundo. Veamos tres ejemplos: 1) Todo bal es un mueble viejo 2) Todas las mazamorras son platillos espesos 3) Todos los puertos son puercos en estampida En lgica, una afirmacin puede ser establecida como una doble negacin: como cuando decimos afirmativamente creo que existe dios. Si lo decimos con doble negacin, entonces no cambia el sentido lgico del enunciado; as, al decir no creo que no existe dios, se est afirmando que creo que existe dios. De igual manera, una proposicin universal afirmativa se puede cambiar por una doble negacin, de modo que no se cambie el sentido de ella. Cul es la forma de negar doblemente la proposicin universal afirmativa?

Para responder a esa pregunta slo basta con ver la forma de la proposicin:

TODO BAL ES UN MUEBLE VIEJO

Aqu, la negacin de TODO sera su contrario. Podra pensarse que el contrario de TODO es NO-TODO o NADA; sin embargo, en castellano no tendra sentido usar el giro No todo bal, que es ambiguo. Es ambiguo porque la expresin NO TODO BAL ES UN MUEBLE VIEJO seala, no tanto la idea de que ningn bal es viejo, como la idea de que alguno no lo es, proposicin esta ltima que no es negacin de la proposicin original. Menos sentido todava puede tener el giro Nada bal. Existe un giro ms habitual en castellano, el cual es Ningn bal. As, la negacin de Todo sera Ningn. Pero ntese que ningn bal es una expresin con sentido completo en s misma, que significa ni uno slo de los bales, de forma que habr que negar algo ms en la proposicin para que se d la doble negacin. Por ello, lo que queda es negar lo que se dice que es, de modo que la frase es un mueble viejo habr que cambiarla por la frase no es un mueble viejo. As tenemos una doble negacin.
Todo bal es un mueble viejo = Ningn bal no es un mueble viejo

AFIRMACIN

AFIRMACIN

NEGACIN

NEGACIN

La frase ningn bal no es un mueble viejo seala que ni uno slo de los bales no es viejo, es decir, que todos lo son, todos son viejos. Se nota, por tanto, la razn de que esa proposicin sea idntica a la proposicin todo bal es un mueble viejo. De manera que

TODO BAL ES UN MUEBLE VIEJO = NINGN BAL NO ES UN MUEBLE VIEJO

TODAS LAS MAZAMORRAS SON PLATILLOS ESPESOS = NINGUNA MAZAMORRA NO ES UN PLATILLO ESPESO TODOS LOS PUERTOS SON PUERCOS EN ESTAMPIDA = NINGN PUERTO NO ES UN PUERCO EN ESTAMPIDA
AL TRABAJAR SILOGISMOS ES NECESARIO TRANSFORMAR LAS PROPOSICIONES UNIVERSALES AFIRMATIVAS EN PROPOSICIONES DE DOBLE NEGACIN

Ningn perro es una persona amable

CUANTIFICADOR UNIVERSAL NEGATIVO SUJETO VERBO

PREDICADO

SEALA QUE LA CARACTERSTICA PREDICADA NO SE DICE DE NI

UNO SOLO DE TODOS LOS

La oracin es afirmativa, pero a cada elemento del conjunto perros se le niega el ser una persona agradable. As, persona agradable es el predicado.

ELEMENTOS DEL CONJUNTO PERROS, DE NINGUNO DE ELLOS.

PROPOSICIN UNIVERSAL NEGATIVA

ALGUNOS PATOS SON ANIMALES MUDOS

CUANTIFICADOR PARTICULAR

SUJETO

VERBO

PREDICADO

SEALA QUE AL MENOS UNO (PUEDE SER MS DE UNO) DE LOS MIEMBROS DEL GRUPO DE PATOS TENDR LA CARCTERSTICA DE SER ANIMAL MUDO

ORACIN AFIRMATIVA, A LA CUAL EL CUANTIFICADOR NO INTRODUCE NINGUNA NEGACIN

PROPOSICIN PARTICULAR AFIRMATIVA

ALGUNAS VENTANAS
SUJETO CUANTIFICADOR PARTICULAR

NO

SON COMPUTADORAS PORTTILES

PREDICADO
VERBO

NEGACIN

ORACIN NEGATIVA: SE EST NEGANDO QUE LAS VENTANAS SEAN COMPUTADORAS PORTTILES; SE EST DICIENDO QUE NO TIENEN ESA CARACTERSTICA

SE ENTIENDE TAL COMO HEMOS EXPLICADO

PROPOSICIN PARTICULAR NEGATIVA

ESTRUCTURA DE UN SILOGISMOS CON PROPOSICIONES CUANTIFICADAS

UN SILOGISMO ES UN RAZONAMIENTO QUE CONSTA DE TRES PROPOSICIONES, DE LAS CUALES DOS SON PREMISAS Y LA TERCERA ES CONCLUSIN. SI LAS PROPOSICIONES ESTN CUANTIFICADAS, EL SILOGISMO SE LLAMA CATEGRICO

SILOGISMO CATEGRICO

1. Nuestros sueos van ms all de nuestra experiencia SILOGISMO NO CATEGRICO 2.Nuestra experiencia es lo que hacemos en la vigilia Por tanto, nuestros sueos van ms all de lo que hacemos en la vigilia

1. UN RAZONAMIENTO ES UN PROCESO MENTAL EN EL CUAL, DE LA MANERA EN QUE DOS O MS PROPOSICIONES SE RELACIONAN, ES POSIBLE EXTRAER OTRA PROPOSICIN CONCLUYENTE QUE EST CONTENIDA EN ESA RELACIN. 2. SI LA CONCLUSIN ES NECESARIA, ES DECIR, NO PUEDE SER OTRA QUE LA QUE ES, ENTONCES EL RAZONAMIENTO ES DEDUCTIVO. 3. EL SILOGISMO ES UN RAZONAMIENTO DEDUCTIVO, EN DONDE SI LA CONCLUSIN ES NECESARIA, SE DICE QUE ES VLIDO; SI LA CONCLUSIN NO ES NECESARIA, ES DECIR, NO EST CONTENIDA EN LA RELACIN ENTRE LAS PRIMERAS PROPOSICIONES, ENTONCES NO ES VLIDO. 4. DETERMINAR SI LA CONCLUSIN ES VLIDA O NO LO ES, ESE ES EL PROBLEMA A TRABAJAR CON LOS SILOGISMOS

ESTRUCTURA DEL SILOGISMO CATEGRICO

TOMEMOS EL SILOGISMO ANTERIOR Y DESCOMPONGMOSLO EN SUS PARTES: TODOS PREMISAS ALGUNOS ANIMALES DE CARGA SON LOS BURROS SON ANIMALES DE CARGA

TORPES

CONCLUSIN

ALGUNOS

BURROS

SON

TORPES

COMO PUEDE OBSERVARSE, EL TRINGULO REPRESENTA AL CUANTIFICADOR, LA ELIPSE AL TRMINO QUE SE REPITE EN LAS PREMISAS, Y EL RECTNGULO Y EL ROMBO REPRESENTAN RESPECTIVAMENTE AL SUJETO Y AL PREDICADO DE LA CONCLUSIN.

TODOS

ANIMALES DE CARGA

TORPES PREDICADO

ALGUNOS

P
TRMINO MEDIO

M
CUANTIFICADORES

BURROS SUJETO

EL TRMINO QUE SE REPITE SE LLAMA MEDIO Y SE DESIGNA CON LA LETRA M, AL SUJETO Y AL PREDICADO SE LES DESIGNA CON LA LETRA S Y P, Y SON EL SUJETO Y EL PREDICADO DE LA CONCLUSIN

DE MANERA QUE AHORA LA ESTRUCTURA DEL SILOGISMO CON EL QUE ESTAMOS TRABAJANDO SE REDUCE A:
1. TODO S ES M 2. ALGN M ES P 3. ALGN S ES P

1. TODOS LOS BURROS SON ANIMALES DE CARGA

2. ALGUNOS ANIMALES DE CARGA SON TORPES 3. ALGUNOS BURROS SON TORPES

CUALQUIER SILOGISMO QUE APAREZCA DEBE SER REDUCIDO DE ESTA MANERA. EL TRMINO QUE SE REPITA EN LAS PREMISAS Y NO APAREZCA EN LA CONCLUSIN SE LLAMAR M, Y EL S Y EL P SERN EL SUJETO Y EL PREDICADO DE LA CONCLUSIN, QUE EN CUANTO TRMINOS APARECEN TAMBIN EN LAS PREMISAS.

VEAMOS DOS EJEMPLOS

1. Todas las plantas rojas son alacranes ponzoosos

M
2. Algunas vboras son

P
plantas rojas

1. TODA M ES P

s
3. Algunas vboras son

M
alacranes ponzoosos

2. ALGUNA S ES M

s
1. Algn topo es

P
un animal orejn

3. ALGUNA S ES P

1. ALGUNA S ES M

2. Ninguna

cucaracha es un animal orejn

P
3. Algn topo no es cucaracha

2. NINGUNA P ES M

3. ALGUNA S NO ES P

FORMALIZACIN DE LA ESTRUCTURA DEL SILOGISMO CATEGRICO

Hasta ahora hemos visto la estructura del silogismo, sin embargo, es necesario formalizar dicha estructura para poder trabajarla luego, esquemticamente, con una tcnica para probar su validez. Por tanto, veamos como se formaliza la estructura.

Tomemos el silogismo anterior:

1. Todas las plantas rojas son alacranes ponzoosos 2. Algunas vboras son plantas rojas 3. Algunas vboras son alacranes ponzoosos

ESTRUCTURA 1. TODA M ES P 2. ALGUNA S ES M 3. ALGUNA S ES P

Ntese que ya estn formalizados los trminos, reducidos a S, M y P. Sin embargo, los cuantificadores no lo estn. Para ello, es necesario considerar las siguientes reglas: 1. Las proposiciones universales afirmativas se cambian a proposiciones de doble negacin. 2. Si un trmino est negado, entonces deber escribirse con su letra correspondiente y una lnea sobre la letra que indicar negacin ( S, P y M)

3. Slo se representarn los cuantificadores ningn (= 0) y algn ( 0) con los smbolos entre parntesis, que se leern igual como el cuantificador y significarn: = 0 Ni un solo , ninguno, cero elementos. Por eso el igual a cero. 0 Al menos un miembro, por lo menos uno, y por eso distinto de cero. FORMALICEMOS PASO A PASO

Universal Afirmativa
1. 2. 3. Todas las plantas rojas son alacranes ponzoosos Algunas vboras son plantas rojas Algunas vboras son alacranes ponzoosos 1. 2. 3.

Doble Negacin
Ninguna planta roja no es alacrn ponzooso Algunas vboras son plantas rojas Algunas vboras son alacranes ponzoosos

Proposiciones
1. 2. 3. Ninguna planta roja no es alacrn ponzooso Algunas vboras son plantas rojas Algunas vboras son alacranes ponzoosos

Estructura
1. NINGUNA M NO ES P 2. ALGUNA S ES M 3. ALGUNA S ES P

Estructura
1. NINGUNA M NO ES P 2. ALGUNA S ES M 3. ALGUNA S ES P

Forma
1. M P = 0 2. S M 0 3. S P 0 Al decir no es P se transforma en P ; ningn otro trmino est negado.

Formalicemos algunos silogismos:

1. Todos los animales feroces son perros de caza 2. Algunos perros de caza no son cabras de monte 3. Algunos animales feroces no son cabras de monte

Pasos a seguir
Primero cambiamos la proposicin Todos los animales feroces son perros de caza por la doble negacin, es decir, Ningn animal feroz no es perro de caza

1. Ningn animal feroz no es perro de caza 2. Algunos perros de caza no son cabras de monte 3. Algunos animales feroces no son cabras de monte

Luego establecemos el smbolo adecuado para cada parte

1. Ningn animal feroz

no es perro de caza

1. S M = 0 2. M P 0

=0

S M

2. Algunos perros de caza no son cabras de monte

0 0

3. Algunos animales feroces no son cabras de monte

3. S P 0

1. Algn

topo

es

un animal orejn

ESTRUCTURA 1. ALGUNA S ES M

S
2. Ninguna

M P M
cucaracha

cucaracha es un animal orejn 2. NINGUNA P ES M

3. Algn topo no es

S
1. Algn topo es

P
un animal orejn

3. ALGUNA S NO ES P

FORMALIZACIN

0
2. Ninguna

S P

M
M
cucaracha

1. SM 0 2. PM = 0 3. SP 0

cucaracha es un animal orejn

=0 0 S

3. Algn topo no es

Diagramas de Venn
El diagrama de Venn es una tcnica para determinar si el silogismo es vlido o no lo es. Para realizar esta tcnica, es necesario formalizar el silogismo primero y apropiarse de una estructura diagramtica que pasamos a resear. Esta estructura no cambiar nunca, ser la nica que se use. As que es importante recordar como se construye.

PASO 1

s
M

Se construyen tres crculos que representarn los tres trminos del silogismo: S, M y P.

PASO 2

S
M

Los tres crculos se hacen interceptar, generando siete campos bien definidos. Cada campo se rotula con su especificacin particular. Cada campo se rotula segn los miembros que pertenecen a ese campo. Esos miembros son las letras que no tienen un guin sobre ellas y tienen mayor tamao. Las letras que tienen un guin sobre ellas significan los miembros que no pertenecen al campo. As, el campo rotulado

S P M SP M
SPM

PM

SPM

S PM S PM

P M se lee: all estn

todos los elementos S que no son ni P ni M. Tal como se constata.

ESTE DIAGRAMA SIEMPRE SE DIBUJAR AS

PASO 3
=0 0

Se establece la estructura formalizada del silogismo, tal como lo hacemos a continuacin:

1. Todos los actuales diputados del congreso son politiqueros 2. Algunos actuales ministros del congreso son bienhechores 3. Por tanto, algunos bienhechores son politiqueros

1. Ningn actual diputado del congreso no es politiquero

M M

P S

1. M P = 0
2. M S 0 3. S P 0

2. Algunos actuales diputados del congreso son bienhechores

3. Por tanto, algunos

bienhechores son politiqueros

ESTA ESTRUCTURA FORMALIZADA SE USA CON EL DIAGRAMA

Se lee as

1. M P = 0 2. M S 0

Se sombrean (= 0) los campos donde a la vez M est afirmado y P negado Se marcan con una X ( 0) los campos no sombreados donde M y S estn afirmados al mismo tiempo. Se revisa que al menos haya un campo marcado con una X ( 0) donde diga que S y P estn afirmados al mismo tiempo. Si es necesario marcar algo, el silogismo es invlido, si no hay necesidad de marcar, el silogismo es vlido. Ntese que el campo sombreado son los sitios donde M est afirmada y P negada, como indica la proposicin formalizada 1. Al mismo tiempo, la X se encuentra donde M y S estn afirmadas al mismo tiempo, como lo indica la proposicin 2. La conclusin demanda que al menos haya un campo marcado con X donde S y P estn afirmadas al mismo tiempo. Lo hay , pues ese es el campo marcado ya por la X. No hay necesidad de agregar ninguna marca de ms, luego el razonamiento es vlido.

3. S P 0