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.

« Ce qui est suivi d'un juste repentir n'est jamais à souhaiter ;

Il y a des plaisirs qui sont suivis d'un juste repentir ;

Donc il y a des plaisirs qui ne sont point à souhaiter. »

Références

Portail de la logique Portail de la philosophie