Logic Minor

Kevan Edwards
541 Hall of Languages
315-443-2245

Faculty

Steven Diaz, Janice Dowell, Kevan Edwards, Jaklin Kornfilt, Jeff Meyer, Michael Rieppel

Requirements

The Logic Minor requires 18 credits, selected in consultation with the program advisor. At least 12 credits are 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).

Introduction to Logic

The following course is required:

PHI 251 - Logic

Techniques of Logical Investigation

At least one of the following courses (note that credit cannot be given for both MAT 375 and CIS 375):

CIS 351 - Data Structures *
CIS 375 - Introduction to Discrete Mathematics
CIS 473 - Automata and Computability
CIS 521 - Discrete Mathematics and Data Structures
MAT 375 - Introduction to Abstract Mathematics
PHI 451 - Logic and Language *
PHI 551 - Mathematical Logic
PHI 552 - Modal Logic

Other Courses (choose two or three)

CIS 468 - Natural Language Processing
CIS 567 - Knowledge Representation and Reasoning
LIN 411 - Semantics of Human Languages *
LIN 412 - Pragmatics: Meaning and Context *
LIN 441 - Syntactic Analysis
MAT 593 - History of Mathematics
PHI 373 - Introduction to the Philosophy of Science
PHI 378 - Minds and Machines *
PHI 387 - Epistemology *
PHI 555 - Philosophy of Mathematics
PHI 565 - Philosophy of Language
NOTE: courses with an asterisk are courses whose course number has changed, or courses that have been newly added as satisfying requirements for the program.