
IU Logic Program
Internal
Seminar
Related
 


Indiana University Program in Pure and Applied Logic
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 firstorder languages, proof systems, completeness and
undecidability for firstorder logic, and the incompleteness phenomena.
P505, P506, and B510 are Basic courses.
Core Courses

Core Courses provide indepth 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.
