Phil 4140 - Intermediate Logic

Course Overview

This course is a continuation of PHIL-2140 Introduction to Logic, covering basic metatheory of logic (including soundness and completeness), applications of logic (including automated theorem proving), and alternative logics (including modal logic).

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-4961 AI for Cog Sci, CSCI-4150 Artificial Intelligence, and PHIL-6240 Logic and AI.