Fesapo

Diagramme de Venn d'un syllogisme en 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 : P n'est pas S, or tout F est P, donc quelque F n'est pas S.

Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Dimatis et Fresison.

Exemples de syllogismes en Fesapo

1. Aucun malfrat n'est vertueux ;
2. Or tout malfrat est une personne humaine ;
3. Il y a donc des personnes qui ne sont pas vertueuses.

1. Aucun repas n'est gratuit ;
2. Tout ce qui est gratuit est désirable ;
3. Certaines choses désirables ne sont pas des repas.

1. « Nulle vertu n'est une qualité naturelle ;
2. Toute qualité naturelle a Dieu pour premier auteur ;
3. Donc il y a des qualités qui ont Dieu pour auteur, qui ne sont pas des vertus. »