Career and Education

Career

2013 - present   Emeritus University Lecturer in the Philosophy of Mathematics, Oxford  
2013 - present   Emeritus Fellow of Wolfson College, Oxford  
1975 - 2013   University Lecturer in the Philosophy of Mathematics, Oxford  
1977 - 2013   Governing Body Fellow of Wolfson College, Oxford  
1989   Visiting Professor of Philosophy, University of California, Berkeley  
1974 - 1977   Junior Research Fellow in Philosophy, St. John's College, Oxford  
1971 - 1973   Research Associate in Philosophy, The Rockefeller University, New York  
1969 - 1971    Lecturer in Philosophy, University of Washington, Seattle  

Education

1974   Oxford University, DPhil in Philosophy (thesis: On Some Aspects of the Concept of Truth)  
1967   Harvard University, A.B. in Mathematics (thesis: A Constructive Solution of Hilbert's 17th Problem by Use of the Fundamental Theorem of Herbrand)  

Publications

“The reality of mathematics and the case of set theory”, Zsolt Novak and Andras Simonyi (eds), Truth, Reference and Realism, Central European University Press, Budapest, 2011, pp 1-76.

"Necessary and sufficient conditions for undecidability of the Gödel sentence and its truth", Peter Clark, David DeVidi, and Michael Hallett (eds), Vintage Enthusiasms:  Essays in Honour of John Bell, University of Western Ontario Series in the Philosophy of Science, Springer Verlag, Heidelberg and New York, 2011, pp. 135-152.

“Quine and logical positivism”, Roger Gibson (ed.), The Cambridge Companion to Quine, Cambridge University Press, 2004, pp. 214-269.

“Mathematical intuition and objectivity”, Alexander George (ed.), Mathematics and Mind, Oxford University Press, 1994, pp. 118-140.

“Carnap, Quine and logical truth”, David Bell and Wilhelm Vossenkuhl (eds), Science and Subjectivity, Akademie Verlag, Berlin, 1992, pp. 100-130.

"Some considerations on arithmetical truth and the ω-rule", Michael Detlefsen (ed.),Proof, Logic and Formalization, Routledge, London, 1991, pp. 94-138.

"Arithmetical truth and hidden higher-order concepts", the Paris Logic Group (eds), Logic Colloquium '85, North-Holland, Amsterdam, 1987, pp. 147-169; abstract in the Journal of Symbolic Logic 52 (1987), p. 299; reprinted, with revisions, in W.D. Hart (ed.), Oxford Readings in the Philosophy of Mathematics, Oxford University Press, 1996, pp. 203-224.

review of Michael Hallett, Cantorian Set Theory and Limitation of Size, British Book News, March 1985, p. 159.

review of Reuben Hersh, "Some proposals for reviving the philosophy of mathematics",Journal of Symbolic Logic 48 (1983), pp. 871-2.

Notes on the Formalization of Logic , with Dana Scott (principal author), David Bostock, Graeme Forbes, and Göran Sundholm, Sub-Faculty of Philosophy, Oxford, Study Aids Monographs Nos 2 & 3, 1981, 239 pp.

review of Imre Lakatos, Proofs and Refutations, The Philosophical Quarterly 28 (1978), pp. 169-171.

Oxford Philosophy in 10 Merton Street, and before and after