Non-classical Logic

Home > Philosophy > Philosophy of Mathematics > Logic and Set Theory > Non-classical Logic

This is an umbrella term for various types of logic, which depart from classical logic in different ways—for example, by rejecting the law of non-contradiction, or by introducing more than two truth values.