formal logic

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

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 Malick isn’t an abstract filmmaker, and Voyage doesn’t have the rhythmic cohesion of a work assembled accordingly to purely formal logic.

From Slate • Sep. 15, 2016

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

From "Words Like Loaded Pistols" by Sam Leith