Phil 2310 Spring 2014

Philosophy 2310:
Introduction to Logic
Spring, 2014

Professor Joel Velasco
Class meets M,W, F 10:00-10:50
Mass Communications 353
Sections meet:

Hamed 12-12:50 W (Phil 152)
Brian 12-12:50 W (Phil 150)
Josh 1-1:50 W (Phil 152)
Chad 2-2:50 W (Phil 152)

All assignments and handouts will be posted on this website. The lecture slides will also be posted below.

Assignments:

Actual Exam with answers

**** Correction posted 3/5!! ****

*** Answers for Homework 10***

slides as pdf keynote
some v-elimination proofs prf1 prf2 prf3

slides as pdf keynote
nested v-elimination proof prf1

No slides
**Test was in-class Fri, Feb 21**

slides as pdf keynote (we didn't talk about the difficult example at the end of the slides)

slides as pdf keynote (we didn't talk about the difficult example at the end of the slides)

slides as pdf keynote (we didn't talk about the counting examples at the end of the slides)

slides as pdf keynote (we didn't talk about the counting examples at the end of the slides)

Assignments:

Assignment 1 due 1/24 (submitted portions and hand-in portions before class)

Assignment 2: due 1/31

Assignment 3: due 2/7

Assignment 4: due MONDAY 2/17

***The first in-class exam is Friday, Feb 21st. The following sample exam will look very much like the actual exam. Sample Exam

Assignment 5: due Friday 3/7

Assignment 6: due 3/14 The following two supplements will help you with testing validity Supplement 1 Supplement 2

Assignment 7: due MONDAY 3/31

***The second in-class exam is Friday, April 4th.

Sample exam

Assignment 8: due Friday, 4/18

Assignment 9: due Monday, 4/28

Assignment 10: due Monday, 5/5

***The final exam is Monday, May 12th from 1:30 - 4:30 in our regular lecture room.

Sample exam

SLIDES:

Lecture 1: Introduction (Wed, Jan 15)

Lecture 2: Atomic Sentences (Fri, Jan 17)

Lecture 3: The Logic of Atomic Sentences (Wed, Jan 22)

Lecture 4: The Logic of Atomic Sentences II (Fri, Jan 24)

Lecture 5: The Boolean Connectives (Mon, Jan 27)

Lecture 6: Conditionals (Wed, Jan 29)

Lecture 7: Biconditionals and Truth Tables (Fri, Jan 31)

Lecture 8: Building and using Truth Tables (Mon, Feb 3)

Lecture 9: Truth Tables and Proofs for Boolean Connectives I (Wed, Feb 5)

Lecture 10: Methods of Proof for Boolean Connectives II (Fri, Feb 7)

Lecture 11: Truth Tables and Proofs for Boolean Connectives III (Mon, Feb 10)

Lecture 12: Proofs in Boolean Logic (Wed, Feb 12)

Lecture 13: Hard Proofs (Fri, Feb 14)

Lecture 14: Review day 1 (Mon, Feb 17)

Lecture 15: Review Day 2 (Wed, Feb 19)

Lecture 16: Proofs with Conditionals (Mon, Feb 24)

Lecture 17: Conditional Introduction (Wed, Feb 26)

Lecture 18: Proofs with Conditionals III (Fri, Feb 28)

Lecture 19: Paradoxes of Material Implication (Mon, Mar 3)

Lecture 20: Practice using Taut Con (Wed, Mar 5)

Lecture 21: Testing Validity (Fri, Mar 7)

Lecture 22: Testing Validity II (Mon, Mar 10)

Lecture 23: Introduction to Quantifiers (Wed, Mar 12)

Lecture 24: Basic Quantifer Translations (Fri, Mar 14)

Lecture 25: More Quantifier Translations (Mon, Mar 24)

Lecture 26: The Meaning of Quantified Sentences (Wed, Mar 26)

Lecture 30: Formal Proofs with Quantifiers (Mon, April 7)

Lecture 31: Formal Proofs with Quantifiers II (Wed, April 9)

Lecture 32: Formal Proofs with Existential Quantifiers (Fri, April 11)

Lecture 34: Multiple Quantifiers (Wed, April 16)

Lecture 36: Proofs with Multiple Quantifiers (Wed, April 23)

Lecture 37: More Proofs with Multiple Quantifiers (Fri, April 25)

Lecture 38: Validity in FOL (Mon, April 28)

Lecture 39: Diagrams and Validity (Wed, April 30)

Lecture 40: Validity in FOL (Fri, May 1)

Lecture 41: Summary of the Course (Mon, May 5)

***The first in-class exam is Friday, Feb 21st. The following sample exam will look very much like the actual exam.
Sample Exam

Assignment 6: due 3/14
The following two supplements will help you with testing validity
Supplement 1 Supplement 2