thumb|Diagramme de Venn d'un syllogisme en Fresison.
Fresison (également appelé Fresisom 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 I et une conclusion de type O, c'est-à-dire une majeure universelle négative, une mineure particulière affirmative et une conclusion particulière négative.
Un syllogisme en Fresison consiste en une proposition de ce type : P n'est pas S, or quelque F est P, donc quelque F n'est pas S.
Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Dimatis et Fesapo.
Exemples de syllogismes en Fresison
Aucun violoniste n'est punk ; Or quelques punks sont musiciens ; Quelques musiciens ne sont pas violonistes.
Les chiens ne sont pas des oiseaux ; Certains oiseaux servent d'animaux de compagnie ; Certains animaux de compagnie ne sont pas des chiens.
Logique de Port-Royal, troisième partie, chap.VIII.
Références
Catégorie:Syllogisme