# Logic and the Foundations of Mathematics

# LOGIC AND THE FOUNDATIONS OF MATHEMATICS

A very detailed account of main developments of logic will be found in *Logic, History of* . Brief explanations of many of the terms commonly used by logicians will be found in *Logical Terms, Glossary of* . The Encyclopedia also features the following articles dealing with questions in logic and the foundations of mathematics: *Artificial and Natural Languages* ; *Combinatory Logic* ; *Computability Theory* ; *Computing Machines* ; *Decision Theory* ; *Definition* ; *Existence* ; *Fallacies* ; *Geometry* ; *Gödel's Theorem* ; *Identity* ; *Infinity in Mathematics and Logic* ; *Laws of Thought* ; *Logical Paradoxes* ; *Logic Diagrams* ; *Logic Machines* ; *Many-Valued Logics* ; *Mathematics, Foundations of* ; *Modal Logic* ; *Negation* ; *Number* ; *Questions* ; *Semantics* ; *Set Theory* ; *Subject and Predicate* ; *Synonymity* ; *Syntactical and Semantical Categories* ; *Types, Theory of* ; and *Vagueness* . See "Logic" and "Mathematics, Foundations of," in the index for entries on thinkers who have made contributions in this area.

#### More From encyclopedia.com

#### About this article

# Logic and the Foundations of Mathematics

#### You Might Also Like

#### NEARBY TERMS

**Logic and the Foundations of Mathematics**