Logica:

Logica silogstica
La silogia es una rama de la lgica que investiga los argumentos cuya validez
depende de los trminostodo ningn algo es o no es
Sus alcance es restringuido, hay otros tipos de argumentos qu la silogia no
considera, sin embargo, es til como primera aproximacin
La silogia fue crea por aristones. Hasta el siglo 19 fue logia.

El lenguaje silogstica
Todos los hombres son mortales
Socrtes es hombre
Socrates es mortal

Todos h es m
S es h
S es m

Ningunprofe de lgica es feo

Akgun abogado es profesor de lgica
Algn abogado no es feo

Reglas del lenguaje silogstico

Representamos trminos generales profesor, humano, etc- con letra
mayyusculas
Indivuidos especficos se usanletras minsculas xj scrates fdio
Adems de las letras maysculas y minsculas, usaremos 5 terminos todo, es ,
no es, algn, ningn.

Las preposiciones bien formadas de nuestro lenguaje caen bajo alun de los
siguientes 8 tipos
Todo a es b/ ningn a es b/ x es A/ xno es A

Algn a es b
no es y

algn a no es b

x es y( dos nombres para un mismo objeto) x

A es c, todo a es b, algn x es y, no son proposiciones bien formadas

( pertenece lenguaje silo y no pertencen a nuestro lenguaje.

Pbf que empieza con una palabra continen dos letras maysculas
Si una pbf empieza con una letra, empieza con una letra minsculas, la se
gunda letra
La negacin no puede asociarse a letras

Traduccin de lenuaje natual al silo

Las letras mayusculas representan termnios generales
Las minsculas representan trminos individuales

Lio messi es futbolista: l es F

Lio messi es el mejor futbolista del mundo l es m

Oracones en lenguaje natural con verdo distinto a no es deben ser acomodadas

Todos los perros ladran P es L

Juan conduce el auto: j es C

Jercicio:
Esta es una oracin: e es O:
Esta no es la primera oracin: e no es o
Ningun positivista lgico cree en dios ningn P es C:
El libro sobre tu escritorio es verde: l es V
Todos los perros odian a los gatos: todo P es G
Kant es el filosofo mas importante: k es f
Rafa nacio en cachiyuyo: r es c
Cachiyuyo es elugar natural de rafa: c es

Valdivia es una cuidad: v es C

Rusia es el pas mas grande: r es g
Nico es mi nico hermano. n es H
Nico vive en providencia: n es P
La idea del bien es buena: i es B
Kata es bella: k es B
Todos los sanmiguelinos son bienos mozos

Diagramas de Venn
Un silogismo es un argumento formado por pbf que pertenece al lenguaje
silogstico
Es un silogismo, cada letra aparece dos veces, y las letras forman una cadena:
cada pbf tiene un aletra en comn con la suiente, si es que hay una; y la
primera premisa tiene una letra en comn con la conclusin
Todo h es m

Para determinar la validez o invaledez de un silogismo podemos ussaar

diafragma de ven
Este mtodo funciona prra silogismos traicionales, formados por dos premisas y
una conclusin del tipo
Todo A es B

ninguna A es B

En todo silogismo de este tipo encontraremos la letra maysculas.

Dibujamos tres ciculos superpuestos, cada uno representando tofas las cosas
que pertenec3n a acada una de las tres categoras:

El rea central contiene todas las cosas que pertenecen a los 3 conjuntos
El exterior pertece a solo una cetegoria

Cada una de esta reas puede estar vacia o poblada para indicar que una zona
esta vacia la achurammos. Para indicar que esta poblada marcamos alguna x

Si una zona no eta achuradad

12 DE MARZO
Ningun A es B: lo q pertenece a ambas letras se achurra
Algn A es B: marcamos con unx z los elementos que pertenecen a ambos
conjuntos.
Algn A no es B: se marca con una x la parte de A que no pertenece a B

Todo o ningn dice que algo tenemos que achurar.

X es muestra de algo determinado

Podemos aplicar los diagramas de ven para determinar un silogismo es valido o

invalido
-

Dibujamos los 3 circulos superpuestos

Dibujamos la premisa que contiene todo ninguno achurando
Dibujamos las premisas que contiene algn marcando una X en una rea
sin achurar
Si al seguir estos pasos estoy obligado a dibukar la conclusin, el
argumento es valido si no es asi es invaldod

En ciertos csos tendremos la opcin de marcar una x en dos zonas sin achurar.
Si es posible marcar la x en un rea que no dibuja la conclusin. El argumento
es invalido.

Notese como funciona el mtodo. Decir que si al dibujar las premisas estoy
obligadoa dibujar la conclusin es equivalente a decir que si las presimas son
verdaderas entonces la conclusin es necesarimnete verdader,

Argumentos incvlidos
Ningn H es D
Ningn F es D
Ningn H es F

Ningun D es F
Algn H n es D
Algn H es F

EJERCICIOS

Ningn casado A es feliz B

Todo soltero C es felizB
Ningn solteroC es casadoA

Ningn ambientalistaA como carnes rojas

Algn ambientalista ni maneja autos
Algn conductor como carnes rojas

Todos los animales se van l cielo

Algn gato no se va al cielo
Algn gato no es animal

Todos los holandeses son amables

Algn cartero es amable
Algn acrtero es holands