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 sera enseignée jusqu'à la fin du .
Pour la suite, voir Wikipédia.org...