thumb|Diagramme de Venn d'un syllogisme en Bamalip.
Bamalip (également appelé Baralipton) 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 A, une mineure de type A et une conclusion de type I, c'est-à-dire une majeure universelle affirmative, une mineure universelle affirmative et une conclusion particulière affirmative.
Un syllogisme en Bamalip consiste en une proposition de ce type : Tout P est S, or tout F est P, donc quelque S est F.
Les quatre autres syllogisme de la quatrième figure sont Camenes, Dimatis, Fesapo et Fresison.
Exemples de syllogismes en Bamalip
Tout persan est un chat ; Or tout chat est un félidé ; Il y a donc des félidés qui sont des persans.
Tous les coureurs de fond sont des marathoniens ; Ceux qui courent des marathons sont fatigués après leur course ; Il y en a donc des qui ont été fatigués après leur course qui sont des coureurs de fond.
« Tous les miracles de la nature sont ordinaires ; Tout ce qui est ordinaire ne nous frappe point ; Donc il y a des choses qui ne nous frappent point, qui sont des miracles de la natureAntoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VIII.. »
Références
Catégorie:Syllogisme