symbolic logic

Noun

Synonyms: symbolic logic mathematical logic formal logic

WordNet 3.0

Noun (1)

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitySynonyms: symbolic logic mathematical logic formal logic

Free On-line Dictionary of Computing

symbolic logic

<logic> The discipline that treats formal logic by means of a formalised artificial language or symbolic calculus, whose purpose is to avoid the ambiguities and logical inadequacies of natural language.

(1995-12-24)