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.
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[modifier | modifier le code]
- 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[modifier | modifier le code]
- Logique de Port-Royal, troisième partie, chap.VIII.