Interdisciplinary programs

Cognitive Science Programs

The degrees offered are joint to Cognitive Science and an originating discipline: either a Ph.D. with dual major in Cognitive Science and the originating discipline; or a Ph.D.~in the originating discipline with a minor in Cognitive Science.

In addition, the Cognitive Science Program offers interdisciplinary graduate certificates. Certificates are open to students upon request; they are not required for a joint Ph.D. degree. The student will inform the Cognitive Science office, the student's Cognitive Science Advisor, and the Certificate Director of an intent to pursue a certificate. Currently four certificates are offered: in Language and Speech; in Logic, Language, and Computation; in Modeling in Cognitive Science; and in Dynamics in Cognitive Science. A Certificate in Applied Cognitive Science is under development, and a certification in Human-Computer Interaction is under consideration.

To apply for a dual degree with the Cognitive Science program please follow the normal application procedures for graduate admission to your intended originating discipline department, and include a statement indicating intention to pursue a degree in Cognitive Science. A copy of that application should be sent, along with a statement of research interests, to the program secretariat at the address below. It is also possible to apply for a degree in Cognitive Science.

For additional information please see IU Cognitive Science Program homepage. Please address enquiries and correspondence to:

   Cognitive Science Program
   Psychology Building
   Indiana University
   Bloomington, IN 47405
   Email: iucogsci@indiana.edu
   Phone: (812) 855-2722
   Fax: (812) 855-1086

Logic programs

Indiana University offers two qualifications in logic: a Logic Minor and a Logic Certificate. It is not possible to apply to be admitted to the Logic Program, since the program does not offer a masters or doctorate. Students who have been admitted to a degree granting department at the university may pursue a qualification in logic in addition to their major degree. The individual departments regularly offer a wide range of graduate courses, covering the fundamentals of logic: Computation Theory, Model Theory, Set Theory, Undecidability, and Proof Theory. Specialized courses as well are offered on either a regular or occasional basis. In addition, the Logic Program benefits from weekly seminars, applied logic laboratories, a preprint series and a special fellowship program.

Logic courses are classified as Basic, Core, or Specialized. The Basic Courses are those that introduce the fundamentals of logic: syntax and semantics of first-order languages, proof formalisms, completeness of first-order logic, incompleteness of standard first-order theories, and undecidability of first-order logic. The Core Courses consist of introductory courses in the five main parts of logic: Computation Theory, Model Theory, Set Theory, Undecidability, and Proof Theory. These courses presuppose a Basic Course. The Specialized Courses are courses offered by the individual departments, on either a regular or occasional basis.

The Logic Minor requires four logic courses, of which at least one Basic course (unless equivalence competence is demonstrated), and one Core course. At least two of these four courses must be taken outside his or her major department.

The Logic Certificate requires six logic courses, of which at least one Basic course (unless equivalence competence is demonstrated), two Core Courses, and one a Specialized Course. At least three of these six courses must be taken outside his or her major department. In addition, active participation in the multi-disciplinary logic seminar is required for at least one semester.

For additional information please see IU Logic Program homepage. Please address enquiries to

   Logic Program
   026 Sycamore Hall
   Indiana University
   Bloomington, IN  47405
   Email: iulg@phil.indiana.edu}
   Phone: (812) 855-4692
   Fax: (812) 855-4678