thumb|Diagramme de Venn d'un syllogisme en Ferio.
Ferio est un terme de la logique aristotélicienne désignant le mode EIO de la première figure de syllogisme. Il comprend une majeure de type E, une mineure de type I et une conclusion de type O, c'est-à-dire une majeure universelle négative, une mineur particulière affirmative et une conclusion particulière négative.
Un syllogisme en Ferio consiste en une proposition de ce type : Aucun M n'est P, or au moins un S est M, donc au moins un S n'est pas P.
Les trois autres syllogisme de cette première figure sont Barbara, Celarent et Darii.
Exemples de syllogismes en Ferio
Aucun chien n'est un oiseau ; Certains animaux sont des chiens ; Donc certains animaux ne sont pas des oiseaux.
Il n'y a pas de statue qui soit animée ; Au moins une œuvre-d'art est une statue ; Donc certaines œuvres-d'art ne sont pas animées.
Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.V.
Références
Catégorie:Syllogisme