7/18/2019 Logica

http://slidepdf.com/reader/full/logica-56d5b1f96874e 1/5

Logica:

Logica silogística

La silogia es una rama de la lógica que investiga los argumentos cuya validez

depende de los términos”todo” ningún algo es o no esSus alcance es restringuido, hay otros tipos de argumentos qu la silogia noconsidera, sin embargo, es útil como primera aproimación

La silogia !ue crea por aristones" #asta el siglo $% !ue logia"

&l lengua'e silogística

 (odos los hombres son mortales

Socrtes es hombre

Socrates es mortal

 (odos h es m

S es h

S es m

)ingunpro!e de lógica es !eo

*+gun abogado es pro!esor de lógica

*lgún abogado no es !eo

eglas del lengua'e silogístico

epresentamos términos generales pro!esor, humano, etc- con letramayyusculas

.ndivuidos especí/cos se usanletras minúsculas ' scrates !dio

*dem0s de las letras mayúsculas y minúsculas, usaremos 1 terminos todo, es ,no es, algún, ningún"

Las preposiciones bien !ormadas de nuestro lengua'e caen ba'o alun de lossiguientes 2 tipos

 (odo a es b3 ningún a es b3 es *3 no es *

7/18/2019 Logica

http://slidepdf.com/reader/full/logica-56d5b1f96874e 2/5

*lgún a es b algún a no es b es y4 dos nombres para un mismo ob'eto5 no es y

* es c, todo a es b, algún es y, no son proposiciones bien !ormadas4 pertenece lengua'e silo y no pertencen a nuestro lengua'e"

6b! que empieza con una palabra continúen dos letras mayúsculas

Si una pb! empieza con una letra, empieza con una letra minúsculas, la segunda letra

La negación no puede asociarse a letras

 (raducción de lenua'e natual al silo

Las letras mayusculas representan termnios generales

Las minúsculas representan términos individuales

Lio messi es !utbolista: l es 7

Lio messi es el me'or !utbolista del mundo l es m

8racones en lengua'e natural con verdo distinto a no es deben ser acomodadas

 (odos los perros ladran 6 es L

 9uan conduce el auto: ' es

 9ercicio:

&sta es una oración: e es 8:

&sta no es la primera oración: e no es o

)ingun positivista lógico cree en dios ningún 6 es :

&l libro sobre tu escritorio es verde: l es ;

 (odos los perros odian a los gatos: todo 6 es <

=ant es el /loso!o mas importante: + es ! 

a!a nacio en cachiyuyo: r es c

achiyuyo es elugar natural de ra!a: c es

7/18/2019 Logica

http://slidepdf.com/reader/full/logica-56d5b1f96874e 3/5

;aldivia es una cuidad: v es

usia es el país mas grande: r es g

)ico es mi único hermano" n es #

)ico vive en providencia: n es 6

La idea del bien es buena: i es >

=ata es bella: + es >

 (odos los sanmiguelinos son bienos mozos

?iagramas de ;enn

@n silogismo es un argumento !ormado por pb! que pertenece al lengua'e

silogístico

&s un silogismo, cada letra aparece dos veces, y las letras !orman una cadena:cada pb! tiene un aletra en común con la suiente, si es que hay unaA y laprimera premisa tiene una letra en común con la conclusión

 (odo h es m

6ara determinar la validez o invaledez de un silogismo podemos ussaardia!ragma de ven

&ste método !unciona prra silogismos traicionales, !ormados por dos premisas yuna conclusión del tipo

 (odo * es > ninguna * es >

&n todo silogismo de este tipo encontraremos la letra mayúsculas"

?ibu'amos tres ciculos superpuestos, cada uno representando to!as las cosasque pertenecBn a acada una de las tres categorías:

&l 0rea central contiene todas las cosas que pertenecen a los B con'untos

&l eterior pertece a solo una cetegoria

ada una de esta 0reas puede estar vacia o poblada para indicar que una zonaesta vacia la achurammos" 6ara indicar que esta poblada marcamos alguna

7/18/2019 Logica

http://slidepdf.com/reader/full/logica-56d5b1f96874e 4/5

Si una zona no eta achuradad

$C ?& D*E8

)ingun * es >: lo q pertenece a ambas letras se achurra

*lgún * es >: marcamos con un z los elementos que pertenecen a amboscon'untos"

*lgún * no es >: se marca con una la parte de * que no pertenece a >

•  (odo o ningún dice que algo tenemos que achurar"

• F es muestra de algo determinado

6odemos aplicar los diagramas de ven para determinar un silogismo es valido oinvalido

- ?ibu'amos los B circulos superpuestos- ?ibu'amos la premisa que contiene todo ninguno achurando- ?ibu'amos las premisas que contiene algún marcando una F en una 0rea

sin achurar- Si al seguir estos pasos estoy obligado a dibu+ar la conclusión, el

argumento es valido si no es asi es invaldod

&n ciertos csos tendremos la opción de marcar una en dos zonas sin achurar"Si es posible marcar la en un 0rea que no dibu'a la conclusión" &l argumento

es invalido"

)otese como !unciona el método" ?ecir que si al dibu'ar las premisas estoyobligadoa dibu'ar la conclusión es equivalente a decir que si las presimas sonverdaderas entonces la conclusión es necesarimnete verdader,

*rgumentos incvlidos

)ingún # es ?

)ingún 7 es ?

)ingún # es 7

7/18/2019 Logica

http://slidepdf.com/reader/full/logica-56d5b1f96874e 5/5

)ingun ? es 7

*lgún # n es ?

*lgún # es 7

&9&..8S

)ingún casado * es !eliz >

 (odo soltero es !eliz>

)ingún soltero es casado*

)ingún ambientalista* como carnes ro'as

*lgún ambientalista ni mane'a autos

*lgún conductor como carnes ro'as

 (odos los animales se van l cielo

*lgún gato no se va al cielo

*lgún gato no es animal

 (odos los holandeses son amables

*lgún cartero es amable

*lgún acrtero es holandés