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.

symbolic logic

n
(Logic) another term for formal logic

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.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validitysymbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
logical system, system of logic, logic - a system of reasoning
Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers
propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
functional 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 concepts
fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
References in periodicals archive ?
Bourbaki, "Foundations of Mathematics for the Working Mathematician," Journal of Symbolic Logic 14, no.
"Ockham's Syllogistic Semantics", Journal of Symbolic Logic, 46, pp.
I have found that a few techniques help high-school students understand symbolic logic in a non-mechanical way.
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.

Full browser ?