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

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 mfitting@gc.cuny.edu.

- 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**.

- 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
- Bilattices
- Introduction to forthcoming book on justification logic
- Reasoning with Justifications
- Justification Logic slides

- Notes on Classical Propositional Logic
- Video about the logic K3 Greg Restall is an Australian logician. He spoke in the Philosophy Colloquium on April 28 and will speak in the Logic and Metaphysics Workshop on April 9. Besides K3, he has many videos on logic topics, see this link. (Thanks to Christopher Collins for telling me about these links.)

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.**