« Syllogisme » : différence entre les versions
(Page créée avec « Catégorie:scotty [[Catégorie:]] ==Définition== Raisonnement logique mettant en relation au moins trois propositions : deux ou plus d'entre elles, appelées « pré... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 3 : | Ligne 3 : | ||
==Définition== | ==Définition== | ||
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 de valider la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont effectivement vraies. | 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 de valider la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont effectivement vraies. | ||
==Français== | ==Français== | ||
| Ligne 15 : | Ligne 15 : | ||
<small> | <small> | ||
[https://fr.wikipedia.org/wiki/Syllogisme | [https://fr.wikipedia.org/wiki/Syllogisme Source: Wikipedia, Syllogisme.] | ||
Version du 13 avril 2020 à 14:23
[[Catégorie:]]
Définition
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 de valider la validité formelle de la conclusion, qui est nécessairement vraie si les prémisses sont effectivement vraies.
Français
syllogisme loc. nom.
Anglais
Syllogism
Contributeurs: Claire Gorjux, Jacques Barolet, wiki
