PHIL/LING 455.001 – Symbolic Logic

Instructor: Jim Pryor. This course meets MW 9:05 – 10:20 a.m. in CW 213.

This course aims to equip advanced philosophy students with solid foundations to deal with logic in papers they read and write, and discussions they participate in. We will discuss some important metalogical results, but will tend more towards equipping you with a broad understanding of the field than towards refining your proof skills. We’ll discuss a smorgasbord of issues in logic and metalogic, and some in math and formal semantics.

This course is required for Philosophy Graduate Students.

Permission of the instructor is required to enroll in this course. Philosophy Graduate Students are exempt from this enrollment requirement.

Prerequisites: a solid grasp of elementary first-order logic (as covered for example in PHIL 155).