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.