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.