introduction to logic
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. Here is a link to the syllabus for the course.
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
| 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 Construction Trees for Formulas of Propositional Logic How to Check for Tautologies and Contradictions How to Check for Equivalence How to Check for Validity |
Quiz 2 |
| Mon 9/22 | Translation | Online Assignment 2 |
| Wed 9/24 | Complex Translation | |
| Mon 9/29 | Natural Deduction: Conjunction | |
| Wed 10/1 | Problem Session 3 | Quiz 3 |
| 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 | Quiz 4 |
| Mon 10/20 | Timed Test 1 | Online Assignment 4 |
| Quantificational Logic | ||
|---|---|---|
| Wed 10/22 | Basic Language | |
| Mon 10/27 | Translation | |
| Wed 10/29 | Problem Session 5 | Quiz 5 |
| Mon 11/3 | Complex Translation | Online Assignment 5 |
| Wed 11/5 | Models | |
| Mon 11/10 | Validity | |
| Wed 11/12 | Problem Session 6 | Quiz 6 |
| 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 | Quiz 7 |
| Wed 12/3 | Timed Test 2 | Online Assignment 7 |