# Logic and Modern Philosophy of Mathematics

## The Revival Of Logic From The 1820s, And Its Algebraic Flourishing, Set Theory And The Rise Of Mathematical Logic

This article surveys many of the main positions that have been held in the logic and philosophy of mathematics from around 1800 up to recent times. Most attention is given to symbolic logics of some kind. No position has been definitive; indeed, especially over the last seventy years the variety has continually increased. To compensate for this article's lack of exhaustiveness, the bibliography is wide-ranging.

## Additional topics

- Logic - Aristotle, The Stoics, The Neoplatonists, The Medieval Latin West, 790–1200, The Medieval Latin West, 1200–1500
- Logic and Modern Philosophy of Mathematics - The Revival Of Logic From The 1820s, And Its Algebraic Flourishing
- Logic and Modern Philosophy of Mathematics - Set Theory And The Rise Of Mathematical Logic
- Logic and Modern Philosophy of Mathematics - Axiomatics And The Rise Of Proof And Model Theories
- Logic and Modern Philosophy of Mathematics - Gödel, Tarski, And The Individuation Of Metatheory
- Logic and Modern Philosophy of Mathematics - Logics And Pluralism From The 1940s
- Logic and Modern Philosophy of Mathematics - Philosophies Of Mathematics
- Logic and Modern Philosophy of Mathematics - Concluding Remark
- Logic and Modern Philosophy of Mathematics - Bibliography
- Other Free Encyclopedias

Science EncyclopediaScience & Philosophy: *Linear expansivity* to *Macrocosm and microcosm*