Silogismo

A doutrina do silogismo desenvolvida pelo filsofo grego Aristteles no sculo IV a.C.

constituiu at a era moderna o principal instrumento da lgica.
Silogismo, segundo a definio de Aristteles, uma expresso proposicional na qual,
admitidas certas premissas, delas resultar, apenas por serem o que so, outra proposio
diferente das estabelecidas anteriormente. O termo vem do grego syllogisms, que significa
argumento ou raciocnio. Posteriormente, a terminologia tradicional passou a definir essa
operao lgica como um argumento formado de trs proposies -- duas premissas e uma
concluso -- que apresentam a forma "sujeito-predicado".
Indubitavelmente, o silogismo a forma mais simples de demonstrao ou de argumento
inferencial. sempre precedido de uma pergunta: quer-se saber se um dado predicado
convm ou no, necessariamente, a um sujeito. A resposta, quando est de acordo com as
regras do silogismo, rigorosa e necessariamente certa. O exemplo mais clssico o
seguinte: "Todo animal mortal; todo homem animal; logo, todo homem mortal."
As duas premissas, estruturadas segundo a frmula "sujeito-predicado", so denominadas
maior e menor. Por meio delas, dois termos (maior e menor) so postos em relao com um
terceiro (mdio). No exemplo citado, "mortal" o termo de maior extenso, e portanto o
termo maior. O termo de menor extenso, chamado termo menor, "homem". O termo
mdio, que contm ambos, "animal". Por ser afirmativo, esse tipo de silogismo chamado
categrico e se baseia na lei de generalizao do universal para o particular.
Os termos que compem cada premissa so sempre os mesmos -- maior e mdio na
premissa maior, menor e mdio na premissa menor -- mas sua ordem pode mudar. O termo
mdio pode assumir quatro posies diferentes, segundo as quais se definem as quatro
"figuras" do silogismo. Tais figuras, em funo do carter e das combinaes de suas
proposies (universais ou particulares, afirmativas ou negativas) do lugar aos 23 tipos de
silogismo conhecidos como silogismos modais.
Os chamados silogismos hipotticos so mais complexos que os categricos e os modais,
ainda que derivem das mesmas leis. A denominao se explica devido ocorrncia de
premissas hipotticas, que de acordo com sua forma podem ser condicionais ou disjuntivas.
Uma formulao clssica de silogismo hipottico condicional seria, por exemplo: se P ento
Q; se Q ento no R; logo, se P ento no R.
A teoria silogstica teve grande desenvolvimento durante a Idade Mdia. A distino entre
os termos maior, menor e mdio foi elaborada pelos pensadores escolsticos, que
distinguiam trs espcies de silogismo: regulares, irregulares e compostos. Os regulares se
constituem dos trs termos clssicos. Os irregulares e os compostos se caracterizam por
terem termos implcitos (ocultos), ou por terem mais de trs proposies. Um exemplo de
silogismo irregular, conhecido como entimema, expressa-se na frase "penso, logo existo", na
qual est subentendida a premissa maior, que poderia ser "tudo o que pensa existe".

Os pensadores renascentistas, no entanto, assim como os racionalistas do sculo XVII,

criticaram o silogismo como insuficiente e tautolgico. Para eles, todas as concluses se
encontram implcitas nas premissas e portanto nada acrescentam ao conhecimento. A
moderna lgica formal, contudo, reconheceu o valor histrico do silogismo como
instrumento de formalizao e integrou os antigos esquemas silogsticos lgica
quantificativa e lgica de classes.