Description

---

A Logic of Exceptions provides the concepts and tools for sound inference. Discussed are: (1) the basic elements: propositional operators, predicates and sets; (2) the basic notions: inference, syllogism, axiomatics, proof theory; (3) the basic extra’s: history, relation to the scientific method, the paradoxes. The new elements in the book are: (4) a logic of exceptions, solutions for those paradoxes, analysis of common errors in the literature, routines in Mathematica. The book is intended to be used in the first year of college or university. The last two chapters require a more advanced level that is worked up to. Contents

---

A direct hands-on introduction to logic | Logic, theory and programs | Propositional logic | Predicate logic | Inference | Applications | Three-valued propositional logic | Brouwer and intuitionism | Proof theory and the Gödeliar | Notes on formalization | Reading notes Related Topics

---