Logic and Modern Philosophy of Mathematics

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.