Title	Publication Date	Language	Citations
The Representational Foundations of Computation	2015/04/24	English	8
Idealization in Cassirer's Philosophy of Mathematics	2007/08/08	English	8
‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon†	2005/06/01	English	8
What Does Gödel's Second Theorem Say†	2001/02/01	English	8
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof	2013/03/22	English	8
Mechanistic Explanation and Explanatory Proofs in Mathematics	2014/03/09	English	8
Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge	2016/07/04	English	8
Ontology and Mathematical Practice†	2004/10/01	English	8
The Conceivability of Platonism	2007/03/12	English	8
Idealist and Realist Elements in Cantor's Approach to Set Theory	2010/02/26	English	8
Mathematics: Truth and Fiction?	1999/10/01	English	8
Grundgesetze der Arithmetic I §10	1999/10/01	English	8
Bertrand's Paradox Revisited: Why Bertrand's 'Solutions' Are All Inapplicable	2012/12/12	English	7
Social Construction in the Philosophy of Mathematics: A Critical Evaluation of Julian Cole's Theory	2010/04/17	English	7
Do Not Claim Too Much: Second-order Logic and First-order Logic	1999/02/01	English	7
The Legacy of Lakatos: Reconceptualising the Philosophy of Mathematics††	1997/06/01	English	7
Constructive Mathematics in Theory and Programming Practice	1999/02/01	English	7
ON ETHNOMATHEMATICS	1989/01/01	English	7
Frege's Theory of Concepts and Objects and the Interpretation of Second-order Logict	1993/01/01	English	7
On Formally Measuring and Eliminating Extraneous Notions in Proofs	2008/06/02	English	7
Models and Computability	2013/12/23	English	7
The Ins and Outs of Frege's Way Out	2006/01/30	English	7
Poincaré vs. Russell on the Rôle of Logic in Mathematicst	1993/01/01	English	7
Dummett's Critique of Wright's Attempt to Resuscitate Frege	1994/01/01	English	7
Ontological Independence as the Mark of the Real	2005/06/01	English	7
On Frege's Alleged Indispensability Argument†	2005/06/01	English	7
Husserl's Pluralistic Phenomenology of Mathematics	2011/11/21	English	7
Metaphors for Mathematics from Pasch to Hilbert	2016/01/28	English	6
On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part B†	2020/03/14	English	6
On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part A†	2020/03/14	English	6