Note: This is the 2012鈥�2013 edition of the eCalendar. Update the year in your browser's URL bar for the most recent version of this page, or click聽here to jump to the newest eCalendar.
Overview
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 2013
Instructors: Hallett, Michael Frank (Winter)
Prerequisite: PHIL 210 or equivalent