´ó·¢²ÊƱƽ̨

important

Note: ´ó·¢²ÊƱƽ̨’s new Course Catalogue will replace the eCalendar. The Course Catalogue is expected to go live the week of April 22nd. When the new site is published, "mcgill.ca/study" will be redirected to the new Course Catalogue website.

PHIL 310 Intermediate Logic (3 unités)

Offered by: Philosophie (Faculté des arts)

Vue d'ensemble

Philosophie : 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: Hiver 2025

Instructors: Hallett, Michael Frank (Winter)

Back to top