PHIL 6310 - Deductive Logic

Fall. 4 credits. Student option grading.

Co-meets with COGST 3310/MATH 2810/PHIL 3310.

A. Kocurek.

A mathematical study of the formal languages of standard first-order propositional and predicate logic, including their syntax, semantics, and deductive systems. The basic apparatus of model theory will be presented. Various formal results will be established, most importantly soundness and completeness.