(n.) That branch of logic which teaches the rules and modes of reasoning; the application of logical principles to discursive reasoning; the science or art of discriminating truth from error; logical discussion.

Aristotelian logic Boolean algebra Ramistic logic algebra of classes algebra of relations dialectic doctrine of inference doctrine of terms epistemological logic experimental logic formal logic logic logics logistic material logic mathematical logic propositional calculus psychological logic psychologism set theory