Elementary Logic II (250-0-20)

Instructors

Sean Christopher Ebels Duggan
847/491-2553
Kresge 3-443

Meeting Info

Kresge Centennial Hall 2-435: Mon, Wed, Fri 9:00AM - 9:50AM

Overview of class

This course examines ways to expand and vary the logical systems learned in PHIL 150: second-order logic, 3- and 4-valued logics, supervaluations, modal logics and possible worlds, counterfactuals, and intuitionistic logic. We also look at the philosophical applications to vagueness, paradoxes, scientific laws, various notions of possibility, and the realism/anti-realism debate. Lastly, we ask: what makes a "logic" good?

Learning Objectives

Understanding the main metalogical properties of logical systems: soundness and completeness; facility with creating, applying, and evaluating the variations of classical logic to fit a given philosophical situation.

Class Materials (Required)

All class materials will be available on Canvas at NO cost to the student.

Class Attributes

Formal Studies Distro Area

Enrollment Requirements

Enrollment Requirements: Pre-requisite: Students must have completed Philosophy 150 in order to enroll in this class.