The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

Mathematicians tend to think of themselves as scientists investigating the features of real mathe...

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be...

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions...

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be...

The Logical Must is an examination of Wittgenstein's philosophy of logic, early and late, from an...

The Logical Must is an examination of Wittgenstein's philosophy of logic, early and late, from an...

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions...

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them i...

The philosopher Penelope Maddy is well-known for her pursuit of 'Second Philosophy', a form of na...

This Element addresses the viability of categoricity arguments in philosophy by focusing with som...