Feedback

Nota : Ceci est la version 20122013 de l’annuaire électronique. Pour consulter la version la plus récente, cliquez ici. Pour une version plus récente de cette page spécifique, veuillez mettre à jour l’année dans la barre d’adresse de votre navigateur.

PHIL 310 Intermediate Logic (3 unités)

Offert par : Philosophie (Arts et service social)

Administré par Faculty of 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.

Trimestres : Hiver 2013

Chargés de cours : Michael Frank Hallett (Hiver)

  • Prerequisite: PHIL 210 or equivalent