Joe Lucas

That space and time should be integrated into a single entity, spacetime, is the great insight of Einstein's special theory of relativity, and leads us to regard spacetime as a fundamental context in which to make sense of the world around us. But it is not the only one. Causality is equally important and at least as far as the special theory goes, it cannot be subsumed under a fundamentally geometrical form of explanation. In fact, the agent of propagation of causal influence is electromagnetic radiation. In this examination, the authors find support for a rationalist approach to physics, never neglecting experimentation, but rejecting a simple empiricist or positivist view of science.

I must start with an apologia. My original paper, ``Minds, Machines and Gödel'', was written in the wake of Turing's 1950 paper in Mind, and was intended to show that minds were not Turing machines. Why, then, didn't I couch the argument in terms of Turing's theorem, which is easyish to prove and applies directly to Turing machines, instead of Gödel's theorem, which is horrendously difficult to prove, and doesn't so naturally or obviously apply to machines? The reason was that Gödel's theorem gave me something more: it raises questions of truth which evidently bear on the nature of mind, whereas Turing's theorem does not; it shows not only that the Gödelian well-formed formula is unprovable-in-the-system, but that it is true. It shows something about reasoning, that it is not completely rule-bound, so that we, who are rational, can transcend the rules of any particular logistic system, and construe the Gödelian well-formed formula not just as a string of symbols but as a proposition which is true. Turing's theorem might well be applied to a computer which someone claimed to represent a human mind, but it is not so obvious that what the computer could not do, the mind could. But it is very obvious that we have a concept of truth. Even if, as was claimed in a previous paper, it is not the summum bonum, it is a bonum, and one it is characteristic of minds to value. A representation of the human mind which could take no account of truth would be inherently implausible. Turing's theorem, though making the same negative point as Gödel's theorem, that some things cannot be done by even idealised computers, does not make the further positive point that we, in as much as we are rational agents, can do that very thing that the computer cannot. I have however, sometimes wondered whether I could not construct a parallel argument based on Turing's theorem, and have toyed with the idea of a von Neumann machine. A von Neumann machine was a black box, inside which was housed John von Neumann..

After a brief and informal explanation of the Gödel’s theorem as a version of the Epimenides’ paradox applied to Elementary Number Theory formulated in first-order logic, Lucas shows some of the most relevant consequences of this theorem, such as the impossibility to define truth in terms of provability and so the failure of Verificationist and Intuitionist arguments. He shows moreover how Gödel’s theorem proves that first-order arithmetic admits non-standard models, that Hilbert’s programme is untenable and that second-order logic is not mechanical. There are furthermore some more general consequences: the difference between being reasonable and following a rule and the possibility that one man’s insight differs from another’s without being wrong. Finally some consequences concerning moral and political philosophy can arise from Gödel’s theorem, because it suggests that – instead of some fundamental principle from which all else follows deductively – we can seek for different arguments in different situations

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything.

In this paper Lucas comes back to Gödelian argument against Mecanism to clarify some points. First of all, he explains his use of Gödel’s theorem instead of Turing’s theorem, showing how Gödel’ theorem, but not Turing’s theorem, raises questions concerning truth and reasoning that bear on the nature of mind and how Turing’s theorem suggests that there is something that cannot be done by any computers but not that it can be done by human minds. He considers moreover how Gödel’s theorem can be interpreted as a sophisticated form of the Cretan paradox, posed by Epimenides, able to escape the viciously self-referential nature of the Cretan paradox, and how it can be used against Mechanism as a schema of disproof. Finally, Lucas suggests some answers to the most recurrent criticisms against his argument: criticisms about the implicit idealisation in the way he set up the context between mind and machine; questions concerning modality and finitude, issues of transfinite arithmetic; questions concerning the need of formalizing rational inference and some questions about consistency