PHIL 3310 - Deductive Logic

(crosslisted) COGST 3310, MATH 2810
(MQR-AS, SMR-AS)

Fall. 4 credits. Student option grading.

Prerequisite: PHIL 2310 or MATH 2210 or MATH 2230 or permission of instructor. Co-meets with PHIL 6310.

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.