Logic and Reasoning Minor
Logic and reasoning are central to human inquiry. The minor brings together several disciplines that take logic and reasoning as part of their subject matter, emphasizes the core logical elements that are common across disciplines, and shows how to apply these common logical concepts and tools in different domains. The requirement for a minor in Logic and Reasoning is 18-19 credits; 12-13 credit hours from a set of core courses and 6 credit hours from electives.
| Courses | Credit Hours |
|
Required Courses |
|
|
PHIL 250. Introduction to Symbolic Logic |
3 |
|
PHIL 310. Symbolic Logic |
3 |
|
Choose one of the following clusters: |
6 or 7 |
|
MATH 235. Calculus 1 (4 credit hours) and MATH 245. Discrete Mathematics (3 credit hours) OR |
|
|
MATH/CS 227. Discrete Structures I (3 credit hours) and CS 327. Discrete Structures II (3 credit hours) |
|
|
Choose two of the following electives: |
6 |
|
CS 444. Artificial Intelligence (prerequisite CS 240) |
|
|
MATH 424. Statistical Decision Theory (prerequisite MATH 318) |
|
|
PHIL 315. Logic and Legal Reasoning |
|
|
PHIL 326. Introduction to Non-standard Logics |
|
|
PHIL 396. Philosophy of Physics |
|
|
PHIL 397. Philosophy of Space and Time |
|
|
PHIL 398. Philosophy of Quantum Theory |
|
|
PHIL 410. Philosophy of Science |
|
|
Total: |
18 or 19 |
Other Coursework
The LRI sponsors and encourages logic-related coursework in departments across the university. Such coursework includes the following:
- CS 442 Logic in Computer Science—An investigation of the application of logic in computer science, and the use of computing in solving problems in logic.
