Daniel Isaacson

Biographic Data

ID5142030
NAMEDaniel Isaacson
GIVEN NAMESDaniel
FAMILY NAMEIsaacson
SIGNATUREISAACSON D
AFFILIATIONSPhilosophy Faculty Oxford University Oxford UK
VERIFIEDNo
TOTAL WORKS2
TOTAL CITATIONS0
WORKS AS AUTHOR2
WORKS AS EDITOR0
FIRST PUBLICATION YEAR1978
LATEST PUBLICATION YEAR2026
H-INDEX0

  • Kripke on Gödel Incompleteness

    Open AccessDaniel IsaacsonARTICLETheoria2026

    This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of the heterological paradox rather than the liar paradox (cited by Gödel) for a heuristic account of incompl…

  • Proofs and Refutations

    Daniel Isaacson, Imre Lakatos et al.ARTICLEThe Philosophical Quarterly1978

    Journal Article Book Reviews Get access Proofs and Refutations: the Logic of Mathematical Discovery. By Imre Lakatos. Edited by John Worrall and Elie Zahar. ( Cambridge University Press. 1976. Pp. xii + 174. Price £7.50, paper £1.95) Daniel Isaacson Daniel Isaacson Search for other works by this author on: Oxford Academic Google Scholar The Philosophical Quarterly, Volume 28, Issue 111, April 1978, Pages 169–171, https://doi.org/10.2307/2219364 P…