Академический Документы
Профессиональный Документы
Культура Документы
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.
Todas las ranas son verdes Algunos patos son animales mudos Ningn perro es una persona amable Algunas ventanas son no computadoras porttiles
TODAS
CUANTIFICADOR UNIVERSAL
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.
Para responder a esa pregunta slo basta con ver la forma de la proposicin:
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
PREDICADO
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.
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
ALGUNAS VENTANAS
SUJETO CUANTIFICADOR PARTICULAR
NO
NEGACIN
ORACIN NEGATIVA: SE EST NEGANDO QUE LAS VENTANAS SEAN COMPUTADORAS PORTTILES; SE EST DICIENDO QUE NO TIENEN ESA CARACTERSTICA
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
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
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.
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
P
3. Algn topo no es cucaracha
2. NINGUNA P ES M
3. ALGUNA S NO 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.
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
no es perro de caza
1. S M = 0 2. M P 0
=0
S M
0 0
3. S P 0
1. Algn
topo
es
un animal orejn
ESTRUCTURA 1. ALGUNA S ES M
S
2. Ninguna
M P M
cucaracha
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
=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
PASO 3
=0 0
M M
P S
1. M P = 0
2. M S 0 3. S P 0
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