Introduction to Logic
Syntax and semantics of propositional and predicate logic; modal and inductive logic; some history and philosophy of logic.
PHIL 50 - Spring 2014
Office Hours
- Course Topics
- Propositional Logic
- Predicate Logic
- Modal Logic and Probability
Items posted:
Homework - Week # 1, 1-S, 2, 2-S, 3, 3-S, 4, 4-S, MT-S, 5, 5-S, 6, 6-S, 7, 7-S, 8, 8-S, 9, 9-S, 10, 10-S, Final, Final-S
Notes on Derivations Propositional Logic , Derivations Predicate Logic , Modal Logic , and Logic and Probability
Slides - Before midterm - 1-M, 1-W, 1-F, 2-M, 2-W, 2-F, 3-M, 3-W, 3-F, 4-M
Midterm Review - Sample Questions, Syntax and Semantics, Sample Derivations, Derivation guide
Slides - After midterm - 5-M, 5-W, 5-F, 6-M, 6-W, 6-F, 7-M, 7-W, 7-F, 8-M, 8-W, 8-F, 9-W
Final Review - First Part, Second Part
Propositional Logic
WEEK 1
Preliminaries
- Slides: Mon, Wed, Fri
- Homework 1 - Solutions
WEEK 2
Syntax and Semantics
- Slides: Mon, Wed, Fri
- Homework 2 - Solutions
WEEK 3
Derivations
- Slides: Mon, Wed, Fri
- Notes: Derivations
- Homework 3 - Solutions
REVIEW
Midterm Material
WEEK 4
Soundness, Completenes, Review
- Slides: Mon
- Homework 4 - Solutions
Predicate Logic
WEEK 5
Syllogistic Logic
- Slides: Mon, Wed, Fri
- Homework 5 - Solutions
WEEK 6
Translations
- Slides: Mon, Wed, Fri
- Homework 6 - Solutions
WEEK 7
Syntax and Semantics
- Slides: Mon, Wed, Fri
- Homework 7 - Solutions
WEEK 8
Derivations
- Slides: Mon, Wed, Fri
- Notes: Derivations in Predicate Logic
- Homework 8 - Solutions
Modal Logic and Probability
WEEK 9
Modal Logic
- Slides: Wed
- Notes: Modal Logic
- The NY Times on Ruth Barcan Marcus
- Homework 9 - Solutions
WEEK 10
Logic and Probability
- Notes: Probability and Logic
- Homework 10 - - Solutions