Logic Minor
Contact
Michael Rieppel
523 Hall of Languages
315-443-2519
Faculty
Martin Abreu Zavaleta, Steven Diaz, Janice Dowell, Kevan Edwards, Jaklin Kornfilt, Jeff Meyer, Susan B. Older, Michael Rieppel
Student Learning Outcomes
- Explain core concepts and results in logic
- Produce proofs in a formal proof system
- Produce clearly written “informal” proofs, including proofs by induction
- Explain how logic relates to topics studied in philosophy, linguistics, computer science, and mathematics
Requirements
The Logic Minor requires 18 credits, selected in consultation with the program advisor. At least 15 credits must be in courses numbered above 299. Students can select from among the following courses (though other suitable courses may be substituted, subject to the program advisor’s approval).
| Code | Title | Credits |
|---|---|---|
| Introduction to Logic | ||
| The following course is required: | ||
| PHI 251 | Logic | 3 |
| Techniques of Logical Investigation | ||
| At least one of the following courses is required (note that credit cannot be given for both MAT 375 and CIS 375): | 3 | |
| Automata and Computability | ||
| Introduction to Discrete Mathematics | ||
| Logic and Language | ||
| Introduction to Abstract Mathematics | ||
| Mathematical Logic | ||
| Modal Logic | ||
| Other Courses | ||
| Up to four four of the following courses may be taken. | 3-12 | |
| Programming Language: Theory & Practice | ||
| Natural Language Processing | ||
| Access Control, Security and Trust | ||
| Semantics of Human Languages | ||
| Meaning and Communication | ||
| History of Mathematics | ||
| Syntactic Analysis | ||
| Introduction to Number Theory | ||
| History of Mathematics | ||
| Twentieth Century Theories of Knowledge, Reality, and Meaning | ||
| Introduction to the Philosophy of Science | ||
| Minds and Machines | ||
| Epistemology | ||
| Philosophy of Mathematics | ||
| Philosophy of Language | ||
| Total Credits | 9-18 | |