Ba·ro·ko n. Logic A form or mode of syllogism of which the first proposition is a universal affirmative, and the other two are particular negatives. ◄ ►