Mar 29, 2024  
University of Alberta Calendar 2016-2017 
    
University of Alberta Calendar 2016-2017 [ARCHIVED CATALOG]

PHIL 420 - Metalogic


★ 3 (fi 6) (either term, 3-0-0) The theoretical study of formal systems of logic. Topics include formal axiomatic systems, formal syntax and semantics, soundness and completeness proofs for both sentential and predicate logic. Prerequisite: PHIL 220 or consent of Department.