Ferio
![](https://upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Modus_Ferio.svg/220px-Modus_Ferio.svg.png)
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
[modifier | modifier le code]- 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. »[1]
Références
[modifier | modifier le code]- Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.V.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.