formal logic
noun
: 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
Love words? Need even more definitions?
Merriam-Webster unabridged
Share