CRYPTO-INDUCTIVIST: That doesn’t seem a very secure foundation for pure logic.
DAVID: It is not perfectly secure. Nor should we expect it to be, for logical reasoning is no less a physical process than scientific reasoning is, and it is inherently fallible. The laws of logic are not self-evident. There are people, the mathematical ‘intuitionists’, who disagree with the conventional laws of deduction (the logical ‘rules of inference’). I discuss their strange world-view in Chapter 10 of The Fabric of Reality. They cannot be proved wrong, but I shall argue that they are wrong, and I am sure you will agree that my argument justifies this conclusion.
CRYPTO-INDUCTIVIST: So you don’t think that there is a ‘problem of deduction’, then?
DAVID: No. I don’t think that there is a problem with any of the usual ways of justifying conclusions in science, philosophy or mathematics. However, it is an interesting fact that the physical universe admits processes that create knowledge about itself, and about other things too. We may reasonably try to explain this fact in the same way as we explain other physical facts, namely through explanatory theories. You will see in Chapter 6 of The Fabric of Reality that I think that the Turing principle is the appropriate theory in this case. It says that it is possible to build a virtual-reality generator whose repertoire includes every physically possible environment. If the Turing principle is a law of physics, as I have argued that it is, then we should not be surprised to find that we can form accurate theories about reality, because that is just virtual reality in action. Just as the fact that steam engines are possible is a direct expression of the principles of thermodynamics, so the fact that the human brain is capable of creating knowledge is a direct expression of the Turing principle.
CRYPTO-INDUCTIVIST: But how do we know that the Turing principle is true?
DAVID: We don’t, of course … But you are afraid, aren’t you, that if we can’t justify the Turing principle, then we shall once again have lost our justification for relying on scientific predictions?
CRYPTO-INDUCTIVIST: Er, yes.
DAVID: But we have now moved on to a completely different question! We are now discussing an apparent fact about physical reality, namely that it can make reliable predictions about itself. We are trying to explain that fact, to place it within the same framework as other facts we know. I suggested that there may be a certain law of physics involved. But if I were wrong about that, indeed even if we were entirely unable to explain this remarkable property of reality, that would not detract one jot from the justification of any scientific theory. For it would not make the explanations in such a theory one jot worse.
CRYPTO-INDUCTIVIST: Now my arguments are exhausted. Intellectually, I am convinced. Yet I must confess that I still feel what I can only describe as an ‘emotional doubt’.
DAVID: Perhaps it will help if I make one last comment, not about any of the specific arguments you have raised, but about a misconception that seems to underlie many of them. You know that it is a misconception; yet you may not yet have incorporated the ramifications of that into your world-view. Perhaps that is the source of your ‘emotional doubt’.
CRYPTO-INDUCTIVIST: Fire away.
DAVID: The misconception is about the very nature of argument and explanation. You seem to be assuming that arguments and explanations, such as those that justify acting on a particular theory, have the form of mathematical proofs, proceeding from assumptions to conclusions. You look for the ‘raw material’ (axioms) from which our conclusions (theorems) are derived. Now, there is indeed a logical structure of this type associated with every successful argument or explanation. But the process of argument does not begin with the ‘axioms’ and end with the ‘conclusion’. Rather, it starts in the middle, with a version that is riddled with inconsistencies, gaps, ambiguities and irrelevancies. All these faults are criticized. Attempts are made to replace faulty theories. The theories that are criticized and replaced usually include some of the ‘axioms’. That is why it is a mistake to assume that an argument begins with, or is justified by, the theories that eventually serve as its ‘axioms’. The argument ends — tentatively — when it seems to have shown that the associated explanation is satisfactory. The ‘axioms’ adopted are not ultimate, unchallengeable beliefs. They are tentative, explanatory theories.
CRYPTO-INDUCTIVIST: I see. Argument is not the same species of thing as deduction, or the non-existent induction. It is not based on anything or justified by anything. And it doesn’t have to be, because its purpose is to solve problems — to show that a given problem is solved by a given explanation.
DAVID: Welcome to the club.
CRYPTO-INDUCTIVIST: All these years I have felt so secure in my great Problem. I felt so superior both to the ancient inductivists, and to the upstart Popper. And all the time, without even knowing it, I was a crypto-inductivist myself! Inductivism is indeed a disease. It makes one blind.
DAVID: Don’t be too hard on yourself. You are cured now. If only your fellow-sufferers were as amenable to being cured by mere argument!
EX-INDUCTIVIST: But how could I have been so blind? To think that I once nominated Popper for the Derrida Prize for Ridiculous Pronouncements, while all the time he had solved the problem of induction! O mea culpa! God save us, for we have burned a saint! I feel so ashamed. I see no way out but to throw myself over this railing.
DAVID: Surely that is not called for. We Popperians believe in letting our theories die in our place. Just throw inductivism overboard instead.
EX-INDUCTIVIST: I will, I will!
crypto-inductivist Someone who believes that the invalidity of inductive reasoning raises a serious philosophical problem, namely the problem of how to justify relying on scientific theories.
Next, the fourth strand, the theory of evolution, which answers the question ‘what is life?’
8
The Significance of Life
From ancient times until about the nineteenth century, it was taken for granted that some special animating force or factor was required to make the matter in living organisms behave so noticeably differently from other matter. This would mean in effect that there were two types of matter in the universe: animate matter and inanimate matter, with fundamentally different physical properties. Consider a living organism such as a bear. A photograph of a bear resembles the living bear in some respects. So do other inanimate objects such as a dead bear, or even, in a very limited fashion, the Great Bear constellation. But only animate matter can chase you through the forest as you dodge round trees, and catch you and tear you apart. Inanimate things never do anything as purposeful as that — or so the ancients thought. They had, of course, never seen a guided missile.
To Aristotle and other ancient philosophers, the most conspicuous feature of animate matter was its ability to initiate motion. They thought that when inanimate matter, such as a rock, has come to rest, it never moves again unless something kicks it. But animate matter, such as a hibernating bear, can be at rest and then begin to move without being kicked. With the benefit of modern science we can easily pick holes in these generalizations, and the very idea of ‘initiating motion’ now seems misconceived: we know that the bear wakes up because of electrochemical processes in its body. These may be initiated by external ‘kicks’ such as rising temperature, or by an internal biological clock which uses slow chemical reactions to keep time. Chemical reactions are nothing more than the motion of atoms, so the bear never is entirely at rest. On the other hand a uranium nucleus, which is certainly not alive, may remain unchanged for billions of years and then, without any stimulus at all, suddenly and violently disintegrate. So the nominal content of Aristotle’s idea is worthless today. But he did get one important thing right which most modern thinkers have got wrong. In trying to associate life with a basic physical concept (albeit the wrong one, motion), he recognized that life is a fundamental phenomenon of nature.