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.
Optional Elective Courses
Introduction to Programming
CSCI 102L
Discrete Methods in Computer Science
CSCI 170
Probability and Rational Choice
PHIL 258
Object Oriented Programming
CSCI 103L
Chess and Critical Thinking
SLL 199
Mathematical Reasoning and Problem Solving
MATH 290
Introduction to C++ Programming
TAC 165
Introduction to Logic
PHIL 220
Introduction to Semantics and Pragmatics
LING 303
Introduction to MATLAB
TAC 168
Logic and Language
PHIL 222
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.
Intermediate Symbolic Logic
PHIL 350
Advanced Logic
Students must take at least one of the following courses:
The Limits of Logic
PHIL 450
Higher-Order Logic
PHIL 451
Modal Logic
PHIL 452
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).
Infinity in Mathematics and Philosophy
PHIL 381
Philosophy of Mathematics
PHIL 480
Fundamental Concepts of Analysis
MATH 425a
Theory of Numbers
MATH 430
Math History
MATH 450
Notes On This Minor
-
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 hope to eventually add some of the following courses to our offerings (these courses are not yet being offered at USC, but if you're very interested in one, you can tell your prof you'd be excited for them to develop and offer it!):
Mathematics in Philosophy
(Topical Course, PHIL 3--)
Non-Classical Logic
(4--)
Category Theory
(4--)
Foundations of Mathematics
(---)
