Atheism and Theism JJ Haldane - Common Sense Atheism
Atheism and Theism JJ Haldane - Common Sense Atheism
Atheism and Theism JJ Haldane - Common Sense Atheism
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
40 J.J.C. Smart<br />
Platonic objects. (I see no reason why sophisticated robots might not apply<br />
the hypothetico-deductive method.) Quine’s Platonism is thus not in conflict<br />
with modern mechanistic biology as traditional Platonism seems to be. It is<br />
possible that if the world (including space–time) had a discrete grain we could<br />
get by without the real numbers <strong>and</strong> with difference equations instead of<br />
differential equations. Thus there is some empirical constraint on the mathematics<br />
we need to postulate. Nevertheless because of the slack between<br />
hypothesis <strong>and</strong> observation mathematics is very much immune to revision,<br />
<strong>and</strong> this may give it a sort of necessity. However, this necessity would be<br />
epistemological, not ontological.<br />
It should be conceded that the more traditional form of mathematical<br />
Platonism, according to which the mind has direct intuitive contact with the<br />
mathematical entities, is congenial to many mathematicians. 72 Roger Penrose<br />
has indeed used this supposed feature of mathematics to argue towards a new<br />
view of mentality <strong>and</strong> of how the brain works. 73 Diffidently, because Penrose<br />
after all is an eminent cosmologist <strong>and</strong> the son of a great neurobiologist, I go<br />
the other way. If Penrose’s view is accepted it could give some comfort for the<br />
theist. It is just conceivable that the brain may need for its full underst<strong>and</strong>ing<br />
recondite quantum mechanical principles, such as of non-locality, but it seems<br />
to me that since neurons operate mainly electrochemically the brain is probably<br />
more like a computer or connection machine. Even with the recondite<br />
principles it is hard to be convinced that intuition of Platonic entities is<br />
possible for it.<br />
Another philosophy of mathematics that is a leading contender in the field<br />
is the fictionalism of Hartry Field. 74 He holds that mathematics is a fiction:<br />
all its existential statements are false. The universal ones are true but vacuously<br />
so, since ‘everything is such that’ in this case is equivalent to ‘it is not<br />
the case that something is not such that’. According to Field mathematics<br />
merely facilitates scientific inferences which could be carried out in a more<br />
complicated way nominalistically. (He makes use of space–time points of<br />
which there are as many as there are real numbers.) To show this in detail he<br />
needs to reconstruct physical theories nominalistically <strong>and</strong> has done so for<br />
certain theories.<br />
Field’s fictionalism would hardly appeal to the pure mathematician,<br />
who would not like to think of himself or herself as a sort of Dickens or<br />
Thackeray. (Or worse, since in novels there are many existential sentences<br />
which are not only pretended to be true but which are true!) Still, that’s not<br />
an argument. Field’s theory is ontologically parsimonious <strong>and</strong> is in that<br />
way appealing. It is a no nonsense sort of theory. One worry about really<br />
believing set theory, I think, is the fact that the set membership relation<br />
between a set <strong>and</strong> its members is too intimate: there is something mysterious<br />
about it.