Fesapo
# 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

* 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. »
