Some expository handouts

Some recent logical (and not-so logical) pieces

This list overlaps with the list of 'other materials' relevant to my Gödel book, but doesn't include hand-outs on logical topics for (near) beginners -- for those, see here.

  1. [2009] Review discussion of Charles Parsons, Mathematical Thought and Its Objects (over 30K words, originally written, section by section, for my blog -- short excerpts will be published as a critical notice in Analysis Reviews).
  2. [2009] Can Smiley be Carnapped? (discussion note on how to understand the bilateralist response to Carnap's problem for inferentialism).
  3. [2008] The Galois connection between syntax and semantics (the first three chapters of what might grow up to be something rather longer: the second and third could be of stand-alone interest).
  4. [2008] Big Typescript, §108 (an attempt to render just the opening section(!) of Wittgenstein's treatment of mathematics in the Big Typescript into coherent prose, and add some brief comments).
  5. [2008] Review of Agustín Rayo and Gabriel Uzquiano (eds) Absolute Generality (for BSL).
  6. [2008] There are sea serpents, Jim, but not as we know them (a discussion of issues arising from Zoltán Szabó's paper 'Believing in Things').
  7. [2008] Isaacson's Thesis and Ancestral Arithmetic (stand-alone paper published in Analysis, reworking ideas in my Gödel book).
  8. [2007] Induction, more or less (on grades of arithmetic and why ACA0 doesn't inflate to ACA -- an expanded version of talk given at Dan Isaacson's Oxford seminar).
  9. [2007] Review discussion of Adam Olszewski et al. Church's Thesis after 70 Years (originally written, paper by paper, for my blog).
  1. Gödel's Theorem, the core proof
  2. Kleene's Normal Form Theorem and the First Incompleteness Theorem
  3. What are Turing jumps?
  4. Detlefsen on Hilbert
  5. Topoi
  6. Special Relativity

Logic Matters

© Peter Smith, 2009

    Home