Silogismo é um tipo específico de argumento lógico em que usa-se o raciocínio dedutivo para obter-se uma conclusão válida a partir de premissas verdadeiras.
Na sua forma mais antiga (definida por Aristóteles), o silogismo ocorre quando duas premissas implicam numa conclusão válida. Por exemplo, sabendo que todos os homens são mortais (premissa maior) e que Sócrates é um homem (premissa menor), podemos concluir corretamente que Sócrates é mortal. Geralmente os argumentos silogísticos são representados em um formato de três linhas:
Todos os homens são mortais.
Sócrates é um homem.
Portanto, Sócrates é mortal.
John Stuart Mill, “A System of Logic”, 1843.
O silogismo teve grande importância na história do raciocínio dedutivo, onde conclusões são obtidas a partir de premissas já existentes, em contraste com o raciocínio indutivo onde conclusões são obtidas por repetidas observações. No entanto, no contexto acadêmico, o silogismo atualmente foi substituído pela Lógica de Primeira Ordem, e permanece sendo utilizado apenas em alguns casos de introdução à lógica.
Estrutura Básica
O silogismo categórico consiste em três partes:
- Premissa Maior
- Premissa Menor
- Conclusão
Cada uma dessas partes é uma proposição categórica que contém dois termos categóricos. Sendo que cada uma das premissas podem ter a seguinte forma:
- Proposição Universal: “Todo A é B”, “Nenhum A é B”
- Proposição Particular: “Algum A é B”, “Algum A não é B”
Na lógica moderna também é possível algumas outras variações (ex: disjunção e condicional).
Cada premissa tem um termo em comum com a conclusão:
- na premissa maior é o termo maior (ie: o predicado da conclusão)
- na premissa menor é o termo menor (ie: o sujeito da conclusão)
As premissas também têm um termo em comum entre si, que é o termo médio.
Exemplo:
Premissa Maior: Todos os homens são mortais.
Premissa Menor: Todos os Gregos são humanos.
Conclusão: Todos os Gregos são mortais.
Nesse exemplo temos que:
- Termo Maior: mortal
- Termo Menor: Gregos
- Termo Médio: humanos
Ambas as premissas são universais, assim como a conclusão.