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.
