noun
1. : a system of formal logic mainly concerned with the syllogistic forms of deduction that is based on Aristotle and includes some of the changes and elaborations made by the Stoics and the Scholastics : aristotelian logic — compare immediate inference , opposition , subject-predicate , syllogism , symbolic logic
2. : inductive logic especially as developed by Francis Bacon and J.S.Mill