USC Schedule of Classes

Spring 2018

Philosophy 450:

Intermediate Symbolic Logic (4.0 units)

Systematic study of the metatheory of quantificational logic, with applications to questions of decidability and completeness of formal systems, including Godel's Incompleteness Theorems.
SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
49568R001Lecture9:30-10:45amTue, Thu3 of 30Andrew BaconVKC155session dates
Information accurate as of October 3, 2018 10:51 am.