Dr Daniel Isaacson
University Lecturer in the Philosophy of Mathematics Emeritus and Emeritus Fellow of Wolfson College, Oxford daniel.isaacson@philosophy.ox.ac.uk Philosophy Faculty Research InterestsPhilosophy of mathematics and logic 
Career
2013  University Lecturer in the Philosophy of Mathematics Emeritus, Oxford 
2013  Emeritus Fellow of Wolfson College, Oxford 
19752013  University Lecturer in the Philosophy of Mathematics, Oxford 
19772013  Governing Body Fellow of Wolfson College, Oxford 
1989  Visiting Professor of Philosophy, University of California, Berkeley 
19741977  Junior Research Fellow in Philosophy, St. John's College, Oxford 
19711973  Research Associate in Philosophy, The Rockefeller University, New York 
19691971  Lecturer in Philosophy, University of Washington, Seattle 
Education
1974  Oxford University , D.Phil. 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 176.
 "Necessary and sufficient conditions for undecidabillity 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 Philosopy of Science, Springer Verlag, Heidelberg and New York, 2011, pp. 135152.

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

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

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

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

"Arithmetical truth and hidden higherorder concepts", the Paris Logic Group (eds), Logic Colloquium '85, NorthHolland, Amsterdam, 1987, pp. 147169; 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. 203224.

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 mathemtics", Journal of Symbolic Logic 48 (1983), pp. 8712.

Notes on the Formalization of Logic , with Dana Scott (principal author), David Bostock, Graeme Forbes, and Göran Sundholm, SubFaculty 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. 169171.