formal logic

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

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.

But expertise in formal logic isn’t essential for anyone’s enjoyment of this moving biography.

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.

But a granular knowledge of formal logic isn’t essential for anyone’s enjoyment of this moving new biography.