2021-2022 Catalog 
    
    Aug 08, 2022  
2021-2022 Catalog [ARCHIVED CATALOG]

PHIL095 CM - Fundamentals of Logic

An introduction to formal techniques for evaluating arguments. These techniques include truth tables, natural deduction for propositional logic, natural deduction for predicate logic, and introductory model theory. The goal of the course is not only for students to develop skill with these formal systems, but also for them to develop an understanding of what it means to reason logically.

Offered: Every year

Credit: 1

Course Number: PHIL095 CM