• Michael Detlefsen, ed., "Proof and Knowledge in Mathematics" (review)
    International Journal of Philosophical Studies 2 (1): 149. 1994.
  •  115
  •  92
    What is dialectical philosophy of mathematics?
    Philosophia Mathematica 9 (2): 212-229. 2001.
    The late Imre Lakatos once hoped to found a school of dialectical philosophy of mathematics. The aim of this paper is to ask what that might possibly mean. But Lakatos's philosophy has serious shortcomings. The paper elaborates a conception of dialectical philosophy of mathematics that repairs these defects and considers the work of three philosophers who in some measure fit the description: Yehuda Rav, Mary Leng and David Corfield.
  •  39
    The formalising tendency in philosophy and experimental psychology
    Phenomenology and the Cognitive Sciences 2 (4): 337-352. 2003.
    This paper is an exercise in the phenomenology of science. It examines the tendency to prefer formal accounts in a familiar body of experimental psychology. It will argue that, because of this tendency, psychologists of this school neglect those forms of human cognition typical of the humanities disciplines. This is not a criticism of psychology, however. Such neglect is compatible with scientific rigour, provided it does not go unnoticed. Indeed, reflection on the case in hand allows us to refi…Read more
  •  24
    Old Maps, Crystal Spheres, and the Cartesian Circle
    Graduate Faculty Philosophy Journal 22 (2): 13-27. 2001.
    It would be a mistake to imagine that the problem of the Cartesian circle lies in Descartes’ suggestion that we cannot know anything unless we know God. It is true that this thought seems fatal to his enterprise; for if we cannot know anything prior to knowing that God exists, then it follows that we cannot know the arguments that prove God’s existence. However the problem of the Cartesian circle does not consist in this logical error. It consists, rather, in the fact that Descartes’ attempts to…Read more
  •  78
    Lakatos as historian of mathematics
    Philosophia Mathematica 5 (1): 42-64. 1997.
    This paper discusses the connection between the actual history of mathematics and Lakatos's philosophy of mathematics, in three parts. The first points to studies by Lakatos and others which support his conception of mathematics and its history. In the second I suggest that the apparent poverty of Lakatosian examples may be due to the way in which the history of mathematics is usually written. The third part argues that Lakatos is right to hold philosophy accountable to history, even if Lakatos'…Read more
  • Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012 (edited book)
    Society for the Study of Artificial Intelligence and the Simulation of Behaviour. 2012.