Modos e figuras do silogismo

Figuras e Modos do Silogismo Categórico

Um silogismo categórico é uma forma de inferência dedutiva que consta de três proposições categóricas e de três termos.
As duas primeiras proposições, premissas, implicam logicamente a terceira, conclusão; Cada premissa tem um termo em comum com a conclusão, e um termo em comum com a outra premissa.
As figuras e modos são critérios de classificação dos silogismos que nos permitem determinar a sua forma.
Como se pode observar no esquema, existem quatro figuras do silogismo categórico. Estas quatro figuras, apresentam diferentes posições para o termo médio nas premissas, e é isso mesmo que as distingue uma das outras.

Figuras Descrição Exemplo Esquema
1ºFigura O termo médio é sujeito na premissa maior e predicado na menor. Todos os animais são seres vivos.
Todos os cavalos são animais.
Todos os cavalos são seres vivos. M-P
S-M
S-P
2ºFifura O termo médio é predicado em ambas as premissas. Todos os humanos são mortais.
Zeus não é mortal.
Logo, Zeus não é humano. S-M
S-M
S-P
3ºFigura O termo médio é sujeito em ambas as premissas. Todas as estrelas têm luz própria.
Todas as estrelas são astros.
Logo, alguns astros têm luz própria. M-P
M-P
S-P
4ºFigura O termo médio é predicado na premissa maior e sujeito na menor. Os filósofos são críticos.
Nenhum crítico é dogmático.
Logo, nenhum dogmático é filósofo. S-M
M-P
S-P

As proposições (aquilo que se afirma, declara ou propõe, constituídas por premissas e uma conclusão) categóricas são classificadas na sua qualidade (depende da cópula) e quantidade (corresponde á extensão do sujeito), dando origem a quatro formas (tipos) categóricos.
Podemos dizer então, que uma proposição pode ser do tipo A-universal afirmativa, E-universal negativa, I-particular afirmativa e O-particular negativa.

Para descobrirmos qual o modo do silogismo, precisamos apenas de identificar o tipo (A,E,I e O) das proposições por que é constituído. Como, por exemplo:
Todos os mamíferos