symbolic logic

noun

a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.

Also called mathematical logic.

Origin:
1880–85

Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2013.
Cite This Source

Link To symbolic logic

Collins

World English Dictionary

symbolic logic

—n
	another term for formal logic

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source

Relevant Questions

What Is Logical Symbols?

Where Is Symbolic Logic ...

What Is Logical Negation...

What Is Logical Symbols?

What Is Logical Negation...

Where Is Symbolic Logic ...

00:10

Symbolic logic is always a great word to know.

So is doohickey. Does it mean:

a gadget; dingus; thingumbob.

an extraordinary or unusual thing, person, or event; an exceptional example or instance.

LEARN MORE UNUSUAL WORDS WITH WORD DYNAMO...

FOLDOC

Computing Dictionary

symbolic logic definition

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Encyclopedia Britannica

Encyclopedia

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.

Encyclopedia Britannica, 2008. Encyclopedia Britannica Online.
Cite This Source

Example sentences

Seventh-graders plunge into a math program that combines straight computation with sophisticated problems in symbolic logic.

Here too, reason is seen as the manipulation of meaningless symbols, as in symbolic logic.

Something that isn't used so much for symbolic logic.

Expert systems would embody and manipulate knowledge in the form of symbolic logic.

Remove ads like these. Upgrade now!

Matching Quote

"Technology, like art, is a soaring exercise of the human imagination. Art is the aesthetic ordering of experience to express meanings in symbolic terms, and the reordering of nature—the qualities of space and time—in new perceptual and material form. Art is an end in itself; its values are intrinsic. Technology is the instrumental ordering of human experience within a logic of efficient means, and the direction of nature to use its powers for material gain. But art and technology are not separate realms walled off from each other. Art employs techne, but for its own ends. Techne, too, is a form of art that bridges culture and social structure, and in the process reshapes both."

-Daniel Bell