PHIL 4310 - Advanced Logic

3 Semester Credit Hours

Prerequisite: PHIL 2310 or consent of instructor. Full treatment of sentential logic and first-order predicate logic. May also treat topics such as identity, definite descriptions, axiomatic systems, completeness.