Proof as a source of truth / Michael D. Resnik -- Reflections on the concept of a priori truth and its corruption by Kant / William W. Tait -- Logicism / Steven J. Wagner -- Empirical inquiry and proof / Shelley Stillwell -- On the concept of proof in elementary geometry / Pirmin Stekeler-Weithofer -- Mathematical rigor in physics / Mark Steiner -- Foundationalism and foundations of mathematics / Stewart Shapiro -- Brouwerian intuitionism / Michael Detlefsen
Summary
These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,