The use of symbols to denote propositions, terms, and relations in order to assist reasoning.
- He proposes that Boole's symbolic logic and Leibniz's work on language prefigured the development of computers, and complemented capitalism's imperative towards abstraction.
- Now that we know all the details of the language of symbolic logic, it's time to actually do symbolic logic.
- Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
For editors and proofreaders
Line breaks: sym|bol¦ic logic
Definition of symbolic logic in:
What do you find interesting about this word or phrase?
Comments that don't adhere to our Community Guidelines may be moderated or removed.