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

Wilkes happened to have some intellectual preparation: As a philosophy major, she had studied symbolic logic, which can involve creating arguments and inferences by stringing together and/or statements in a way that resembles coding.

From New York Times ● Feb. 13, 2019

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

“You talk about biology in a symbolic logic class?” my father asked.

From "The Chosen" by Chaim Potok