A Logic of Exceptions
Download the PDF or
Download from Zenodo 291848 Download software in The
Economics Pack (1995, 2011)
Abstract of main results
for teachers and advanced students.
review by Richard Gill in Nieuw Archief voor Wiskunde, September
Book Review by the
European Mathematical Society, February 2012
Russell’s Paradox and Logicomix
Mathematica and books at Wolfram
Related book: Foundations in Mathematics. A
Neoclassical Approach to Infinity (FMNAI)
Download the PDF or Download from Zenodo 291848
Download software in The Economics Pack (1995, 2011)
Abstract of main results for teachers and advanced students.
Book review by Richard Gill in Nieuw Archief voor Wiskunde, September 2008
Book Review by the European Mathematical Society, February 2012
Russell’s Paradox and Logicomix
Mathematica and books at Wolfram
Related book: Foundations in Mathematics. A Neoclassical Approach to Infinity (FMNAI)
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.
Logic is used not only in science and mathematics but also in business and sometimes in politics and government. Logic and inference however can suffer from paradoxes such as the Liar paradox “This sentence is false” or the proof-theoretic variant by Gödel “This statement is not provable” or the Russell set paradox of “The catalogue of all catalogues that don’t mention themselves”. This book explains and solves those paradoxes, and thereby gives a clarity that was lacking up to now. The author proposes the new approach that a concept, such as the definition of truth or the notion of proof or the definition of a set, also reckons with the exceptions that may pertain to its very definition. The approach to keep exceptions in the back of one’s mind is a general sign of intelligence.
A quote from this book: “Since the Egyptians, mankind has been trying to solve the problem of bureaucracy. One frequent approach is the rule of law, say, that a supreme law-giver defines a rule that a bureaucracy must enforce. It is difficult for a law however to account for all kinds of exceptions that might be considered in its implementation. Ruthless enforcement might well destroy the very intentions of that law. Some bureaucrats might still opt for such enforcement merely to play it safe that nobody can say that they don't do their job. Decades may pass before such detrimental application is noticed and revised. There is the story of Catherine the Great regularly visiting a small park for a rest in the open air, so that they put a guard there; and some hundred years after her death somebody noticed that guarding that small park had become kind of silly. When both law-givers and bureaucrats grow more aware of some logic of exceptions then they might better deal with the contingencies of public management. It is a long shot to think so, of course, but in general it would help when people are not only aware of the rigour of a logical argument or rule but also of the possibility of some exception.”
You can benefit from this book also when you don’t have the software. However, with the software, you will have an interactive environment in which you can test the propositions in this book and your own deductions. The software is included in The Economics Pack - by the same author - which is an application of Mathematica, a system for doing mathematics with the computer. The Pack has users in many countries in the world. The Pack is available for Windows XP, Macintosh and Unix platforms and requires Mathematica 8.0.1 or later. It can be freely downloaded, but you need a licence to run it.
Back to the home page.
Warning: This book proves radical new ideas and must be read with care.
If you spend more than a cursory glance on the PDF then it is advisable
to get the hardcopy and continue reading from paper. I tend to focus my
research on misconceptions that lead society away from common sense, and
then I select pivots that cause crucially different points of view depending
on how the argument is resolved. Such a pivot only works well if the argumentation
gets proper attention.
NB 2015: ALOE holds that no experiment will allow us to find the true state of the world, i.e. volition, determinism or randomness, and that we can only apply models pragmatically. There now is an experiment on Bell's theorem, see this text by Richard Gill or his home page. I have no time to look at this just now. Does Bell's experiment concern properties within physics, or is it relevant for this fundamental question in epistemology ? If I would have time, I would look at it from the angle of the definition & reality methodology, see this recent explanation.
|The book only||
||One copy of "A Logic of Exceptions" (ALOE) Order Note: In 2012 the website was relocated. Above PDF has been updated with the name of the present website. Also some minor typos were corrected. The hardcopy print however uses the original PDF.|
||See The Economics Pack (TEP)|
This note is by R.D. Gill (Leiden university) April 23 2007:
"A Logic of Exceptions: I am presently reading, and rereading, a fascinating book about logic, science, Gödel's theorem, and much else besides. In fact I'm composing a book-review on it for the Dutch mathematical society's magazine "Nieuw Archief". The book is giving me a lot to ponder about, and has already made me change my mind concerning several issues on which I have long held strong opinions. (To give just one example: two months ago, I would have unhesitatingly said that three-valued logic was not a fruitful idea). I recommend the book highly to anyone who is not afraid to discover that they might have been wrong concerning a cherished opinion. To clinch the argument - you can freely download a pdf of the text at the book's internet site. The book does confirm a different opinion of mine: though I consider Gödel one of the great heroes of 20th century mathematics, any idea that his beautiful theorems have anything to say about artificial intelligence, quantum theory, consciousness, mind, or [whatever], is pure bunkum."
PM. The first edition of 2007 (PDF, no longer in print).
ALOE is used in "Elementary Statistics and Causality" (ESAC), planned somewhere in 2015+
Paper A difficulty in proof theory (August 2007)
Paper Improving the logical base of calculus on the issue of “division by zero” (July 2007) - but see: Conquest of the Plane (COTP, 2011).
The study on None, Some, All cause a study on infinity, see: Foundations in Mathematics. A Neoclassical Approach to Infinity (FMNAI, 2015).
L.E.J. Brouwer begreep de Uitgesloten Derde niet - reaction to Van Atten & Sundholm in NAW June 2014
Breach of scientific integrity 1981-2014 by Johan van Benthem, professor of logic at the universities of Groningen and Amsterdam, September 2014
A breach of scientific integrity since 1980 on the common logical paradoxes, May 21 2015