Minor in Logic
The theory and techniques of formal logic play an important role in a variety of academic disciplines, including computer science, linguistics, mathematics, and philosophy. The logic minor is designed to acquaint students with the fundamentals of logical theory and technique that form a central part of all of these disciplines.
The minor in logic requires 18 credits, selected in consultation with the program advisor. At least 12 credits are in courses numbered above 299. All students are required to take PHI 251 - Logic, as well as, at least one more advanced course in logic selected from among the following:
- PHI 451: Logic and Language
- PHI 551: Mathematical Logic
- PHI 552: Modal Logic
- CIS 375: Introduction to Discrete Mathematics
- CIS 473: Automata and Computability
- MAT 375: Introduction to Abstract Mathematics
In addition to these, students may selected from a variery of courses in philosophy, linguistics, computer science, and mathematics.
If you have questions, please contact Michael Rieppel, Director of the logic minor, at firstname.lastname@example.org
Several academic disciplines - linguistics, mathematics, philosophy, and computer science - are tied together by the theory and techniques of formal logic. The minor in logic acquaints students with those fundamentals of logic theory and technique that are of central concern to all of these areas.