El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo

la ltima una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos en griego, Proto Analytika, en latn !idioma en el que se reconoci la obra en Europa "ccidental#, Analytica Priora$. Aristteles consideraba la lgica como lgica de relacin de t%rminos. &os t%rminos se unen o separan en los 'uicios. &os 'uicios aristot%licos son considerados ba'o el punto de vista de unin o separacin de dos t%rminos, un su'eto y un predicado. (oy se )ablara de proposiciones. &a diferencia entre 'uicio y proposicin es importante. &a proposicin afirma un )ec)o como un todo, que es o no es, como contenido lgico del conocimiento. El 'uicio, en cambio, atribuye un predicado a un su'eto lgico del conocimiento. Esto tiene su importancia en el concepto mismo del contenido de uno y otra, especialmente en los casos de negacin, como se ve en la problem*tica de la lgica silogstica. +antenemos aqu la denominacin de 'uicio por ser lo m*s acorde con lo tradicional, teniendo en cuenta que este tipo de lgica, como tal, est* en claro desuso, sustituida por la lgica simblica en la que esta lgica es interpretada como lgica de clases. ,er c*lculo lgico. &a relacin entre los t%rminos de un 'uicio, al ser comparado con un tercero que )ace de -t%rmino medio-, )ace posible la aparicin de las posibles conclusiones. As pues, el silogismo consta de dos 'uicios, premisa mayor y premisa menor, en los que se comparan tres t%rminos, de cuya comparacin se obtiene un nuevo 'uicio como conclusin. &a lgica trata de establecer las leyes que garantizan que, de la verdad de los 'uicios comparados premisas$, se pueda obtener con garanta de verdad un nuevo 'uicio verdadero conclusin$. Los juicios aristotlicos: Definicin y elementos del silogismo [editar] El 'uicio aristot%lico considera la relacin entre dos t%rminos. un /u'eto, /, y un predicado, P. &os t%rminos pueden ser tomados en su e0tensin universal. abarca a todos los miembros a los cuales representa el concepto. " en su e0tensin particular. cuando slo se refiere a algunos. &os 'uicios por la e0tensin en la que es tomado el t%rmino su'eto, como criterio de cantidad, pueden ser. UNIVER !LE . / es P "!R#I$UL!RE . Algunos / son P 1ota. &os nombres propios tienen e0tensin universal2 pues el uno, como nico, equivale a todos. &a relacin entre los t%rminos puede ser asimismo. !%IR&!#IV' . 3e unin. / es P. NE(!#IV' . 3e separacin. / es no#P.456 1ota. El predicado de una afirmacin siempre tiene e0tensin particular, y el predicado de una negacin est* tomado en su e0tensin universal. 7uando un concepto, su'eto o predicado, est* tomado en toda su e0tensin se dice que est* distribuido2 cuando no, se dice que est* no distribuido. 486 /egn el criterio de cantidad y cualidad, resulta la siguiente clasificacin de los 'uicios. 7&A/E A E 9 " 3E1"+91A79:1 <niversal Afirmativo <niversal 1egativo Particular afirmativo Particular 1egativo E/;<E+A @odo / es P 1ingn / es P
4A6

E=P>E/9:1#E?E+P&" @odos los )ombres son mortales 1ingn )ombre es mortal Algn )ombre es mortal
4B6

/
4C6

Algn / es P Algn / es no#P

Algn )ombre es no#mortal

&os 'uicios se relacionan unos con otros en lo que constituye un argumento. El silogismo argumenta estableciendo la conclusin como una relacin entre dos t%rminos, establecida como resultado de la comparacin de ambos t%rminos con un tercero tertium comparationis$. Por eso se define.

ilogismo es la argumentacin en la )ue a *artir de un antecedente dos 'uicios como premisas$ )ue com*ara dos trminos /u'eto y Pred

tercero t%rmino +edio$, se infiere o deduce un consecuente un 'uicio como conclusin$ )ue une afirma$ o se*ara niega$ la relacin d Predicado$ entre s+. !N#E$EDEN#E D 3os premisas. "remisa mayor, en la que se encuentra el t%rmino mayor, que es el predicado de la conclusin, que se representa como P. "remisa menor, en la que se encuentra el t%rmino menor, que es el su'eto de la conclusin, que se representa como /. Entre ambas se realiza la comparacin del t%rmino su'eto y el t%rmino predicado con respecto al t%rmino +edio, que se representa como +. $'N E$UEN#E D <na conclusin. En la que se establece la relacin entre el t%rmino /u'eto /, y el t%rmino Predicado P. #,R&IN' . #rmino mayor. Es el predicado de la conclusin. &a premisa en la que se encuentra se llama Premisa mayor. /e representa como P. #rmino menor. Es el su'eto de la conclusin. &a premisa en la que se encuentra se llama Premisa menor. /e representa como /. #rmino medio. ;ue sirve de comparacin tertium comparationis$ y no puede estar en la conclusin. /e representa como +. %iguras y modos silog+sticos [editar] @eniendo en cuenta la disposicin de los t%rminos en las premisas y en la conclusin se pueden dar las siguientes F9E<>A/ /9&"EF/@97A/, que se denominan. 5G F9E<>A +P /+ /P 8G F9E<>A P+ /+ /P AG F9E<>A +P +/ /P BG F9E<>A P+ +/ /P Premisa mayor Premisa menor 7onclusin

&os modos son las distintas combinaciones que se pueden )acer con los 'uicios que entran a formar parte de las premisas y la conclusin. 7omo estos 'uicios tienen cuatro tipos distintos, A,E,9,"$, y en cada caso se toman de tres en tres, #dos premisas y una conclusin# )ay HB combinaciones posibles. Estas HB combinaciones posibles quedan reducidas a 5I modos v*lidos, al aplicar las reglas del silogismo. Reglas del silogismo [editar] Reglas *ara los trminos [editar] El silogismo no puede tener m*s de tres t%rminos.

Esta ley se limita a cumplir la estructura misma del silogismo. &a comparacin de dos t%rminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es. Es lo que algunos llaman silogismo de cuatro patas. ,er quaternio terminorum. 7onsideremos el siguiente silogismo. Todos los hombres nacen libres Ninguna mujer es un hombre Por tanto, ninguna mujer naci libre En la primera premisa estamos )ablando de )ombres como especie del g%nero homo , y en la segunda estamos )ablando de )ombre como varn. Este silogismo es de todo punto inv*lido, aunque siga una forma aparentemente v*lida.

&os t%rminos no deben tener mayor e0tensin en la conclusin que en las premisas.

Por la misma estructura del silogismo2 nicamente podremos obtener conclusiones acerca que lo que )emos comparado en las premisas. El t%rmino medio no puede entrar en la conclusin.

Por la misma estructura del silogismo la funcin del t%rmino medio es servir de intermediario, como t%rmino de la comparacin. El t%rmino medio )a de tomarse en su e0tensin universal por lo menos en una de las premisas.

Para que la comparacin sea tal, es necesario que el t%rmino medio sea comparado en su totalidad. 3e otra forma, podra ser comparado un t%rmino con una parte y el otro con la otra, constituy%ndose en realidad entonces un silogismo de cuatro t%rminos. Todos los andaluces son espaoles. Algunos espaoles son gallegos. Por tanto, algunos gallegos son andaluces &o que evidentemente no es un modo v*lido, puesto que -espaJoles- en la premisa mayor al ser predicado de una afirmativa est* tomado en su e0tensin particular.