PHIL 4140 Intermediate Logic

Course Overview

This course covers basic metatheory of logic (including soundness and completeness), applications of logic (including automated theorem proving), and alternative logics (including modal logic).

Connections to Other Courses

PHIL-2140 Introduction to Logic is a prerequisite to this course. Metatheory will be used a lot more in PHIL-4420 Computability and Logic, and the application of different logic systems will be good background for PHIL-4260 Philosophy of AI, CSCI-4150 Artificial Intelligence, and PHIL-6240 Logic and AI.

Typical Schedule of Topics