Courses of Study 2018-2019 
    
    Jul 28, 2021  
Courses of Study 2018-2019 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

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.



Add to Favorites (opens a new window)