noun formal logic based on syllogistic formulas, especially as developed by Aristotle. nounthe logic of the Late Middle Ages, derived from Aristotelian logic, and concerned esp with the study of syllogism