Indiana University Program in Pure and Applied Logic
Minor and certificate
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.
- 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
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 provide in-depth treatment of the main subfields of
including computation theory, model theory, set theory and
These generally presuppose a Basic course.
B501, M583, M584, and M682 are Core 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.
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.