LOGICAL CONSEQUENCES

classical logic is the reference system, and the non-classical deductive systems are seen as extensions, deviations, or variations thereof. The discussion of non-classical deductive consequence focuses on many-valued, intuitionistic, modal, paraconsistent, and substructural logical consequences. The topic of non-deductive consequence is elaborated on from the viewpoints of abductive, inductive, and probabilistic logics. All in all, the major contemporary (classes of) logical systems are here discussed.   The approach is mathematical in essence, and the mathematical background, mainly founded on order relations, is treated thoroughly and in an accessible way for the non-mathematician.