Quiz: Remember the definition of mal de mer?

symbolic logic

a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.
Also called mathematical logic.
1880-85 Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2015.
Cite This Source
Examples from the web for symbolic logic
  • Expert systems would embody and manipulate knowledge in the form of symbolic logic.
  • Here too, reason is seen as the manipulation of meaningless symbols, as in symbolic logic.
  • Seventh-graders plunge into a math program that combines straight computation with sophisticated problems in symbolic logic.
  • Something that isn't used so much for symbolic logic.
British Dictionary definitions for symbolic logic

symbolic logic

another term for formal logic
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
Cite This Source
symbolic logic in Technology

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.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Encyclopedia Article for symbolic logic

mathematical 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 mathematical logic with a free trial on
Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source

Word of the Day

Difficulty index for symbolic logic

Few English speakers likely know this word

Word Value for symbolic

Scrabble Words With Friends