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

The Ultimate Dictionary Awaits

Expand your vocabulary and dive deeper into language with Merriam-Webster Unabridged.

1. Expanded definitions
2. Detailed etymologies
3. Advanced search tools
4. All ad-free

Discover what makes Merriam-Webster Unabridged the essential choice for true word lovers.

Start Your Free Trial Now