HOME  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 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 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.


BACK TO TOP

Contact the professor at:
