in the Old Logic, the first mode of the first figure of syllogisms. A syllogism in barbara is one of which all the propositions are universal affirmatives, the middle term being the subject of the first proposition, and the predicate in the second.

Bar. All wicked men are miserable; Ba. All tyrants are wicked men; Ba. Therefore all tyrants are miserable.