introduction to logic
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 |
| PROPOSITIONAL LOGIC | ||
| Wed 9/2 | Basic Language Formula Checker How to Type Logical Symbols in Carnap |
Online Assignment 1 |
| Mon 9/7 | University Holiday: Labor Day Basic Language |
|
| Wed 9/9 | Truth Tables Truth Table Builder |
|
| Mon 9/14 | Problem Session 2 | Quiz 2 |
| Wed 9/16 | Validity | Assignment 2 |
| Mon 9/21 | Translation Translation |
|
| Wed 9/23 | Complex Translation | |
| Mon 9/28 | Problem Session 3 | Quiz 3 |
| Wed 9/30 | Natural Deduction: Conjunction Proof Checker |
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 | Assignment 4 |
| Mon 10/19 | Midterm (Solutions) Practice Midterm (Solutions) |
|
| QUANTIFICATIONAL LOGIC | ||
| Wed 10/21 | Basic Language Formula Checker |
|
| Mon 10/26 | Problem Session 5 | Quiz 5 |
| Wed 10/28 | Translation Translation |
Assignment 5 |
| Mon 11/2 | Issues with Translation | |
| Wed 11/4 | Models Model Checker |
|
| Mon 11/9 | Problem Session 6 | Quiz 6 |
| Wed 11/11 | University Holiday: Veterans Day | Assignment 6 |
| Mon 11/16 | Validity | |
| Wed 11/18 | Natural Deduction: Quantification Proof Checker |
|
| Mon 11/23 | Problem Session 7 | Quiz 7 |
| Wed 11/25 | Thanksgiving Break | |
| Mon 11/30 | Common Mistakes and Strategies | Assignment 7 |
| Wed 12/2 | Practice Final (Solutions) | |
| Fri 12/5 | Assignments Due | |
| Wed 12/9 | Final 8 - 10 am |
Final Exam |