Phi 170 - Spring 2019
## Intro to Logic

#1 - due Feb 05
#2 - due Feb 19
#3 - due Feb 26
#4 - due Mar 05
#5 - due Mar 12
#6 - due Mar 19
Mar 26
TBA

## Intro to Logic

syllabus

### HW - before the midterm

### Midterm

### Final

### Week 1: Jan 29

### Week 2: Feb 5

### Week 3: Feb 12 - No Class

### Week 4: Feb 19

- How to prepare for this class: First, complete homework #2 (pdf). NB: You should only do exercises 1, 2, 4a, 4b and 4c. You may skip exercises 3 and 4d. In addition, make sure you watch and study the videos below along with the slides:
- Semantics of propositional logic (video, slides)
- Truth tables for "not", "and" and "or" (video, slides)
- Truth table for "implies" (video, slides)
- Truth of a formula (video, slides)
- You should watch each video at least twice. To strengthen your learning, also read section 2.5 of the textbook (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 5: Feb 26

- How to prepare for this class: First, complete homework #3 (pdf). In addition, make sure you watch and study the videos below along with the slides:
- Validity of a formula (video, slides)
- Validity of PEM and PNC (video, slides)
- Validity of Modus Ponens and Modus Tollens (video, slides)
- You should watch each video at least twice. To strengthen your learning, read section 2.6 of the textbook (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 6: March 5

- How to prepare for this class: First, complete homework #4 (pdf). In addition, make sure you watch and study the videos below along with the slides:
- Derivations in natural deduction (video, slides)
- Introduction and elimination rules for "and" and "implies" (video, slides)
- Idempotency and commutativity (video, slides)
- Negated formulas (video, slides)
- You should watch each video at least twice. To strengthen your learning, read my notes on how to construct derivations in propositional logic (up to page 5 only) (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 7: March 12

- How to prepare for this class: First, complete homework #5 (pdf). In addition, make sure you watch and study the videoes below along with the slides:
- Rules for contradiction (video, slides)
- Proof by contradiction (video, slides)
- Consequentia mirabilis (video, slides)
- Introduction and elimination rules for "or" (video, slides)
- Proof by cases (video, slides)
- You should watch each video at least twice. To strengthen your learning, read my notes on how to construct derivations in propositional logic (all the way until the end) (pdf). If anything is unclear, feel free to email me and come to class with questions.

### Week 8: March 19

- How to prepare for this class: First, complete homework #6 (pdf). In addition, make sure you review videos; slides; textbook excerpts about the syntax of propositional logic (section 2.4), truth (section 2.5) and validity (section 2.6); my notes on derivations in propositional logic; and all solutions previous homework assignments. Next week there will be a midterm exam. Come well prepared!

### Week 9: March 26

- Midterm exam

### Week 10: Apr 2

- Syllogistic language
- Basic set theory

### Week 11: Apr 9

- Validity of syllogisms

### Week 12: Apr 16

- Square of oppositions

### Week 13: Apr 23 - Spring break

### Week 14: Apr 30

- Translating into predicate logic
- Expressive power

### Week 15: May 7

- Square of opositions (revised)
- Nested quantifiers

### Week 16: May 14

- Review