David Corfield is a philosopher

Philosophy

Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...

 specializing in mathematics and psychology. He is the author of Towards a Philosophy of Real Mathematics (2003), in which he argues that the philosophical implications of mathematics did not stop with Kurt Gödel

Kurt Gödel

Kurt Friedrich Gödel was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the...

's incompleteness theorems

Gödel's incompleteness theorems

Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of...

. He has also co-authored a book with Darian Leader about psychosomatic medicine – Why Do People Get Ill? (2007). He joined the University of Kent

University of Kent

The University of Kent, previously the University of Kent at Canterbury, is a public research university based in Kent, United Kingdom...

 in September 2007.

He is a member of the informal steering committee of nLab

NLab

nLab is a wiki-lab of a novel kind, for collaborative work on mathematics, physics, and philosophy, including original research, with a focus on category theory. The nLab espouses the n-point of view : that category theory and higher category theory provide a useful unifying viewpoint for...

, a wiki-lab for collaborative work on mathematics, physics, and philosophy.

Papers and reviews

• "Assaying Lakatos
  Imre Lakatos
  Imre Lakatos was a Hungarian philosopher of mathematics and science, known for his thesis of the fallibility of mathematics and its 'methodology of proofs and refutations' in its pre-axiomatic stages of development, and also for introducing the concept of the 'research programme' in his...
  
  's Philosophy of Mathematics", Studies in History and Philosophy of Science 28(1), 99–121 (1997).
• "Beyond the Methodology of Mathematical Research Programmes", Philosophia Mathematica 6, 272–301 (1998).
• "Come the Revolution...", critical notice on The Principles of Mathematics Revisited by Jaakko Hintikka, Philosophical Books 39(3), 150–6 (1998).
• "The Importance of Mathematical Conceptualisation", Studies in History and Philosophy of Science 32(3), 507–533 (2001).
• "Bayesianism
  Bayesian probability
  Bayesian probability is one of the different interpretations of the concept of probability and belongs to the category of evidential probabilities. The Bayesian interpretation of probability can be seen as an extension of logic that enables reasoning with propositions, whose truth or falsity is...
  
   in Mathematics", in Corfield D. and Williamson J. (eds.) (2001), 175–201.
• (with J. Williamson), "Bayesianism into the 21st Century", in Corfield D. and Williamson J. (eds.) (2001), 1–16.
• Corfield D. and Williamson J. (eds.), Foundations of Bayesianism, Kluwer Applied Logic Series (2001).
• "Argumentation and the Mathematical Process", G. Kampis, L. Kvasz & M. Stöltzner (eds.) Appraising Lakatos: Mathematics, Methodology, and the Man, 115–138. Kluwer, Dordrecht (2002).
• Review of Conceptual Mathematics by F. W. Lawvere
  William Lawvere
  Francis William Lawvere is a mathematician known for his work in category theory, topos theory and the philosophy of mathematics.-Biography:...
  
   and S. Schanuel and A Primer of Infinitesimal Analysis by J. Bell, Studies in History and Philosophy of Modern Physics, 33B(2), 359–366 (2002).
• "From Mathematics to Psychology: Lacan
  Jacques Lacan
  Jacques Marie Émile Lacan was a French psychoanalyst and psychiatrist who made prominent contributions to psychoanalysis and philosophy, and has been called "the most controversial psycho-analyst since Freud". Giving yearly seminars in Paris from 1953 to 1981, Lacan influenced France's...
  
  's missed encounters" in J. Glynos and Y. Stavrakakis (eds.) Lacan and Science, Karnac Books, 179–206 (2002).
• Towards a Philosophy of Real Mathematics, Cambridge University Press (2003).
• Review of Opening Skinner's Box by Lauren Slater
  Lauren Slater
  Lauren Slater is an American psychologist and writer. She is the author of six books, including Welcome To My Country , Prozac Diary , and Lying: A Metaphorical Memoir...
  
  , The Guardian, 27 March 2004.
• Review of M. Krieger (2002) Doing Mathematics. Philosophia Mathematica, 13: 106–111 (2005).
• "Categorification as a Heuristic Device", in D. Gillies and C. Cellucci (eds.) Mathematical Reasoning and Heuristics, King's College Publications (2005).
• Why Do People Get Ill?, Hamish Hamilton (2007).

Further reading

• Philosophy/mathematics group blog "The n-Category Cafe", written by Corfield, John Baez, Urs Schreiber and Alex Hoffnung
• Internet Archive of Corfield's old blog, "Philosophy of Real Mathematics" (last version)
• His psychosomatic medicine blog, "Why Do People Get Ill?"
• Homepage in Tübingen
• His alumnus page at the Max Planck Institut