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

This perspective is usually called “symbolic A.I.” — because its definition of cognition is based on symbolic logic — or, disparagingly, “good old-fashioned A.I.”

From New York Times • Dec. 14, 2016

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