Note: This is the 20132014 edition of the eCalendar. For the most recent publication, click here. For a newer version of this specific page, simply update the year in your browser's URL bar.

PHIL 310 Intermediate Logic (3 credits)

Offered by: Philosophy (Faculty of Arts)


Philosophy : A second course in Logic. NB. The course will be technical in nature, and some mathematical aptitude is essential. The emphasis is on the expressive properties of standard logical systems, including implications for the philosophy of mathematics. We will study the Completeness of First-Order Logic, then the 'limitative' theorems of Tarski and Gödel.

Terms: Winter 2014

Instructors: Michael Frank Hallett (Winter)

  • Prerequisite: PHIL 210 or equivalent