Elementary Logic II (250-0-20)

Instructors

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

Meeting Info

Annenberg Hall G32: Tues, Thurs 9:30AM - 10:50AM

Overview of class

This course is about ways to change and vary the logics presented in PHIL 150 (Propositional logic, and first-order logic), and how these can and have been used to address philosophical questions. We'll examine questions of ontology--what there is--and what logic has to do with that question. We'll ask about the nature of the identity relation, and so concern ourselves with what sorts of notions are logical. We'll ask after the relation between truth and meaning, and whether classical logic (as was presented in PHIL 150) is accurate to a sophisticated understanding of these topics. We'll also spend a good amount of time on normal modal logics, which can be interpreted as addressing questions of possibility and necessity--and which circle back to questions of ontology. We will also address how to understand counterfactual conditionals, such as "If Harris had been elected, Parton wouldn't have died yet." Additional topics as time allows.

Registration Requirements

PHIL 150 or MATH 300 or COMP_SCI 212; or consent of instructor.

Learning Objectives

Facility with extended logical methods, both for deductions and interpretations. Understanding the philosophical applications and issues associated with each method.

Class Materials (Required)

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

Class Attributes

Empirical and Deductive Reasoning Foundational Dis
SoC Mathematics, Science, and Technology Distro

Enrollment Requirements

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