Basic Courses

Basic Courses introduce students to the fundamentals of modern logic: syntax and semantics of first-order languages, proof systems, completeness and undecidability for first-order logic, and the incompleteness phenomena. The basic courses are currently under re-evaluation.

Core Courses

Core Courses provide in-depth treatment of the main subfields of logic, including computation theory, model theory, set theory and undecidability and generally presuppose a Basic course. Core course are currently under re-evaluation.

Specialized Courses

Specialized Courses are offered on either a regular or an occasional basis. These have included L545 (Semantics), P550 (Modal Logic), P551 (Philosophy and Foundations of Mathematics), P552 (Philosophy of Logic), B502 (Complexity Theory), B522 (Programming Language Foundations). In addition, graduate seminars in logic can, with the approval of the Program Director, count as Specialized courses. These have included P750 (Seminar in Logical Theory), P751 (Seminar in Logic) and X755 (Special Topics in the Philosophy of Science), when taught with appropriate content. The specialized courses are currently under re-evaluation.

Requirements for the Logic Minor and Certificate