Introduccin: Para comprender los silogismos.

A continuacin abarcaremos el concepto de silogismo y sus caractersticas principales, con el fin de introducirlos al tema y que estn preparados para una posterior profundizacin en las ctedras de la asignatura, de Lgica y Epistemologa. Un silogismo es un discurso en el que sentadas ciertas cosas es necesario que otra resulta de, y a consecuencias, de ella. Guillermo Shyreswood Un silogismo es un discurso, en el cual, puestas ciertas verdades, de ellas resulta necesariamente otra verdad diversa, por el mero hecho de estar puestas aquellas. Con lo cual se quiere decir que no precisa recurrir a ninguna otra nocin para que se siga necesariamente la nueva verdad. Aristteles Dos son los mayores logros de Aristteles como estudioso de la Lgica: su teora del silogismo, desarrollada en los Analticos Primeros, y su teora de la demostracin cientfica en los Analticos Posteriores. Todo silogismo est formado por tres partes (premisa mayor, premisa menor y conclusin); y por tres conceptos distintos, debiendo tener un trmino medio comn a los otros dos conceptos (esto es, un concepto que est contenido en otro y que al mismo tiempo comprenda otro concepto). Los silogismos se dividen, al menos para Aristteles, en tres clases o figuras, segn la posicin del trmino medio (si es sujeto o predicado): 1 FIGURA: Si el trmino medio es sujeto en la premisa mayor y predicado en la menor, la conclusin se ajusta en su cualidad conforme a la premisa mayor y en cantidad conforme a la menor. 2 FIGURA: Dos de los conceptos estn subordinados al tercero o lo tienen como caracterstica comn. As, el trmino medio es predicado en ambas premisas. Si ambas premisas son afirmativas o negativas, entonces no puede sacarse ninguna conclusin vlida; por el contrario, pueden sacarse silogismos indeterminados en esta figura si una premisa es afirmativa y la otra negativa. 3 FIGURA: El trmino medio es el sujeto en ambas premisas. (Ejemplo: Todo cuadrado es rectngulo, as que todo cuadrado es un paralelogramo, luego los rectngulos son paralelogramos.) En esta figura pueden nicamente sacarse cuestiones de contenido general. Llegados a este punto, aparece la polmica. Existe una cuarta figura, que estrictamente hablando no es aristotlica. Fue aadida por Teofrasto, discpulo del. 4 FIGURA: El trmino medio es predicado en la primera premisa y sujeto en la segunda.

Aristteles llamaba perfectos a los modos de la primera figura, por entender que su orden era ms natural, que en las otras, lo que haca ms

intuitivo el paso a la conclusin. Cualquier modo imperfecto puede reducirse a otro perfecto con una conclusin equivalente. Aristteles tambin establece una distincin entre el trmino o premisa mayor y el trmino o premisa menor en referencias a sus extensiones respectivas y a las posiciones que ocupan con relacin al trmino medio en cada una de las figuras. Pasando a los modos, cada trmino del silogismo puede tener una de estas cuatro estructuras: A Universal afirmativo. E Universal negativo. I - Particular afirmativo. O - Particular negativo. En cuanto al predicado, si la proposicin es afirmativa, es particular, y si la proposicin es negativa es universal. Adems en la Lgica antigua, sin embargo, no slo se distinguan los cuatro tipos de proposiciones A, E, I, O. Se distingua la toto-total (todo S es todo P); la toto-parcial (todo S es algn P); parti-total (algn S es todo P) y parti-parcial (algn S es algn P).

Leyes del silogismo (correccin lgica) 1. Los trminos del silogismo son tres: mayor, medio y menor. Son sus elementos materiales. 2. Los trminos no deben ser ms extensos en la conclusin que en las premisas. Si los extremos son particulares en las premisas, deben ser particulares en la conclusin; en las premisas se da la relacin lgica de unos trminos a otros. 3. La conclusin no debe incluir al trmino medio. 4. Una vez o ambas el trmino medio debe estar tomado en toda su extensin. En las premisas, o por lo menos en una de ellas, el trmino medio debe ser universal. 5. Si ambas premisas son negativas no se sigue conclusin alguna. 6. No se sigue conclusin valida de dos premisas particulares. Esta ley la reducimos a tres casos: a) Que ambas premisas sean afirmativas b) Que ambas premisas sean negativas. c) Que de las dos premisas una sea afirmativa y otra negativa, siendo indiferente que la afirmacin o la negacin afecten a la mayor o a la menor. 7. De dos premisas afirmativas no se puede obtener una conclusin negativa. 8. La conclusin siempre sigue la peor parte.

Representacin Diagramtica: Euler y Venn

Leibniz bosquej representaciones de los silogismos en forma de diagrama. Sin embargo, tales ilustraciones geomtricas acabaran asocindose al nombre de Euler. Las primeras ilustraciones de la mano de Euler se hallan en las Lettres une princesse dAllemagne (1768). Aquellas de las cartas que se dedican a la Lgica no aspiran a la elaboracin de ningn clculo, pero contribuyeron a popularizar el recurso de Leibniz a analogas geomtricas en vista a la ilustracin de relaciones lgicas. Euler o no, efecto sobre otros pensadores, que pusieron atencin sobre la interpretacin extensional de los enunciados generales. Las representaciones de Euler fueron ampliamente desarrolladas por matemticos posteriores. La novedad ms interesante la introdujo Venn, seguidor de Boole, en 1880. En sus diagramas, Venn parte de representar todas las posibles combinaciones por medio de reas diferentes para pasar luego a indicar, dentro de stas ltimas, cules de esas combinaciones han de ser vacas. Los diagramas de Venn pueden considerarse como ilustraciones de la teora de la extensin mediante la que Boole justificaba sus diversos procedimientos de clculo. A modo de ejemplo, veamos los diagramas de dos modos de silogismo:

FERISON

DARAPTI

Bueno compaeros, les dejo unos ejercicios resueltos y otros que ustedes pueden resolver para que comiencen a practicar. xito!

Ejercicios 1. Todos los divertidos son altos Algunos soadores son divertidos ____________________________ Por lo tanto, algunos soadores son altos. Todos los M son P

Algunos S son M _______________ Algunos S son P 2. Ningn alto es divertido Algunos soadores son divertidos _____________________________ Por lo tanto, algunos soadores no son altos. Ningn P es M Algunos S son M ______________ Algunos S no son P

3. Algunos divertidos son altos Todos los soadores son divertidos _______________________________ Por lo tanto, todos los soadores son altos 4. Todos los altos son divertidos Algunos divertidos son soadores _____________________________ Por lo tanto, algunos soadores son altos