introduction to logic
This is the website for PHIL 220. Introduction to Logic (Fall 2026).
start here
-
Read the syllabus.
-
Bookmark the electronic textbook Introduction to Logic.
-
Create a Carnap account and enroll in USC Introduction to Logic Fall 2026.
Your assignments will be visible in your user page on Carnap. -
Before the first online assignment, skim How to Type Logical Symbols in Carnap.
-
Find out which discussion section you are in, and note your section leader’s email address.
section leaders
You are enrolled in one of six discussion sections. Your section leader handles quizzes, tokens, and assignment credit, and they are often the first point of contact. Make a note of their e-mail address in the first week.
| discussion section | room | section leader |
|---|---|---|
| Mon 10 - 10:50 am | MHP 102 | Yudi Huang |
| Mon 11 - 11:50 am | MHP 102 | Yudi Huang |
| Mon 12 - 12:50 pm | DMC 257 | Jin Zeng |
| Wed 10 - 10:50 am | GFS 228 | Jin Zeng |
| Wed 11 - 11:50 am | DMC 256 | Benjamin Andrew |
| Wed 12 - 12:50 pm | DMC 257 | Benjamin Andrew |
Section leaders:
- Benjamin Andrew, bandrew@usc.edu
- Yudi Huang, yudih@usc.edu
- Jin Zeng, jinzeng@usc.edu
When you e-mail me or your section leader, please write ‘PHIL 220’ in the subject line. We aim to reply within 48 hours, so do follow up after that.
help
-
Open office hours: Mon 10 - 11am at STO 221.
-
Online one-on-one office hours: Wed 12pm-1:30pm, by appointment.
-
Tutorials, problems, and solutions: USC Logic Web for tutorials and a suite of problems and solutions.
-
Grading, late work, academic integrity, and accommodations are covered in the syllabus.
-
e-mail: uzquiano@usc.edu
practice tools
Please feel free to explore these tools at your own convenience.
propositional logic:
quantificational logic:
Proofs in propositional and quantificational logic:
schedule
Assignments are due at 11:59pm Pacific on the date listed. Practice materials and solutions are linked here as they become available. The schedule may change; check back for updates.
| date | topic | activities |
|---|---|---|
| INTRODUCTION | ||
| Mon 8/24 | Arguments | Slides |
| Wed 8/26 | Validity and Form | Slides |
| Mon 8/31 | Problem Session 1 | Quiz 1 |
| PROPOSITIONAL LOGIC | ||
| Wed 9/2 | Basic Language | Slides Assignment 1 |
| Mon 9/7 | University Holiday: Labor Day | |
| Wed 9/9 | Truth Tables | Slides |
| Mon 9/14 | Problem Session 2 | Quiz 2 |
| Wed 9/16 | Validity | Slides 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 | 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 8:30 - 9:50 am @ THH 202 Practice Midterm (Solutions) |
|
| QUANTIFICATIONAL LOGIC | ||
| Wed 10/21 | Basic Language | |
| Mon 10/26 | Problem Session 5 | Quiz 5 |
| Wed 10/28 | Translation | 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 | 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 | Assignment 7 |
| Wed 12/2 | Practice Final (Solutions) | |
| Fri 12/4 | Late Assignments Due | |
| Wed 12/9 | Final 8 - 10 am @ THH 202 |
Final Exam |