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

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

During another one of our lunchroom conversations, Danny asked me what good symbolic logic was going to be for me when I entered the rabbinate.

From "The Chosen" by Chaim Potok