Please note this is the 2007 syllabus, the 2008 one will be very similar.

 

505 syllabus                                                      Fall 2007

Created 8/31

Text:  R I G Hughes, A Philosophical Companion to First Order Logic

Readings that are not in Hughes will be available on or through this site.

Fri Aug 31   Quine and Strawson in Hughes

Fri Sept  7   Grandy in Hughes

Fri Sept 14 Horwich in Hughes

Fri Sept 21   “The deflationary theory of truth” in Stanford Ency. of Phil

?Mon Oct 1   “The correspondence theory of truth” in Stanford Ency. of Phil

Fri Oct 5    Corcoran in Hughes

Fri Oct 12    Proofs that  horseshoe   is  ‘if then’  and

Counterexamples to show that horseshoe is  not  ‘if then

                   Edgington in Hughes

Fri Oct 19   Lewis on conditionals and probabilities

Mon Oct 29?     Grandy & Osherson on STV theory of conditionals

Fri Nov 2   Haack  “Justification of deduction” in Hughes

Fri Nov 9   Tarski  “Truth and proof” in Hughes

Fri Nov 16      Quine “Existence and quantification” in Hughes

Mon Nov 26      Russell “On Denoting”   Questions on Russell

Fri  Nov 30       Quine on modality and existence

Fri Dec 7       Lunch at the Faculty Club  11:30