Intermediate Symbolic Logic

Introduction to Symbolic Logic

This is a three credit course with no prerequisites. The core of this course will be an examination of proposiitonal logic, which is the starting point for modern symbolic logic. The course incorporates two basic dimensions. First, it will explore techniques for assessing and constructing correct arguments, and second, it will examine theortetical questions regarding the nature of logic itself.