Ceci est la version 2016鈥�2017 de l'annuaire 茅lectronique. Veuillez mettre 脿 jour l'ann茅e dans la barre d'adresse de votre navigateur pour une version plus r茅cente de cette page, ou cliquez ici pour consulter l'annuaire la plus r茅cente.
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 2017
Instructors: Hallett, Michael Frank (Winter)
Prerequisite: PHIL 210 or equivalent