Formal logic: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	symbolic logic • mathematical logic

Photos

Alfred North Whitehead

See All Images →

Topics

natural deduction method set theory Predicate calculus Modal logic Propositional calculus axiomatic method axiomatic set theory Rationality Formal system Logic Many-valued logic Applied logic Metalogic fuzzy logic Mereology History of logic Modern logic Ancient logic Philosophy of logic Medieval logic

Dig Deeper: More Articles That Discuss This Topic

Key People

default image

Stanisław Leśniewski

Polish logician and mathematician

George Boole

George Boole

British mathematician

John Venn

John Venn

English logician and philosopher

De Morgan, Augustus

Augustus De Morgan

English mathematician and logician

Peano, Giuseppe

Giuseppe Peano

Italian mathematician

default image

Paul Isaak Bernays

Swiss logician and mathematician

default image

Christine Ladd-Franklin

American scientist

Bertrand Russell

Bertrand Russell

British logician and philosopher

Alfred North Whitehead

Alfred North Whitehead

British mathematician and philosopher

Rudolf Carnap

Rudolf Carnap

German-American philosopher

Willard Van Orman Quine

Willard Van Orman Quine

American philosopher

default image

John of Saint Thomas

Portuguese philosopher

default image

Haskell Brooks Curry

American mathematician

default image

Alfred Tarski

American mathematician and logician

default image

Diodorus Cronus

Greek philosopher