Applied Logic

[Updated 10/1/2009]

In addition to the courses below, students interested in logic may want to attend the regularly scheduled sessions of the Workshop on Logical Methods in the Humanities. These and other events are noted on the Logic at Stanford website.

1. Computability and Logic (Phil 152) or Introduction to Automata and Complexity Theory (CS 154) [cannot double count with core requirement]
2. One course emphasizing a computational approach to logic. For example: Calculus of Computation (CS 156), Logic and Automated Reasoning (CS 157), Rational Agency and Intelligent Interaction (CS 222/Phil 358), Reasoning Methods in Artificial Intelligence (CS 227)
3. One course in set theory. For example: Set Theory (Math 161), Set Theory (Math 292A/Phil 352A)
4. One additional course in formal semantics. For example: Modal Logic (Phil 154), General Interest Topics in Mathematical Logic (Phil 155), Introduction to Semantics and Pragmatics (Linguist 230A)
5. Two additional advanced courses in logic. For example: Any courses from Phil 350A through 359, Research Seminar in the Logic and Foundations of Mathematics (Phil 391/Math 391).