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

- 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
- Three Valued Logics

#### Additional Material

### Homework

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