Elementary Logic II (250-0-20)

Instructors

Peter van Elswyk

Meeting Info

Annenberg Hall G01: Wed 1:00PM - 3:50PM

Overview of class

Logic is about entailment. In a slogan, it is about what follows from what. This course explores advanced extensions of more basic, introductory logics. As such, it presumes students are familiar with both propositional logic, and predicate logic with quantifiers (i.e. the logics taught in PHIL150). We will get off to a gentle start by exploring predicate logic with identity. Then we will turn to understanding modal logic, which can be built on top of both propositional logic and predicate logic. Towards the end of the quarter, we will explore predicate logic with types.

Learning Objectives

By the end of the course, students can expect to understand and have facility with advanced logical techniques. In particular, students can expect to understand and be proficient with predicate logic, modal logic, and predicate logic with types.

Class Materials (Required)

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

Class Notes

Final exam - take home.

Class Attributes

Empirical and Deductive Reasoning Foundational Dis
Formal Studies Distro Area

Enrollment Requirements

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

Associated Classes

DIS - NO DATA: NO DATA