English noun: symbolic logic | |||
1. | symbolic logic (cognition) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | ||
Synonyms | formal logic, mathematical logic | ||
Broader (hypernym) | logic, logical system, system of logic | ||
Narrower (hyponym) | Boolean algebra, Boolean logic, functional calculus, fuzzy logic, modal logic, predicate calculus, propositional calculus, propositional logic | ||