Philosophy 2310:
Introduction to Deductive Logic
Fall, 2010
Professor Joel Velasco
Class meets M,W,F 1:25-2:15
Goldwin Smith G64
Section meets in Uris 375A from 11:15-12:05 on Fridays
Download the syllabus
All assignments and handouts will be posted on this website. This website is also accessible through the blackboard page for the course. On blackboard, this course is titled 'Phil3210-Velasco-Fall2010'.
Slides:
Lecture 1: Introduction (Wed, Aug 25)
slides
in pdf keynote
Lecture 2: Atomic Sentences (Fri, Aug 27)
slides
in pdf keynote
Lecture 3: The Logic of Atomic Sentences (Mon, Aug 30)
slides
in pdf keynote
Lecture 4: The Logic of Atomic Sentences II (Wed, Sep 1)
slides in pdf keynote
Examples from Class: Ex1, Ex2, Ex3, Ex4
Lecture 5: The Boolean Connectives (Fri, Sep 3)
slides in pdf keynote
Lecture 6: ConditionaIs (Wed, Sep 8)
slides in pdf keynote
Lecture 7: Truth Tables (Fri, Sep 10)
slides in pdf keynote
Lecture 8: Methods of Proof for Boolean Connectives I (Mon, Sep 13)
slides in pdf keynote
Lecture 10: Methods of Proof for Boolean Connectives III (Fri, Sep 17)
slides in pdf keynote
Lecture 11: Proofs with Conditionals (Mon, Sep 20)
slides in pdf keynote
Lecture 12: Proofs with Conditionals II (Wed, Sep 22)
slides in pdf keynote
Lecture 13: Proofs with Conditionals III (Mon, Sep 24)
slides in pdf keynote
Lecture 14: Testing Validity (Mon, Sep 27)
slides in pdf keynote
Lecture 15: Testing Validity II (Wed, Sep 29)
slides in pdf keynote
Lecture 16: Soundness of FT (Fri, Oct 1)
slides in pdf keynote
Lecture 17: Propositional Logic (Wed, Oct 6)
slides in pdf keynote
Lecture 18: Introduction to Quantifiers (Fri, Oct 8)
slides in pdf keynote
Lecture 19: Quantifiers (Wed, Oct 13)
slides in pdf keynote
Lecture 20: Formal Proofs with Quantifiers (Fri, Oct 15)
slides in pdf keynote
Lecture 21: Formal Proofs with Quantifiers II (Mon, Oct 18)
slides in pdf keynote (a scope line mistake in the first proof was corrected on 10-24)
Lecture 22: Equivalences in FOL (Wed, Oct 20)
slides in pdf keynote
Lecture 23: Multiple Quantifiers (Fri, Oct 22)
slides in pdf keynote
Lecture 24: Formal Proofs with Multiple Quantifiers (Mon, Oct 25)
slides in pdf keynote
Lecture 25: Testing Validity in Tarski's World (Wed, Oct 27)
slides in pdf keynote (note there are a number of slides here we didn't get to - we will go through them on Friday).
Lecture 26: Overlapping Scope Proofs and Identity (Fri, Oct 29)
slides in pdf keynote (note there are a few slides here we didn't get to - we will go through them next week).
Lecture 27: Diagrams and Interpretations (Wed, Nov 3)
slides in pdf keynote (A brief handout on 'Exactly one P' which I messed up in class.)
Lecture 28: Building and Using Diagrams (Mon, Nov 8)
slides in pdf keynote
Lecture 29: Building and Using Diagrams II (Wed, Nov 10)
slides in pdf keynote
Lecture 30: Independence and Logical Strength (Fri, Nov 12)
slides in pdf keynoteThere are many slides here which we didn't get to and will go through on Monday. But they may be helpful for the homework if you need more help with diagrams.
Lecture 31: Independence and Logical Strength (Mon, Nov 15)
slides in pdf keynote
Lecture 34: Sets and Models (Mon, Nov 22)
slides in pdf keynote
Lecture 35: Set Theory (Mon, Nov 29)
slides in pdf keynote
Lecture 36: Set Theory (Wed, Dec 1)
slides in pdf keynote
Here is a link to the webpage of Ken Kunen's Foundations of Math course. The notes are an early draft of a textbook (now out) which expresses the view that set theory is the theory of everything.
The first 16 pages or so have all the philosophy comments that I was referring to in class. Email me if you have problems with the .ps format.
Lecture 37: Summary of the Course (Fri, Dec 3)
slides in pdf keynote