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

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

“Some people call it symbolic logic,” I said.

From Literature

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

“For Claude Shannon” is named after the mathematical engineer who connected symbolic logic with electronic circuits.

From New York Times