# symbolic logic

Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.
Related to symbolic logic: propositional logic

## 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.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

## symbolic logic

n
(Logic) another term for formal logic
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

## symbol′ic log′ic

n.
a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules. Also called mathematical logic.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
 Noun 1 symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitylogical system, system of logic, logic - a system of reasoningBoolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computerspropositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themfunctional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)modal logic - a system of logic whose formal properties resemble certain moral and epistemological conceptsfuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
References in periodicals archive ?
Bourbaki, "Foundations of Mathematics for the Working Mathematician," Journal of Symbolic Logic 14, no.
At the beginning of the past century there were three disciplines of logic: Symbolic logic (refers to the immediate reality surrounding objects and their properties, the relationships between the states of affairs), the traditional logic (refers to what are these objects, to their essences) and speculative logic (refers to the processuality of objects).
I am totally unconvinced that Dodson was specifically satirizing the Symbolic Logic of George Boole and Augustus De Morgan, or the Projective Geometry of Poncelet, or the Quarternions of Wm.
Kontos's works on paper are similarly ethereal, their images drifting and intersecting according to some private symbolic logic. In Flare, an airbrushed plume of dark smoke hovers above a sketched-out landscape overlaid with a geometric design, while in Untitled and Foregrounding, loosely brushed ink grids provide graphic structures in and out of which various items pass: girls and sports cars, floor plans and decorative flourishes.
Both groups adopted a general orientation that entailed (a) anchoring basic concepts in observation and measurement, and then (b) extending these basic concepts with the techniques of formal symbolic logic.
In order to unravel this a bit further, we might consider an example not discussed by Burke: does Hamlet delay because he identifies with Claudius (Ernest Jones's argument, perhaps best refined by William Kerrigan in his Hamlet's Perfection), or is the identification demanded by the structure, and the symbolic logic, of the play?
Divided into ten lessons, the book begins at the most basic level with a discussion of symbolic logic and progresses from number theory to the principles of calculus.
In particular he is concerned with Dodgson's work in geometry, algebra, logic (including symbolic logic) and what he calls 'the mathematics of voting' which could today be called psephology.
And the following can be found on www.best-quotes-poems.com: Mathematics is commonly defined as the study of patterns of structure, change, and space; more informally, one might say it is the study of "figures and numbers." In the formalist view, it is the investigation of axiomatically defined abstract structures using symbolic logic and mathematical notation; other views are described in Philosophy of mathematics.
Though in both buildings the idea of the megastructure is differently expressed, the underlying formal and symbolic logic had common denominators.

Site: Follow: Share:
Open / Close