| What Are Structural Properties?† | 2018/10/01 | English | 12 |
| Prove—Once More and Again | 1997/06/01 | English | 12 |
| A Counterfactual Approach to Explanation in Mathematics | 2019/12/02 | English | 11 |
| Syntactic Reductionism | 2000/06/01 | English | 11 |
| A Defence of Mathematical Pluralism | 2005/10/01 | English | 11 |
| A Nominalist's Dilemma and its Solution | 2005/10/01 | English | 11 |
| Boolos on the justification of set theory | 2006/05/15 | English | 11 |
| The Epistemological Status of Computer-Assisted Proofs | 2007/09/20 | English | 11 |
| Justifying Definitions in Mathematics--Going Beyond Lakatos | 2009/05/08 | English | 11 |
| Reflections on Concrete Incompleteness | 2011/07/08 | English | 11 |
| On Godel Sentences and What They Say | 2007/03/23 | English | 11 |
| Prom Full Blooded Platonism to Really Full Blooded Platonism | 1999/10/01 | English | 10 |
| Naturalism and Ontology | 1995/01/01 | English | 10 |
| Applied Mathematics, Existential Commitment and the Quine-Putnam Indispensability Thesis† | 1997/10/01 | English | 10 |
| Non-Uniqueness as a Non-Problem† | 1998/02/01 | English | 10 |
| Ontology and the Word 'Exist': Uneasy Relations | 2009/08/26 | English | 10 |
| Depth and Explanation in Mathematics | 2014/09/12 | English | 10 |
| On the Application of the Honeycomb Conjecture to the Bee's Honeycomb | 2013/06/14 | English | 9 |
| The Hardness of the Iconic Must: Can Peirce's Existential Graphs Assist Modal Epistemology? | 2011/04/14 | English | 9 |
| The State of the Economy: Neo-logicism and Inflationt | 2002/02/01 | English | 9 |
| Inference, Consequence, Implication: A Constructivist's Perspective | 1998/06/01 | English | 9 |
| What is Required of a Foundation for Mathematics? | 1994/01/01 | English | 9 |
| Stipulation, Logic, and Ontological Independence† | 2000/10/01 | English | 9 |
| Proving Church's Thesis | 2000/10/01 | English | 9 |
| Poincaré: Mathematics & Logic & Intuition† | 1997/06/01 | English | 9 |
| Church's Thesis: Prelude to a Proof | 1998/10/01 | English | 9 |
| The philosophical Background of Weyl's Mathematical Constructivism† | 2000/10/01 | English | 8 |
| Mathematical, Astrological, and Theological Naturalism | 1999/06/01 | English | 8 |
| The Philosophical Significance of Tennenbaum's Theorem | 2011/11/17 | English | 8 |
| Crossing Curves: A Limit to the Use of Diagrams in Proofs | 2011/08/05 | English | 8 |