Syllogisme

Carte Rare · n° 17024

En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions : deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ». Aristote a été le premier à le formaliser dans son Organon. Ces propositions sont généralement exprimées avec uniquement des prédicats unaires et relèvent donc de la logique monadique du premier ordre. Un exemple très connu de syllogisme est : « Tous les hommes sont mortels, or Socrate est un homme ; donc Socrate est mortel » : les deux prémisses (dites « majeure » et « mineure ») sont des propositions données et supposées vraies, le syllogisme permettant d'établir la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont vraies. La science des syllogismes est la syllogistique, à laquelle, entre autres, se sont intéressés les penseurs de la scolastique au Moyen Âge, comme Al-Fârâbî, Avicenne, puis Antoine Arnauld, Gottfried Wilhelm Leibniz, Emmanuel Kant, Georg Wilhelm...

Lire sur Wikipédia