Proposes an austere form of naturalism called 'Second Philosophy'. This book, using the persona of an idealized inquirer, constructs a second-philosophical line of thought which is practised in reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and general prospects for metaphysics naturalized.