syllogisme

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...