Dec 21, 2024  
University of Alberta Calendar 2019-2020 
    
Catalog Navigation
  Calendar Home
  Notes re: Archived Calendars
  Inquiries
  Academic Schedule, Dates, and Deadlines
  Undergraduate Application Procedures and Deadlines
  Undergraduate Admission
  University Regulations
  Graduate Policy and Regulations
  The Faculties
  Undergraduate Programs
  Graduate Programs
  Glossary
  Course Listings
  General Information About the University
  University Staff
  Errata
  PDF Version / Previous Calendars
  Centre collégial de l’Alberta
HELP
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.