among logicians, the first mode of the first figure of syllogisms. A syllogism in barbara is one whereof all the propositions are universal and affirmative; the middle term being the subject of the first proposition, and attribute in the second. For example:

- **Bar.** Every wicked man is miserable; - **Ba.** All tyrants are wicked men; - **Ra.** Therefore all tyrants are miserable.