Logic


Welcome to my logic pages!



All that we are is founded upon our thoughts, and formed on our thoughts." (Dhammapadda, 1.1)

Here are first:

Some reasons why logic is of fundamental human(e) importance

It is at the foundations of all human inferences, and therewith of human survival.

It is at the foundations of peaceful, rational and reasonable social change and all argumentation.

Together with language, logic is what makes human beings really different from other animals: only human beings can seek peaceful agreement on what may be the case and what may be done by rational discussion.

Without mathematical logic, computers are hard to think of, design, built or maintain.

Note that some of the most intelligent men there have been - Socrates, Aristotle, Abélard, Ockham, Newton, Leibniz, Babbage, Boole, Peirce, Frege, Russell, Gödel, Turing, Von Neumann, Smullyan - have spend much of their intellectual efforts at clarifying logical questions, and note also that there is more to logic than mathematics (as you will find when you investigate its history, and non-Western traditions, such as the schools of Buddhist and Hindustic logic).

And as I indicated in the above table, one of the triumphs of modern mathematical logic is the computer - that derives from ideas and ideals of Leibniz, Babbage, Boole, Turing and Von Neumann, and that has radically changed and increased the abilities of man since the second half of the 20th Century.
For the time being this icon means what it supposed to mean: This section  is
(still) "Under Construction", and the available versions of papers and essays meanwhile are neither meant to be finished, faultless, nor (necessarily) even meaningful (to all), and are indeed not really intended for "the general public" or else for the most intelligent of these, who care to make some efforts in thinking clearly for themselves.

I wish you pleasurable and instructive reading!

For the present there are just two files on the site from my Ph.D.-thesis-to-be:

Introduction
Chapter 1

First versions of

And here is a link to good books about logic.

Maarten Maartensz
                                                                               last update: 25 Jan 2012