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)

Download the syllabus

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

## Assignments:

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

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

Sample Exam

Actual Exam with answers

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

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

#### Sample exam

#### ***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)

slides as pdf keynote

#### Lecture 2: Atomic Sentences (Fri, Jan 17)

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

#### Lecture 6: Conditionals (Wed, Jan 29)

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

some v-elimination proofs prf1 prf2 prf3

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

slides as pdf keynote

nested v-elimination proof prf1

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

slides as pdf keynote

#### Lecture 13: Hard Proofs (Fri, Feb 14)

slides as pdf keynote

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

slides as pdf keynote

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

No slides

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

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

slides as pdf keynote

#### Lecture 17: Conditional Introduction (Wed, Feb 26)

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

#### Lecture 21: Testing Validity (Fri, Mar 7)

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

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

slides as pdf keynote

#### Lecture 34: Multiple Quantifiers (Wed, April 16)

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

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

slides as pdf keynote

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

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

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

slides as pdf keynote

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

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

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

slides as pdf keynote

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

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