title: Fesapo
text: # 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. »
  