Traditionally, logic has its home in the disciplines of philosophy and mathematics, and has drawn from these disciplines its methods, questions and motivation. More recently, logic has found many significant applications in the general area of information science, especially computer science, and the relatively new field of cognitive science. At Indiana University, logic is pursued as a multidisciplinary activity with ongoing research and scholarly work in both traditional and applied domains.

The IU Logic Program brings together the talents of both logicians and researchers in related areas from the university's departments of Computer Science, Linguistics, Mathematics, Philosophy, and History and Philosophy of Science. The Program's contributing departments regularly offer a wide variety of graduate courses in logic, ranging in topic from the fundamentals through advanced seminars. In addition, the Logic Program sponsors a weekly, multidisciplinary seminar in logic as well as a more informal, weekly meeting for applied logic.

Graduate logic courses are classified as Basic, Core, or Specialized. The Basic courses are those that introduce students to the fundamental concepts of logic: syntax and semantics of first-order languages, proof systems, completeness and undecidability for first-order logic, and the incompleteness phenomena. Core courses provide more detailed information on the main parts of logic, including computation theory, model theory, set theory and undecidability. Specialized courses are offered on either a regular or an occasional basis. In the past, seminars on algebraic methods in logic, on information theory and on quantum logic have been given as Specialized courses, in addition to regular courses on such topics as complexity theory, formal semantics, modal logic and philosophy of logic.

Indiana University offers two qualifications in logic: a Logic Minor and a Logic Certificate. It is not possible to apply for admission to the Logic Program itself, since the Program does not offer an advanced degree. Students who have been admitted to a degree-granting department at the university may pursue qualifications in logic in addition to their major degrees.