| Why Do We Prove Theorems? | 1999/02/01 | English | 144 |
| The Explanatory Power of Phase Spaces | 2007/08/08 | English | 72 |
| The Identity Problem for Realist Structuralism | 2001/10/01 | English | 61 |
| Criteria of Identity and Structuralist Ontology | 2007/09/20 | English | 54 |
| The Derivation-Indicator View of Mathematical Practice | 2004/06/01 | English | 52 |
| Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i | 2007/09/20 | English | 51 |
| A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices | 2007/03/12 | English | 45 |
| Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals | 2014/07/25 | English | 43 |
| Reals by Abstractiont | 2000/06/01 | English | 37 |
| An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’† | 2004/02/01 | English | 36 |
| Indexing and Mathematical Explanation | 2011/09/26 | English | 36 |
| Mathematics in Megethology | 1993/03/01 | English | 35 |
| Does Category Theory Provide a Framework for Mathematical Structuralism?† | 2003/06/01 | English | 35 |
| Why Do Mathematicians Re-prove Theorems? | 2006/01/13 | English | 35 |
| A Problem with the Dependence of Informal Proofs on Formal Proofs | 2015/03/23 | English | 33 |
| Fictionalism, Theft, and the Story of Mathematics | 2008/09/17 | English | 31 |
| Structure in Mathematics and Logic: A Categorical Perspective | 1996/09/01 | English | 31 |
| Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics | 2005/02/01 | English | 30 |
| New V, ZF and Abstraction† | 1999/10/01 | English | 28 |
| E Pluribus Unum: Plural Logic and Set Theory† | 2004/10/01 | English | 28 |
| Three Varieties of Mathematical Structuralism† | 2001/06/01 | English | 28 |
| Structuralism, Invariance, and Univalence | 2013/10/30 | English | 28 |
| A New Perspective on the Problem of Applying Mathematics | 2004/06/01 | English | 28 |
| Mathematics and Bleak House | 2004/02/01 | English | 27 |
| Philosophy of Mathematical Practice — Motivations, Themes and Prospects† | 2019/02/01 | English | 24 |
| Structuralism Without Structures | 1996/05/01 | English | 24 |
| Intelligent Machinery, A Heretical Theory* | 1996/09/01 | English | 24 |
| Intuitionism As Generalization | 1990/01/01 | English | 24 |
| Categories in Context: Historical, Foundational, and Philosophical | 2005/02/01 | English | 22 |
| Probabilistic Proofs and Transferability | 2008/11/06 | English | 22 |