Philosophical issues concerning mathematics and its foundations, such as the correlation of mathematics to logic, mathematical truth, and mathematical knowledge.