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 les Grecs sont des hommes, donc les Grecs sont mortels 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. La science des syllogismes est la syllogistique, à laquelle, entre autres, se sont intéressés les penseurs de la
scolastique médiévale, mais aussi
Antoine Arnauld,
Gottfried Leibniz et
Emmanuel Kant. Elle est l'ancêtre de la
logique mathématique moderne et a été enseignée jusqu'à la fin du .
Pour la suite, voir Wikipédia.org…