
Definition of Symbolic logic
1. Noun. Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.
Generic synonyms: Logic, Logical System, System Of Logic
Specialized synonyms: Boolean Algebra, Boolean Logic, Propositional Calculus, Propositional Logic, Functional Calculus, Predicate Calculus, Modal Logic, Fuzzy Logic
Definition of Symbolic logic
1. Noun. (logic) Synonym for mathematical logic (''obsolescent'') ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Symbolic Logic
Literary usage of Symbolic logic
Below you will find example usage of this term as found in modern and/or classical literature:
1. The Encyclopedia Americana: A Library of Universal Knowledge (1919)
"symbolic logic, or Mathematical Logic, or the Calculus of Logic, — called also the
... symbolic logic is then that treatment of Formal Logic which employs, ..."
2. Problems of Science by Federigo Enriques (1914)
"In fact symbolic logic, built up as a deductive theory on the model of arithmetic
... symbolic logic AND PSYCHOLOGICAL LOGIC. The second way which serves to ..."
3. Problems of Science by Federigo Enriques (1914)
"In fact symbolic logic, built up as a deductive theory on the model of arithmetic
... symbolic logic AND PSYCHOLOGICAL LOGIC. The second way which serves to ..."
4. The American Journal of Psychology by Granville Stanley Hall, Edward Bradford Titchener (1889)
"ON SOME CHARACTERISTICS OF symbolic logic. CHRISTINE LADD FRANKLIN. It is now
thirtyfive years since the publication of Boole's Laws of Thought. ..."
5. A Treatise on Universal Algebra: With Applications by Alfred North Whitehead (1898)
"IDENTIFICATION WITH THE ALGEBRA OF symbolic logic. (1) It now remains to identify
the addition and multiplication of propositions, as here defined, ..."
6. The Princeton Review by James Manning Sherwood, Jonas M. Libbey, John Forsyth, Charles Hodge, Lyman Hotchkiss Atwater, Henry Boynton Smith (1880)
"symbolic logic. FEW persons can have read the " Laws of Thought" of George Boole
for the first time without a feeling of bewildered admiration. ..."
7. Theory of Thought and Knowledge by Borden Parker Bowne (1897)
"A final step in this mechanical formalism is the equa tional and symbolic logic.
In this the attempt is made to express judgments in ..."
8. Theory of Thought and Knowledge by Borden Parker Bowne (1897)
"... in this mechanical formalism is the equa tional and symbolic logic. In this
the attempt is made to express judgments in the form of equations ..."
9. The Encyclopedia Americana: A Library of Universal Knowledge (1919)
"symbolic logic, or Mathematical Logic, or the Calculus of Logic, — called also the
... symbolic logic is then that treatment of Formal Logic which employs, ..."
10. Problems of Science by Federigo Enriques (1914)
"In fact symbolic logic, built up as a deductive theory on the model of arithmetic
... symbolic logic AND PSYCHOLOGICAL LOGIC. The second way which serves to ..."
11. Problems of Science by Federigo Enriques (1914)
"In fact symbolic logic, built up as a deductive theory on the model of arithmetic
... symbolic logic AND PSYCHOLOGICAL LOGIC. The second way which serves to ..."
12. The American Journal of Psychology by Granville Stanley Hall, Edward Bradford Titchener (1889)
"ON SOME CHARACTERISTICS OF symbolic logic. CHRISTINE LADD FRANKLIN. It is now
thirtyfive years since the publication of Boole's Laws of Thought. ..."
13. A Treatise on Universal Algebra: With Applications by Alfred North Whitehead (1898)
"IDENTIFICATION WITH THE ALGEBRA OF symbolic logic. (1) It now remains to identify
the addition and multiplication of propositions, as here defined, ..."
14. The Princeton Review by James Manning Sherwood, Jonas M. Libbey, John Forsyth, Charles Hodge, Lyman Hotchkiss Atwater, Henry Boynton Smith (1880)
"symbolic logic. FEW persons can have read the " Laws of Thought" of George Boole
for the first time without a feeling of bewildered admiration. ..."
15. Theory of Thought and Knowledge by Borden Parker Bowne (1897)
"A final step in this mechanical formalism is the equa tional and symbolic logic.
In this the attempt is made to express judgments in ..."
16. Theory of Thought and Knowledge by Borden Parker Bowne (1897)
"... in this mechanical formalism is the equa tional and symbolic logic. In this
the attempt is made to express judgments in the form of equations ..."