Structure

The courses in logic at Harvard cover all of the major areas of mathematical logic—proof theory, recursion theory, model theory, and set theory—and, in addition, there are courses in closely related areas, such as the philosophy and foundations of mathematics, and theoretical issues in the theory of computation.

Here is a brief guide for the beginning student: The most introductory course in logic is EMR 17. The first tier of introductory courses consists of Phil 143Y, Phil 144, Math 141, CS 121. These courses provide a comprehensive introduction to the main areas of mathematical logic. In particular, Phil 144 provides an introduction to proof theory and recursion theory, while Phil 143Y provides an introduction to model theory and set theory. The next tier consists of courses devoted to each of the main areas of mathematical logic. These courses are offered on a rotating basis. For example, this year there are courses in model theory (Math 141) and forcing and independence in set theory (Math 143).

In addition there are many logic courses offered at neighbouring universities (see below).

2011-2012 Courses

Harvard

Fall 2011
Spring 2012

MIT

Fall 2011
Spring 2012

Brown

Spring 2012

BU

Fall 2011

Past & Recurring Courses

Harvard