Wolfram Books
SEARCH Advanced Search
Topic
Language
A Logic of Exceptions, Using The Economics Pack Applications of Mathematics for Elementary Logic
A Logic of Exceptions, Using The Economics Pack Applications of Mathematics for Elementary Logic
by Thomas Colignatus
  • Publisher: Thomas Cool
  • Year: 2011
  • ISBN: 9789080477476 (Paperback)
  • 256 pp
  • Based on: Version 8
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
Mathematica Journal
The Mathematica Journal
Articles on all aspects of Mathematica usage
Can't find what you're looking for or don't see your title listed? Contact us.