
USC Logic Minor
The USC minor in Logic requires the completion of 18 units, and at least 16 units must be upper-division. Students must take at least 3 courses from the combined categories of Advanced Logic and Upper-Division Logic, Math, and Philosophy. Though this minor is in the Philosophy department, because it is interdisciplinary, Philosophy majors can pursue it as long as they include at least 16 units of non-PHIL.

Optional Elective Courses

Foundational Logic
Students with sufficient background in Mathematics or Computer Science, or students who have already taken PHIL 220 or PHIL 222, may, with instructor permission and on a case-by-case basis, substitute the Foundational Logic requirement with an additional Advanced Logic course.

Advanced Logic

Upper-Division Logic, Math, and Philosophy
Students may take as many of these courses as they'd like, to supplement their mandatory Foundational Logic course and their Advanced Logic course(s).

Notes on This Proposal
-
We have added 2 Math courses to the Upper-Division distribution category, but which courses they should be is still something being reviewed.
-
We may add an option of taking MATH 430 or 432 to the elective category.
-
We may add additional programming courses, such as TAC 115 or TAC 116. This way, any Applied Math (BA or BS) students will have completed one of these courses for their degree already.
-
This minor would be housed in the Philosophy department, so any PHIL, PPL, or PPE majors may only take it if they take at least 16 non-Philosophy units for it. We're also hoping to draw in Math, Computer Science, Linguistics, and Cognitive Science students, among others.
-
Some of these courses can be co-taught between Math and Philosophy (PHIL 381 was developed with this in mind). But cross-listing courses would limit the range of courses Math majors could take for the Logic minor.
-
We hope to eventually add some of the following courses to our offerings, if members of our department are interested in developing any of these courses.​
​

Mathematics in Philosophy
(Topical Course, PHIL 3--)

Non-Classical Logic
(4--)

Category Theory
(4--)

Foundations of Mathematics
(---)




















