2022-2023 Undergraduate Course Catalog 
    Jul 23, 2024  
2022-2023 Undergraduate Course Catalog [ARCHIVED CATALOG]

Logic Minor

Return to {$returnto_text} Return to: Catalog Search

Michael Rieppel
523 Hall of Languages


Steven Diaz, Janice Dowell, Kevan Edwards, Jaklin Kornfilt, Jeff Meyer, Susan B. Older, Michael Rieppel

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


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).

Return to {$returnto_text} Return to: Catalog Search