Courses of Study 2013-2014 
    
    Mar 29, 2024  
Courses of Study 2013-2014 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

PHIL 3310 - Deductive Logic

(crosslisted)
(also MATH 2810 ) (MQR)
Spring. 4 credits.

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)