Faculty of Philosophy

Philosophy of Mathematics and Logic
One day workshop
Arithmetical truth—20 years on

A workshop focussing on issues arising out of Dan Isaacson's paper, "Arithmetical truth and hidden higher-order concepts", which appeared 20 years ago. The paper is reprinted in W. D. Hart (ed.), The Philosophy of Mathematics (OUP, 1996).

Saturday 21st April 2007
William Thatcher Room, Fitzwilliam College, Cambridge

Provisional programme

• 10a.m. Coffee
• 10.30 a.m. Peter Smith (Cambridge)
  Ancestral arithmetic
• noon Ben Colburn (Cambridge)
  Epistemic Arithmeticity
• 1 p.m. Lunch
• 1.40 p.m. Luca Incurvati (Cambridge)
  An analogue of Isaacson's thesis for ZFC?
• 2.40p.m. Dan Isaacson (Oxford)
  From arithmetical to set-theoretical truth
• 4.10 p.m. Tea
• 4.30 p.m. Dr Hannes Leitgeb (Bristol)
  Arithmetical Truth, Logical Truth, and Informal Provability
• 6pm Finish

Biographies

Peter Smith will shortly be publishing An Introduction to Gödel's theorems with CUP.

Ben Colburn is doing a PhD at Cambridge.

Dan Isaacson published "Arithmetical truth and hidden higher order concepts" in 1987.

Luca Incurvati is doing a PhD at Cambridge.

Hannes Leitgeb's articles include "What truth depends on", Journal of Philosophical Logic 34 (2005) 155-192.

Enquiries to Michael Potter