symbolic logic

n. mathematical logic, modern system of logic that uses abstract symbols to represent quantities and relationships

Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine.
See more at Wikipedia.org...

Mathematical logic is a branch of mathematics, which grew out of symbolic logic. Subfields include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic has contributed to, and been motivated by, the study of foundations of mathematics, but mathematical logic also contains areas of pure mathematics not directly related to foundational questions.
See more at Wikipedia.org...

Noun
1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
(synonym) mathematical logic, formal logic
(hypernym) logic, logical system, system of logic
(hyponym) Boolean logic, Boolean algebra

The discipline in which valid arguments and operations are dealt with using an artificial language designed to avoid the ambiguities and logical inadequacies of natural languages.

<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)