among logicians, 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 attribute in the second.

BAR. Every wicked man is miserable; BA. All tyrants are wicked men; RA. Therefore all tyrants are miserable.