Harvard University homepage
HARVARD.EDU

Courses

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

  • Philosophy 143r: Topics in Logic: Proseminar (Koellner)
  • Mathematics 141: Introduction to Mathematical Logic (Sacks)
  • Computer Science 121. Introduction to Formal Systems and Computation (Lewis)

Spring 2012

  • Philosophy 143r: Topics in Logic: Proseminar (Koellner)
  • Philosophy 144: Logic and Philosophy (Goldfarb)
  • Mathematics 143: Set Theory (Sacks)

MIT

Fall 2011

  • 24.241 Logic I (McGee)
  • 24.244 Modal Logic (Stalnaker)
  • 18.404 Theory of Computation (Sipser)
  • 18.510 Introduction to Mathematical Logic and Set Theory (Cohn)
  • 6.893 Philosophy and Theoretical Computer Science (Aaronson)

Spring 2012

  • 24.118 Paradox and Infinity (Rayo)
  • 24.242 Logic II (McGee)

Brown

Spring 2012

  • PHIL1880: Advanced Deductive Logic (Heck)

BU

Fall 2011

  • CAS MA531 A1 Math Logic (Kanamori)

Past & Recurring Courses

Harvard

  • Empirical and Mathematical Reasoning 17. Deductive Logic (Taught: Fall 2010)
  • Philosophy 142. Set Theory: The Higher Infinite (Last Taught: Fall 2010)
  • Philosophy 142q. Topics in Set Theory (Last Taught: Spring 2011)
  • Philosophy 142z. Intermediate Logic: Introduction to Model Theory (Last Taught: Spring 2008)
  • Philosophy 143. Set Theory (Last Taught: Fall 2003)
  • Philosophy 143y. Logic and the Foundations of Mathematics (Last Taught: 2005)
  • Philosophy 144. Logic and Philosophy (Last Taught: Spring 2010)
  • Philosophy 148. Philosophy of Mathematics (Last Taught: Spring 2011)
  • Philosophy 242. From Frege to Gödel
  • Philosophy 243w. Foundational Aspects of Set Theory (Last Taught: Spring 2007)
  • Philosophy 248. Topics in the Philosophy of Mathematics (Last Taught: Fall 2009)
  • Mathematics 141. Introduction to Mathematical Logic (Last Taught: Spring 2011)
  • Mathematics 143. Set Theory
  • Mathematics 162. Introduction to Quantum Computing (Last Taught: Spring 2011)
  • Mathematics 242. Set Theory: Large Cardinals from Determinacy (Last Taught: Fall 2004)
  • Mathematics 244. Advanced Set Theory (Last Taught: Spring 2008)
  • Mathematics 245. Proof Theory
  • Mathematics 248. Decidability
  • Mathematics 253. Introduction to Computability and Randomness (Last Taught: Spring 2011)