This is the website for PHIL 220. Introduction to Logic (Fall 2026).

The electronic textbook for this course, Introduction to Logic, will be available online. Sections of the book are available from the online platform USC Logic Web, which we will use as a companion to the course.

Assignments will be visible in your user page on Carnap. You will find a suite of problems and solutions for different parts of the course in USC Logic Web.

The schedule below includes links to lecture notes, online assignments, and other materials such as practice tests and solutions.

Make an appointment for online office hours.

schedule

date topic activities
  INTRODUCTION  
Mon 8/24 Arguments  
Wed 8/26 Validity and Form  
Mon 8/31 Problem Session 1 Quiz 1
Wed 9/2 Basic Language
How to Type Logical Symbols in Carnap		 Online Assignment 1
  PROPOSITIONAL LOGIC  
Mon 9/7 University Holiday: Labor Day
Basic Language		  
Wed 9/9 Truth Tables  
Mon 9/14 Problem Session 2 Quiz 2
Wed 9/16 Validity Online Assignment 2
Mon 9/21 Translation  
Wed 9/23 Complex Translation  
Mon 9/28 Problem Session 3 Quiz 3
Wed 9/30 Natural Deduction: Conjunction Online Assignment 3
Mon 10/5 Natural Deduction: Conditional
and Disjunction		  
Wed 10/7 Natural Deduction: Negation  
Mon 10/12 Problem Session 4 Quiz 4
Wed 10/14 Propositional Validity Online Assignment 4
Mon 10/19 Midterm Exam (Solutions)
Practice Midterm
Solutions to Practice Midterm		  
  QUANTIFICATIONAL LOGIC  
Wed 10/21 Basic Language  
Mon 10/26 Problem Session 5 Quiz 5
Wed 10/28 Translation Online Assignment 5
Mon 11/2 Issues with Translation  
Wed 11/4 Models  
Mon 11/9 Problem Session 6 Quiz 6
Wed 11/11 University Holiday: Veterans Day Online Assignment 6
Mon 11/16 Validity  
Wed 11/18 Natural Deduction: Quantification  
Mon 11/23 Problem Session 7 Quiz 7
Wed 11/25 Thanksgiving Break  
Mon 11/30 Common Mistakes and Strategies Online Assignment 7
Wed 12/2 Practice Final (Solutions)  
Fri 12/5   Online Assignments
Wed 12/9 Final Exam
8 - 10 am		 Final Exam