View synonyms for

formal logic

noun

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

formal logic

noun

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
a specific formal system that can be interpreted as representing a fragment of natural argument

Discover More

Word History and Origins

Origin of formal logic¹

First recorded in 1855–60

Discover More

Example Sentences

Examples have not been reviewed.

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

From

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

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

From

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

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

From

formal language formally

Browse