symbolic logician

[Laresvog 0]

a person skilled at symbolic logic

[Laverneenack]

A symbolic logician is a philosopher, mathematician, or professional in a similar field, who specializes in the study of symbolic logic. Symbolic logic, also known as formal logic or mathematical logic, is a system of reasoning that utilizes symbols to represent logical propositions and operations among them. Symbolic logicians use these symbols to simplify and clarify complex logical expressions, solve logical problems, and develop new theories and concepts in logic.