# Daniel Isaacson

Area of Specialisation:

College:

Membership:

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.