Phil 76500, Spring 2018
Class Schedule: Tuesday, 11:45 - 1:45, Room 6421.
Recommended (but not required) Textbook: An Introduction to Non-Classical Logic, Graham Priest.
Instructor: Melvin Fitting
Course Term Paper or Final Exam
I've decided to offer a choice: a term paper or a take-home final exam. Whichever you choose, it is due May 22. Please email it to me at email@example.com.
- A description of the term paper can be found here. The paper should be about 20 pages, double spaced, including bibliography.
- The take-home final (corrected version) can be found here.
Some of these notes are directly about what we discuss in class. This is the first batch, Primary Course Notes. Some involve extras that you can read if you are interested, but you don't have to. These are in the second batch, Additional Material.
Primary Course Notes
- Slides about classical tableaus
- Intuitionistic logic tableaus
- Intuitionistic tableau aoundness and completeness
- Modal Semantics
- Destructive Modal Tableaus 1
- Destructive Modal Tableaus 2
- Modal Consequence
- Non-Normal Worlds
- The Lewis Systems
- Proving Axiomatic Unprovability (corrected)
- Three Valued Logics
- First Degree Entailment
- First Degree Entailment, Continued
- Introduction to forthcoming book on justification logic
- Reasoning with Justifications
- Justification Logic slides
The homework is to be handed in.
- Classical Logic
- Intuitionistic Logic I
- Intuitionistic Logic II
- Modal Logic I
- Modal Logic II
- Regular Logics
- Using Matrices (There were two typos in the implication table. Please download again.)
- Going Further with Modal Logics
- First Degree Entailment I
- First Degree Entailment II
- Relevance Logic I
- Relevance Logic II
Here are Comments on Exercise Set 10.