Tim Storer

Faculty of Philosophy, Cambridge University

Trinity College, Cambridge CB2 1TQ

tjs40 [at] cam [dot] ac [dot] uk
Tim Storer

I am a PhD student at the Cambridge Philosophy Faculty. The subject of my thesis is Impredicativity and Predicativism within the philosophy of mathematics. My CV is here.

There's actually quite a bit of philosophy of maths and logic in Cambridge.

Publications

  • "Gödel's negative translation: Why intuitionism is no alternative"
    In: 18th Novembertagung on the History, Philosophy and Didactics of Mathematics, ed. Ingo Witzke (Berlin: Logos Verlag, 2008.)

    Articles in Preparation

  • "Wright, Skolem, and the Sceptic"
  • "Dummett, indefinite extensibility, and type theory"
  • "Kronecker's programme revisited"
  • "Why intuitionism is the wrong answer to the right question"
  • "Programme portability and the notion of an algorithm"

    • Talks

  • "There is no Question of Second-Order Logic"
    (Cambridge Moral Sciences Club, Jan 2008)

  • "Gödel's Negative Translation: Why Intuitionism is no Alternative"
    (Bonn Novembertagung, Nov 2007: abstract)

  • "A Predicative Version of Hume's Principle"
    (Cambridge Philosophy Faculty, Logic Seminar, May 2005)

  • "Against Second-Order Logic"
    (Cambridge Philosophy Faculty, Graduate Seminar, Lent 2005)

  • "Frege and Hilbert on the Foundations of Geometry"
    (King's College London Philosophy Faculty, Cumberland Lodge weekend, Oct 2003)

    • Academic Profile

    Areas of Research:

  • Philosophy of Mathematics and Mathematical Logic

    • Areas of Teaching Competence:

  • Formal Logic
  • Philosophy of Language
  • History of Early Analytic Philosophy (Frege, Russell, Wittgenstein)
  • Philosophy of Mind

    • Other People

  • My supervisor, Michael Potter, Fitzwilliam College, Cambridge
  • One of my Doktorbrüder, Tim Button
  • Henry Wilton is a mathematician.

    • This page was last updated on Fri 22.I.10