From 3:AM:
Penelope Maddy is the candy-store kid of metaphilosophical logic and maths. She’s stocked up with groovy thoughts about the axioms of mathematics, about what might count as a good reason to adopt one, about mathematical realism, about Gödel’s intuitions, naturalism, second philosophy, Hume and Quine, world-word connections, about where mathematical objectivity comes from, about the limitations of drawing analogies, about depth, about Wittgenstein and the logical must, about the Kantianism of the Tractatus and about the relationship between science and philosophy.

For the full story, please visit http://www.3ammagazine.com/3am/the-stuff-of-proof/.