Æ»¹ûÒùÔº

Minerva Class Scheduling Visit for course dates & times.

important

Note: This is the 2022–2023 eCalendar. Update the year in your browser's URL bar for the most recent version of this page, or .

PHIL 310 Intermediate Logic (3 credits)

Offered by: Philosophy (Faculty of Arts)

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 2023

Instructors: Hallett, Michael Frank (Winter)

Back to top