symbolic logic

American  

noun

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

---

symbolic logic British  

noun

1. another term for formal logic

---

Etymology

Origin of symbolic logic

First recorded in 1880–85

Example Sentences

See Examples For:

symbolic logic

He argued that the structural rigidity and rule-based grammar of Sanskrit offered a powerful natural analog to the symbolic logic of computer languages.

From Salon ● May 21, 2023

The fields of science, logic, and mathematics include research into contemporary symbolic logic as well as interdisciplinary work in the philosophy of mathematics and the sciences; these areas are closely related to metaphysics and epistemology.

From Textbooks ● Jun. 15, 2022

Peano’s axioms can be expressed in the notation of symbolic logic, from which all basic arithmetical operations, such as multiplication, can be derived.

From Nature ● Jul. 2, 2014

It is this symbolic logic which organizes demand.

From Scientific American ● Sep. 6, 2013

Danny was reading Freud, and I was doing symbolic logic.

From "The Chosen" by Chaim Potok