What's new
Welcome to Peter Smith's website
I am a member of the Faculty of Philosophy at the University of Cambridge, currently working on logic and the philosophy of mathematics. Here you can find out a little more about me and my past interests. |
|
Logic Matters often gives running reviews of books I'm reading, and has other logic-related postings, as well as random idle thoughts. |
|
The world didn't need another elementary logic book, but I still wrote An Introduction to Formal Logic (CUP 2003, corrected reprint now available). Here you'll find the answers to the exercises and other materials. |
|
My perhaps misleadingly titled An Introduction to Gödel's Theorems (CUP 2007, corrected reprint 2008) also has associated webpages with exercises and other materials. |
|
Links to a few other logic papers and to fragments of work-in-progress. |
|
Sounding Off |
I frequently contribute to the site Ask Philosophers. You'll find links to my contributions, other opinionated pieces, and advice to students, here. |
Last but not least, I maintain the LaTeX for Logicians pages. |
April 13: Logic Book page updated for new printing.
April 6: Gödel book corrections page updated.
Feb 4: 'Other Logic' page begun, with some recent papers/handouts linked.
Feb 3: More Logic Worksheets uploaded.
Apologies for recent lack of updates: back to it!
Nov2: More Logic Worksheets uploaded.
Oct 4: More of LaTeX for Logicians ported.
Sept 16: Very partial port of Latex for Logicians.
Sept 11: Newly launched, a partially built site. The aim is, eventually, to bring all my logic-related stuff together into one site. But don't hold your breath.
© Peter Smith, 2009
