Fesapo
Fesapo (également appelé Fespamo dans la Logique de Port-Royal) est un terme de la logique aristotélicienne désignant un des cinq syllogismes de la quatrième figure des vingt-quatre modes. Il comprend une majeure de type E, une mineure de type A et une conclusion de type O, c'est-à-dire une majeure universelle négative, une mineure universelle affirmative et une conclusion particulière négative.
Diagramme de Venn d'un syllogisme en Fesapo.
Un syllogisme en Fesapo consiste en une proposition de ce type : aucun P n'est M, or tout M est S, donc quelque S n'est pas P.
Il est nécessaire que M soit non vide.
Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Dimatis et Fresison.
Exemples de syllogismes en Fesapo
- Aucun repas n'est gratuit ;
- Tout ce qui est gratuit est désirable ;
- Certaines choses désirables ne sont pas des repas.
- « Nulle vertu n'est une qualité naturelle ;
- Toute qualité naturelle a Dieu pour premier auteur ;
- Donc il y a des qualités qui ont Dieu pour auteur, qui ne sont pas des vertus. »[1]
Références
- Logique de Port-Royal, troisième partie, chap.VIII.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.