O Silogismo

A realização mais famosa de Aristóteles como lógico é sua teoria da inferência, tradicionalmente chamada de silogismo. Esta teoria é de fato a teoria das inferências de um tipo muito específico: inferência com duas premissas, sendo cada uma delas uma sentença categórica, tendo exatamente um termo em comum, e tendo como conclusão sentença categórica, dos quais os termos são aqueles dois termos não compartilhados pelas premissas. Aristóteles chama de termo compartilhado pelas premissas o termo médio (meson) e cada uma dos outros termos das premissas de extremos (akron). O termo médio precisa ser ou sujeito ou predicado de cada premissa, isso pode ocorrer de três formas: o termo médio pode ser sujeito de uma premissa e predicado de outra, o predicado das duas premissas ou o sujeito das duas premissas. Aristotéles refere-se a esse arranjo de termos como figuras (schêmata).

Aritóteles chama o termo que é predicado da conclusão de termo maior e o termo que é objeto da conclusão de termo menor. A premissa que contém o termo maior é chamada de premissa maior e a premissa que contém o termo menor é chamada de premissa menor.