Minor and certificate

Logic Minor

Students are required to pass, with a grade of B or better, four logic courses from those classified below as Basic, Core or Specialized. Unless a student can demonstrate adequate knowledge of logic at the level of P505 (Logical Theory I) or B510 (Introduction to Applied Logic), at least one of the four courses must be a Basic course. In addition, at least one of the courses must be a Core course. A minimum of two of the four courses must be taken outside the student's major department. For the Logic Minor, it is not necessary to complete a Specialized course.

Logic Certificate

Students are required to pass six logic courses from those classified below as Basic, Core or Specialized. At least one should be a Basic course (unless equivalent competence is demonstrated), two should be Core Courses, and one a Specialized Course. A minimum of three of the six qualifying courses must be taken outside the student's major department. In addition, active participation for at least one semester in the weekly logic seminar is required.

Basic, Core, and Specialized Courses

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. P505, P506, and B510 are Basic courses.

Core Courses

Core Courses provide in-depth treatment of the main subfields of logic, including computation theory, model theory, set theory and undecidability. These generally presuppose a Basic course. B501, M583, M584, and M682 are Core courses.

Specialized Courses

Specialized Courses are offered on either a regular or an occasional basis. These have included L542 (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.

Related program

Logic, Language, and Computation in Cognitive Science

The Cognitive Science Program offers a special certificate program in applied logic. Students successfully completing the program obtain a certification indicating mastery of this area of study.