Area of Specialisation:
Career and Education
|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|
|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)|
- “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.