## Pages

### Philosophy - Part 17 - Induction

Philosophy - Part 17 - Induction - by P.K.Odendaal - August 2012

It is probable that all we know, we know from a process called induction - a very powerful mathematical and scientific tool, greatly neglected by fields like philosophy, psychology and religion. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true for all natural numbers. In science and philosophy it is a kind of reasoning that constructs or evaluates general propositions that are derived from specific examples.
One such an example is a statement by Goldbach, called the Goldbach conjecture. In 1742 he conjectured in a letter to Euler that every even number from 4 onwards is the sum of two prime numbers like in 12=5+7. No proof of this is known other than that Tomas Oliveira e Silva proved in 2008 that it is true for all whole numbers up to 1018.

And this is the basis all our maths and science is based on. Such conjectures are known as axioms. We take as an axiom that 1+2=3, and we have a good idea that this adding process [n+(n+1)=2*n+1] is true for all possible numbers up to infinity, be cannot know for sure.
On the other hand, philosophers, like Descartes, has proposed a philosophic system much weaker than this on a conjecture which says 'I think therefore I am'. And then philosophers like Hume, Wittgenstein and to a certain extent Sartre, has thrown this reasoning into the waste paper basket.
I am quite sure there must be enough axioms that can be produced by induction that can move us forward in philosophy, psychology and religion, like they have done in mathematics and science. But what are these and where and how do we search for them? In my own conjecture I have twisted the conjecture of Descartes by saying 'I am, therefore I think' - and maybe it was not such a bad start, but we will need some serious debate over the issue.
In religion I can quote the classical story of the man who was born blind:

This is a very powerful argument for taking a conjecture as an axiom. This man argues with the Pharisees, who were all followers of David Hume (so to speak) and comes to the conjecture: but if any man be a worshipper of God, and doeth his will, him he heareth.
In the process the Pharisees have their own conjectures like: Therefore said some of the Pharisees, This man is not of God, because he keepeth not the sabbath day - what a useless conjecture?
This argument of the blind man is now open for the inductive reasoning process, and has been proved for numbers up to 1018 (so to speak) - and it is still not accepted as an axiom by many people, because they do not know whether it is true for the whole domain and for all possible cases. In fact, nobody pursues this conjecture, exactly for this reason - they may find out that it is true, and then they cannot profess to be atheists or agnostics anymore.
I am not into the game of stating conjectures which may become axioms, but I know a lot of clever philosophers who have neglected this line of thought over centuries. Maybe we can start again.
The conjectures presently being pursued by scientists as axioms, are even shakier and weaker ones.
Firstly there is the conjecture which says that the Darwinian Delusion is a very close approximation of Evolution. Well - that is conjecture at its most primitive, ignorant, unproved or un-induced stage.
There is another which says that life, reality, matter and many other things end at the speed of light, whilst we know that it is not so, but we are unable, at this stage, to turn our conjectures of thought, psyche, consciousness and telepathy into more tangible axioms.
Where shall we go next? Or shall we finally accept GĂ¶del's Incompleteness Theorems which states:
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that such a system cannot demonstrate its own consistency.
Goodbye Hilbert!2

2.       Refers to David Hilbert (January 23, 1862 – February 14, 1943)

Afterthought 2 February 2013 :

Be aware that induction on which our mathematics and science is based is a trap for fools, and I will illustrate it this way :

A martian comes to our planet and find a lot of replicas of mankind. He sees the replication as a law of our planet, where every specimen of mankind is a copy of half of itself, being the left and right of two identical sides. Each person has these two identical sides with identical parts like two identical arms, two legs, two eyes, two ears, two brains, two middle fingers, two big toes ... and so on.
By induction he is allowed to extrapolate that what he cannot see in the inside of us are also identical and he confirms his postulate on a 95% probablity that we also have two hearts.

Just to bad. Science is always right. We should have two hearts.