Hide Advanced Options
Courses - Fall 2021
PHIL
Philosophy Department Site
PHIL170
Introduction to Symbolic Logic
Credits: 3
Grad Meth: Reg, P-F, Aud
CORE: MS
GenEd: FSAR
This course will introduce the basic concepts and techniques of modern symbolic logic, with an emphasis on developing skills in two areas: first, translating between ordinary language and logical notation; second, establishing the validity or invalidity of arguments using the methods of truth tables, deductions, and countermodels. Although the subject of symbolic logic was developed by mathematicians and philosophers for their own special purposes (which we will discuss), logical concepts and techniques have found applications in a variety of disciplines, including computer science, economics, law, linguistics, and psychology. We may also consider some of these applications.