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.

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

For interested readers, Budiansky supplies an appendix that moves through Gödel’s proof, step by step, but granular knowledge of formal logic isn’t essential for anyone’s enjoyment of this moving biography.

From New York Times • Jun. 2, 2021

Without even having to dip into formal logic, the long list of informal fallacies and extensive practice identifying them in real world discourse prepared me to be a discriminating adult.

From Slate • Sep. 3, 2015

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

From "Words Like Loaded Pistols" by Sam Leith