Lecture Notes



Class Schedule

Course Description

Exam Results and Grades

Preparing for exams

Printouts You’ll Need

Supplementary Exercises


Philosophy 120A
Autumn 2007

Introduction to Logic

Lecture Notes

The lecture notes included here accompany PHIL 120A, Introduction to Logic, at the University of Washington. They are intended solely for the use of the students in that course. They are all Copyright © 2007, by S. Marc Cohen. They may not be reproduced, copied, sold, or otherwise distrubuted, in either print or electronic form, without the express written consent of the author.

The notes are in PDF format, and require the use of Adobe Reader, a free program available from www.adobe.com, or as part of the UW Internet Connectivity Kit (UWICK).

There is no guarantee that these notes will exactly match the content of classes conducted during the present term at the University of Washington. The notes are intended to enhance the understanding of the students who attend the lectures to which they correspond, and not to replace those lectures.

These notes are subject to change without notice, and may be updated during the course of the term. To see whether a file listed below is newer than one you have previously downloaded, click on the relevant link below and check the revision date that appears at the foot of each page.

Chapter 1: Atomic Sentences

Chapter 2: The Logic of Atomic Sentences

Chapter 3: The Boolean Connectives

Chapter 4: The Logic of Boolean Connectives

Chapter 5: Methods of Proof for Boolean Logic

Chapter 6: Formal Proofs and Boolean Logic

Chapter 7: Conditionals

Chapter 8: The Logic of Conditionals

Chapter 9: Introduction to Quantification

Chapter 10: The Logic of Quantifiers

Chapter 11: Multiple Quantifiers

Chapter 12: Methods of Proof for Quantifiers

Chapter 13: Formal Proofs and Quantifiers

Chapter 14: More about Quantification

Supplement: Properties of Relations and Infinite Domains

In addition to the lecture notes listed above, you may find this Glossary of Logical Terms a useful resource. It’s an expanded version of the one found at the back of LPL.


Contact the professor at: