INTERMEDIATE LOGIC

Catalog description

(Cross-listed with CS 41038 and PHIL 41038 )(Slashed with MATH 51038 and PHIL 51038 ) A detailed, systematic study of symbolic logic for philosophy majors, mathematics majors, computer science majors and anyone else interested in advanced study in logic. The aim of the course is twofold: (1) to develop a facility in understanding and using symbolic logic for various purposes, and (2) to understand and appreciate symbolic logic as an area of study in itself. Topics include the distinction between syntactic, object-level proofs and semantic, meta-level proofs; the distinction between axiomatic systems and natural deduction systems of object-level proofs; various systems of modal logic; and some non-classical logics.