En logique aristotélicienne, le syllogisme est un raisonnement logique à deux propositions (également appelées prémisses) conduisant à une conclusion qu'Aristote a été le premier à formaliser. Par exemple, Tous les hommes sont mortels, or Socrate est un homme donc Socrate est mortel est un syllogisme ; les deux prémisses (dites « majeure » et « mineure ») sont des propositions données et supposées vraies, le syllogisme permettant de valider la véracité formelle de la conclusion.