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
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
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012