| Computational Structuralism† | 2005/06/01 | English | 22 |
| Plural Quantification and Classes† | 2003/02/01 | English | 21 |
| Scientific vs. Mathematical Realism: The Indispensability Argument | 1995/01/01 | English | 21 |
| Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl | 2002/06/01 | English | 20 |
| Exploring Categorical Structuralism | 2004/02/01 | English | 19 |
| Platonism and Aristotelianism in Mathematics | 2007/09/20 | English | 19 |
| Self-reference and the Languages of Arithmetic | 2006/05/15 | English | 18 |
| On the Question of Absolute Undecidability | 2006/01/09 | English | 18 |
| Axioms in Mathematical Practice | 2013/01/11 | English | 18 |
| Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt† | 2002/06/01 | English | 18 |
| Number theory and elementary arithmetic† | 2003/10/01 | English | 18 |
| Structure in Mathematics | 1996/05/01 | English | 18 |
| Identity in Homotopy Type Theory, Part I: The Justification of Path Induction | 2015/06/01 | English | 17 |
| A Study of Mathematical Determination through Bertrand’s Paradox | 2017/12/16 | English | 17 |
| Arithmetical Reflection and the Provability of Soundness | 2014/12/24 | English | 16 |
| Towards an Institutional Account of the Objectivity, Necessity, and Atemporality of Mathematics | 2012/08/20 | English | 16 |
| ‘Neo-Logicist‘ Logic is not Epistemically Innocent | 2000/06/01 | English | 16 |
| Category Theory as an Autonomous Foundation | 2011/08/24 | English | 16 |
| Notions of Invariance for Abstraction Principles | 2010/06/17 | English | 16 |
| Revolutionary Fictionalism: A Call to Arms | 2005/10/01 | English | 15 |
| Empirical Regularities in Wittgenstein's Philosophy of Mathematics | 2008/04/01 | English | 15 |
| Prose versus Proof: Wittgenstein on Godel, Tarski and Truth | 2001/10/01 | English | 14 |
| The Applicabilities of Mathematics | 1995/01/01 | English | 14 |
| Frege on Consistency and Conceptual Analysis | 2007/03/12 | English | 13 |
| Recantation or Any old ω-sequence would do after all | 1996/05/01 | English | 13 |
| Why Do We Believe Theorems? | 2008/04/01 | English | 13 |
| Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics | 2016/07/11 | English | 12 |
| What is Dialectical Philosophy of Mathematics?† | 2001/06/01 | English | 12 |
| Properties and the Interpretation of Second-Order Logic | 2012/08/03 | English | 12 |
| Godel on computability | 2006/01/09 | English | 12 |