Silogismo
Um silogismo é uma dedução. É uma espécie de argumento lógico no qual uma proposta (a conclusão) é inferida a partir de duas ou mais outras (as premissas). A idéia é uma invenção de Aristóteles.
Na Prior Analytics, Aristóteles define o silogismo como "um discurso no qual, tendo sido supostas certas coisas, algo diferente das coisas supostas resultados da necessidade porque essas coisas são assim". (24b18–20)
Cada proposição deve ter alguma forma do verbo "estar" nele. Um silogismo categórico é como uma pequena máquina construída de três partes: a premissa maior, a premissa menor e a conclusão. Cada uma destas partes é uma proposta e, a partir das duas primeiras, o "valor de verdade" da terceira parte é decidido.
Exemplos
premissa principal: Todos os homens são mortais.
Pequena premissa: Todos os gregos são homens.
Conclusão: Todos os gregos são mortais.
Cada um dos três termos distintos representa uma categoria. No exemplo acima, "homens", "mortais" e "gregos". "Mortal" é o termo maior; "gregos", o termo menor. As premissas também têm um termo em comum, que é conhecido como o termo médio; neste exemplo, "homem". Ambas as premissas são universais, como é a conclusão.
premissa principal: Todos os mortais morrem.
Pequena premissa: Alguns homens são mortais.
Conclusão: Alguns homens morrem.
Aqui, o termo principal é "morrer", o termo menor é "homens" e o termo médio é "mortais". A premissa maior é universal; a premissa menor e a conclusão são particulares. Aristóteles estudou diferentes silogismos e identificou silogismos válidos como silogismos com conclusão verdadeira, se ambas as premissas forem verdadeiras. Os exemplos acima são silogismos válidos.
Um sorita é uma forma de argumento em que uma série de silogismos incompletos está tão organizada que o predicado de cada premissa forma o sujeito do próximo até que o sujeito do primeiro seja unido com o predicado do último na conclusão. Por exemplo, se alguém argumenta que um determinado número de grãos de areia não faz uma pilha e que um grão adicional também não faz, então concluir que nenhuma quantidade adicional de areia fará uma pilha é construir um argumento de sorites.
A lógica hoje
O silogismo foi substituído pela lógica de primeira ordem após o trabalho de Gottlob Frege, publicado em 1879. Esta lógica é adequada para matemática, computadores, lingüística e outros assuntos, pois utiliza números (variáveis quantificadas) ao invés de sentenças.
Perguntas e Respostas
Q: O que é um silogismo?
R: Um silogismo é um tipo de argumento lógico no qual uma conclusão é deduzida de duas ou mais premissas.
P: Quem inventou a ideia de silogismo?
R: Aristóteles inventou a ideia de silogismo.
P: Como Aristóteles define o silogismo?
R: Nos Analíticos anteriores, Aristóteles define silogismo como "um discurso no qual, tendo sido supostas certas coisas, algo diferente das coisas supostas resulta necessariamente porque essas coisas são assim".
P: Quantas premissas são necessárias em um silogismo?
R: Duas ou mais premissas são necessárias em um silogismo.
P: O que deve ser incluído em cada proposição em um silogismo?
R: Cada proposição deve conter alguma forma do verbo "to be".
P: O que é um silogismo categórico?
R: Um silogismo categórico é como uma pequena máquina construída com três partes: a premissa maior, a premissa menor e a conclusão.
P: Como é decidido o "valor de verdade" da terceira parte de um silogismo categórico?
R: O "valor de verdade" da terceira parte de um silogismo categórico é decidido a partir das duas primeiras premissas.
