Jul 12, 2024  
University of Alberta Calendar 2019-2020 
    
University of Alberta Calendar 2019-2020 [ARCHIVED CATALOG]

PHIL 220 - Symbolic Logic II


★ 3 (fi 6) (either term, 3-0-0) A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.