²»Á¼Ñо¿Ëù

Minerva Class Scheduling Visit for course dates & times.

Dernières mises à jour en lien avec la COVID-19 disponibles ici.
Latest information about COVID-19 available here.

PHIL 310 Intermediate Logic (3 unités)

important

Nota : Ceci est la version 2021–2022 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 .

Offered by: Philosophie (Arts et service social)

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 2022

Instructors: Bodner, Moritz (Winter)

Back to top