Syllogisme
Apparence
Logique > logique aristotélicienne
Le syllogisme est un raisonnement logique à deux prémisses conduisant à une conclusion qu'Aristote a été le premier à formaliser. Les deux prémisses sont des propositions données supposées vraies permettent de vérifier la véracité formelle de la conclusion.
Trois termes sont utilisés, le majeur, le mineur et le moyen. Le majeur et le mineur ne doivent apparaître qu'une fois chacun dans les prémisses, le moyen terme est présent dans chaque prémisse tandis que la conclusion met en rapport le majeur et le mineur, de sorte que le syllogisme est un « rapport de rapports» (expression de Renouvier, Traité).