formal logic: Facts & Related Content
Facts
Also Known As | symbolic logic • mathematical logic |
---|
Photos
Related Topics and References
Topics
set theorypredicate calculusmodal logicpropositional calculusaxiomatic methodnatural deduction methodaxiomatic set theoryrationalityformal systemlogicapplied logicmetalogicfuzzy logicmereologymany-valued logichistory of logicancient logicmedieval logicphilosophy of logiclaw of nature
Dig Deeper: More Articles That Discuss This Topic
Key People

Stanisław Leśniewski
Polish logician and mathematician

George Boole
British mathematician

John Venn
English logician and philosopher

Augustus De Morgan
English mathematician and logician

Giuseppe Peano
Italian mathematician

Paul Isaak Bernays
Swiss logician and mathematician

Christine Ladd-Franklin
American scientist

Bertrand Russell
British logician and philosopher

Alfred North Whitehead
British mathematician and philosopher

Rudolf Carnap
German-American philosopher

Willard Van Orman Quine
American philosopher

John of Saint Thomas
Portuguese philosopher

Haskell Brooks Curry
American mathematician

Alfred Tarski
American mathematician and logician

Diodorus Cronus
Greek philosopher