| a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. |
| symbolic logic n. A treatment of formal logic in which a system of symbols is used to represent quantities and relationships. Also called mathematical logic. |
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)
symbolic logic
the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content of these elements the structures or logical forms that they embody. The logician customarily uses a symbolic notation to express such structures clearly and unambiguously and to enable manipulations and tests of validity to be more easily applied. Although the following discussion freely employs the technical notation of modern symbolic logic, its symbols are introduced gradually and with accompanying explanations so that the serious and attentive general reader should be able to follow the development of ideas
Learn more about symbolic logic with a free trial on Britannica.com.
