Phil 76600

Phil 76500, Spring 2018

Non-Classical Logics

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 Description:

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

  1. A description of the term paper can be found here. The paper should be about 20 pages, double spaced, including bibliography.
  2. The take-home final (corrected version) can be found here.

Course Notes

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

  1. Slides about classical tableaus
  2. Intuitionistic logic tableaus
  3. Intuitionistic tableau aoundness and completeness
  4. Modal Semantics
  5. Destructive Modal Tableaus 1
  6. Destructive Modal Tableaus 2
  7. Modal Consequence
  8. Non-Normal Worlds
  9. The Lewis Systems
  10. Proving Axiomatic Unprovability (corrected)
  11. Three Valued Logics
  12. First Degree Entailment
  13. First Degree Entailment, Continued
  14. Bilattices
  15. Introduction to forthcoming book on justification logic
  16. Reasoning with Justifications
  17. Justification Logic slides

Additional Material


The homework is to be handed in.

  1. Classical Logic
  2. Intuitionistic Logic I
  3. Intuitionistic Logic II
  4. Modal Logic I
  5. Modal Logic II
  6. Regular Logics
  7. Using Matrices (There were two typos in the implication table. Please download again.)
  8. Going Further with Modal Logics
  9. First Degree Entailment I
  10. First Degree Entailment II
  11. Relevance Logic I
  12. Relevance Logic II

Here are Comments on Exercise Set 10.