Student Learning Outcomes

1. Explain core concepts and results in logic

2. Produce proofs in a formal proof system

3. Produce clearly written “informal” proofs, including proofs by induction

4. 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 12 credits must be in courses numbered above 299. Students can select from among the following courses (though suitable courses in special topics may be substituted, subject to the program advisor’s approval).