introduction to logic

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

The electronic textbook for this course, Introduction to Logic is 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/25	Arguments
Wed 8/27	Validity and Form
Mon 9/1	University Holiday: Labor Day
Wed 9/3	Problem Session 1: How to Identify the Conclusion of an Argument How to Extract an Argument Form How to Check for Validity How to Check for Soundness	Quiz 1 Solutions
	PROPOSITIONAL LOGIC
Mon 9/8	Basic Language How to Type Logical Symbols in Carnap	Online Assignment 1
Wed 9/10	Truth Tables
Mon 9/15	Validity
Wed 9/17	Problem Session 2 How to Draw a Construction Tree How to Check for Tautologies How to Check for Equivalence How to Check for Validity	Quiz 2 Solutions
Mon 9/22	Translation	Online Assignment 2
Wed 9/24	Complex Translation
Mon 9/29	Natural Deduction: Conjunction
Wed 10/1	Problem Session 3 How to Translate a Sentence How to Translate an Argument	Quiz 3 Solutions
Mon 10/6	Natural Deduction: Conditional and Disjunction	Online Assignment 3
Wed 10/8	Natural Deduction: Negation
Mon 10/13	Propositional Validity
Wed 10/15	Problem Set 4 How to Build a Proof	Quiz 4 Solutions
Mon 10/20	Timed Test 1 Solutions Practice Timed Test 1 Solutions to Practice Timed Test 1	Online Assignment 4
	QUANTIFICATIONAL LOGIC
Wed 10/22	Basic Language
Mon 10/27	Translation
Wed 10/29	Problem Session 5 How to Check for Formulas Open and Closed Formulas	Quiz 5 Solutions
Mon 11/3	Issues with Translation	Online Assignment 5
Wed 11/5	Models
Mon 11/10	Validity
Wed 11/12	Problem Session 6 How to Test for Validity	Quiz 6 Solutions
Mon 11/17	Natural Deduction: Quantification	Online Assignment 6
Wed 11/19	Common Mistakes and Strategies
Mon 11/24	Quantificational Validity and Identity
Wed 11/26	Thanksgiving Break
Mon 12/1	Problem Session 7 How to Test for Validity Again	Quiz 7 Solutions
Wed 12/3	Timed Test 2 Solutions Practice Timed Test 2 Solutions to Practice Timed Test 2	Online Assignment 7
Fri 12/5		Online Assignments