is a specific kind of: system, system of rules.

is a broader term that covers: Aristotelian logic | formal logic, mathematical logic, symbolic logic.

domain member category: extrapolate | induce | deduce, deduct, derive, infer | contradict, negate | elicit.

derivation: logician, logistician.