Formal Logic (Noun)

Meaning

Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

Classification

Nouns denoting cognitive processes and contents.

Synonyms

• Symbolic Logic
• Mathematical Logic

Hypernyms

• Logic
• Logical System

Hyponyms

• Propositional Logic
• Modal Logic
• Boolean Algebra
• Predicate Calculus
• Functional Calculus
• Boolean Logic
• Propositional Calculus
• Fuzzy Logic