There is a long line of thinkers in the philosophy of mathematics who have sought to base an account of proof on what might be called a 'metaphysical ordering' of the truths of mathematics. Use the term 'metaphysical' to describe these orderings is intended to call attention to the fact that they are regarded as objective and not subjective and that they are conceived primarily as orderings of truths and only secondarily as orderings of beliefs. -/- I describe and consider two models for such orderings, (i) an implicational model and something I call (ii) a mosaic model. -/- Both models fail to do what such orderings should do. Moreover, in both cases, the trouble arises because the class of truths to be ordered is taken to be closed under various weakening implications. This is a result of their employing a global conception of logic.
Viewing-as Explanations and Ontic Dependence.William D'Alessandro - forthcoming - Philosophical Studies:1-24.
We Hold These Truths to Be Self-Evident: But What Do We Mean by That?Stewart Shapiro - 2009 - Review of Symbolic Logic 2 (1):175-207.
Proof Theory in Philosophy of Mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
Beyond the Frege Boundary.Edward L. Keenan - 1992 - Linguistics and Philosophy 15 (2):199 - 221.
Fine Hierarchies and Boolean Terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.
Mathematical Explanation in Science.Alan Baker - 2009 - British Journal for the Philosophy of Science 60 (3):611-633.
On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
Inference to the Best Explanation and Mathematical Realism.Sorin Bangu - 2008 - Synthese 160 (1):13-20.
Mathematics and Program Explanations.Juha Saatsi - 2012 - Australasian Journal of Philosophy 90 (3):579-584.
Hierarchical Ordering in Plant Morphology.Robert W. Korn - 1994 - Acta Biotheoretica 42 (4):227-244.
Inference to the Best Explanation and Mathematical Realism.Sorin Ioan Bangu - 2008 - Synthese 160 (1):13-20.
What Are Mathematical Coincidences ?M. Lange - 2010 - Mind 119 (474):307-340.
Magicicada, Mathematical Explanation and Mathematical Realism.Davide Rizza - 2011 - Erkenntnis 74 (1):101-114.