All formal logic synonyms
for·mal log·ic
F f noun formal logic
- traditional logic — formal logic based on syllogistic formulas, especially as developed by Aristotle.
- syllogism — Logic. an argument the conclusion of which is supported by two premises, of which one (major premise) contains the term (major term) that is the predicate of the conclusion, and the other (minor premise) contains the term (minor term) that is the subject of the conclusion; common to both premises is a term (middle term) that is excluded from the conclusion. A typical form is “All A is C; all B is A; therefore all B is C.”.
- aristotelianism — a philosophical tradition based on the wide-ranging belief system of Aristotle