PHIL 3310 - Deductive Logic

(crosslisted) MATH 2810
(MQR-AS)

Spring. 4 credits. Student option grading.

Prerequisite: PHIL 2310 or MATH 2210 or MATH 2230 or explicit permission of instructor.

H. Hodes.

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.