formal logic
nounDefinition of formal logic
: a system of logic (as Aristotelian logic or symbolic logic) that abstracts the forms of thought from its content to establish abstract criteria of consistency
—contrasted with material logic