formal logic

American  

noun

1. the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions.

---

formal logic British  

noun

1. Also called: symbolic logic.  the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions Compare philosophical logic

2. a specific formal system that can be interpreted as representing a fragment of natural argument

---

Etymology

Origin of formal logic

First recorded in 1855–60

Example Sentences

See Examples For:

formal logic

Before Boole, formal logic came from the writings of Aristotle.

From Salon ● Jul. 29, 2024

Their method, which is based on the formal logic used by mathematicians and philosophers, captures the choices faced by a hacker who has access to the mobile phone and the PIN.

From Science Daily ● Jan. 22, 2024

Pinker’s main focus is the sort of conscious, sequential reasoning that can track the steps in a geometric proof or an argument in formal logic.

From Washington Post ● Oct. 7, 2021

But Snohetta’s initial scheme undid the formal logic of how the mass of the granite facade is poised on its monumental base of big-footed columns.

From New York Times ● Dec. 5, 2018

In formal logic and in mathematics, proof is something absolute.

From "Words Like Loaded Pistols" by Sam Leith