Professional Documents
Culture Documents
Edited by
All rights for this book reserved. No part of this book may be reproduced, stored in a retrieval system,
or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or
otherwise, without the prior permission of the copyright owner.
(2007) are summarized by Donald Gillies in the first part of his essay:
Cellucci maintains that the logicist programme of Frege and Russell and
Hilberts formalist programme ended in failure because of the limitative
results of Gdel and Tarski. Gillies agrees that Gdels first incompleteness
theorem gives a fatal blow to logicism and that Gdels second
incompleteness theorem shows the impossibility of carrying out Hilberts
programme. He thus concludes that Celluccis criticisms of mathematical
logic show that mathematical logic did not succeed in establishing a
foundation of mathematics of the kind that the inventors of mathematical
logic had hoped to create. However, he remarks, mathematical logic has
proved to be a very useful tool for computer science. This idea lies
behind the title of Gillies essay Serendipity and Mathematical Logic. He
defines serendipity as looking for one thing and finding another. The
concept can be applied to mathematical logic because the pioneers of
mathematical logic were looking for something they did not find: a
foundation for mathematics that would make mathematical statements
certain; but they found something other than what they were looking for:
invaluable, perhaps indeed essential, tools for the development of
computers. In the last part of his essay Gillies explains how this came
about.
In his essay What Mathematical Logic Says about the Foundations of
Mathematics Claudio Bernardi grants that perhaps in the nineteenth
century logic was regarded as a way to guarantee the certainty of
mathematics and that nowadays it seems nave, and perhaps even futile,
to hope for a definitive, proven certainty of mathematics. Nevertheless,
Bernardi thinks that mathematical logic offers a fruitful model of
mathematical activity. Though it is not a faithful description of how a
mathematician works, mathematical logic provides us with a theoretical
framework (model theory, proof theory, recursion theory) in which various
implicit features of mathematical practice are made explicit, a precise
definition of proof is given, rigorous methods and procedures to develop
mathematical theories are suggested. Bernardi emphasizes the fact that
the theoretical framework of mathematical logic yields significant results:
mathematical logic, exactly like mathematical analysis, is justified by its
results, which clarify the sense and the limits of mathematical activity.
Cellucci maintains that the founders of mathematical logic identified the
mathematical method with the axiomatic method. The axiomatic method is
the main object of study of mathematical logic. Mathematical logic is
based on the concept of a formal system as a closed system. A closed
system is : a system based on principles that are given once for all and
cannot change, and whose development consists in deducing conclusions
x Introduction
second tenet, Thomas argues that objectivity does not imply a dependence
on an ontology. More specifically, he maintains that objectivity is
achieved in mathematics by public agreement (including agreements to
differ) on styles of inference and definitions in terms of relations.
Moreover mathematics is about relations and not about mathematical
objects, as the mathematical objects are just things that we wish on the
relations we want to talk about in order to be able to do the talking: the
existence or otherwise of the mathematical entity is completely irrelevant
to the construction of mathematics and its inquiry. Thomas also clarifies
this point by introducing an evolutionary characterization of the role of
mathematics and reasoning in general. He argues that since we must be
able to reason as dependably about what does not existeven in a
mathematical senseas about what does, for instance in reductio proofs,
whether some things exist or not is not of any practical importance. It is
not just in mathematics that we need to be able to reason effectively about
what does not exist; it seems to me that the evolutionary advantage to our
reasoning ability is primarily our capacity for reasoning about the future.
Here the editors end their introduction. We thank all the authors who
have made this volume possible by kindly accepting our request to
participate in the project for a book in honour of Carlo Cellucci and we
thank the Department of Philosophy of Sapienza University of Rome for
financial support. We hope that this book will allow the reader to form an
opinion of the variety of perspectives inspired or challenged by Carlos
work. Thank you, Carlo, for your contribution to philosophy and to our
personal development.
References
Cellucci, C. (1978). Teoria della dimostrazione, Torino: Boringhieri.
. (1998). Le ragioni della logica, Laterza: Roma-Bari.
. (2002). Filosofia e matematica, Laterza: Roma-Bari.
. (2007). La filosofia della matematica del Novecento, Laterza: Roma-
Bari.
. (2008). Perch ancora la filosofia, Laterza: Roma-Bari.
. (2013). Rethinking Logic: Logic in Relation to Mathematics, Evolution
and Method, Springer: Dordrecht.
SECTION I
MATHEMATICAL LOGIC,
MATHEMATICAL KNOWLEDGE
AND TRUTH
CHAPTER ONE
REGELFOLGEN IN WITTGENSTEINS
PHILOSOPHY OF MATHEMATICS AND MIND
ROSARIA EGIDI
Remarks I, 165
1
See the critical-genetic edition including the five known versions of the
Philosophische Untersuchungen in Wittgenstein (2002). On their composition and
for the tables of correspondence between them, see J. Schultes Einleitung and
Anhang. While Wittgenstein included the first half of the Proto-Investigations
in 1-190 of the Philosophische Untersuchungen, with a few variations, the
second half appeared as Part I in his Remarks on the Foundations of Mathematics
(hereafter Remarks). This work contains a selection made by the editors of
Wittgensteins writings on the philosophy of mathematics composed between 1937
and 1944, the year in which he stopped writing about this topic and turned his
attention exclusively to the philosophy of mind and related issues up until his death
in 1951.
2
With the reference to Investigations I mean only Part I of the work.
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 5
3
In addition to the hundreds of manuscript pages, most of which we find in the
Remarks, Wittgensteins activity in this field is testified to by the lectures he gave
in English in 1939. These were collected by his pupils, later edited by Cora
Diamond in 1975 and entitled Lectures on the Foundations of Mathematics
(hereafter Lectures).
6 Chapter One
4
Cf. Wittgenstein (2005, 76-84, pp. 354-399).
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 7
they always take the same step at the same point. It is therefore on the
basis of our received education and learning that we follow certain rules,
and the criterion for establishing how the rule is applied lies in the way in
which it was taught and how we learnt the technique for using it (Proto-
Investigations, 168; Investigations, 189-90).
At this point of the dialogue, Wittgensteins reflections on Regelfolgen
appear to encounter a setback. From 170 of the Proto-Investigations,
his analysis of understanding and following-a-rule breaks off and his
attention turns to issues of an apparently different nature, concerning the
inexorability of counting and calculating, the difference between
calculation and experiment, the procedures for inferring and proofing,
logical compulsion and the role of invention in mathematics. The
impression that the argument has been abruptly changed appears to be
confirmed by the fact that in the later versions of the Investigations,
composed from 1944 onwards, Wittgenstein deleted the sections devoted
in the Proto-Investigations to the philosophy of mathematics, replacing
them with his more recent reflections on Regelfolgen at the point at which
he had broken them off.5 But on closer inspection, the impression is
deceptive and the brusque transition to other subjects only apparent. In
tackling the mathematical themes indicated above, Wittgenstein actually
completes his analysis of the constructs representing language-games
whose propositions express rule-governed activities.6
We can say that the Proto-Investigations give a germinal idea of the
grand design pursued by Wittgenstein of a systematic inquiry into
language-games in which sentences occur whose meaning is not given by
reference to physical or mental states but depends on the rules of the
grammar of our language. The inquiry starts from the analysis of the
propositions we call normative, including, according to Wittgenstein,
5
See in Wittgenstein (2002) the intermediate version (Zwischenfassung), 190
and the final version (Sptfassung), 191. In these two versions the treatment of
Regelfolgen is followed by a series of remarks on the critique of private language
which is incorporated into the theme of the normative contexts insofar as, in my
opinion, it should be read as a detailed objection to those who claim that language
can be built on entirely subjective and therefore private bases. This would
contradict the assumption Wittgenstein has just made that what people say does
not depend on the agreement of individual opinions but on shared practices and
interpersonal conventions, in other words on what Wittgenstein comprises under
the concept of form of life (Investigations, 241).
6
An extensive and well-documented treatment of the theme of rules is contained in
volume II of Baker & Hackers commentary (1985).
8 Chapter One
The distinction between rules and descriptions is in fact one of the most
7
Cf. Wittgenstein (2002, pp. 207-9; 565-68).
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 9
8
Cf. Mhlhlzer (2010, pp. 309ff).
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 11
one insists inexorably on the fact that we all say two after one and
three after two, and so on (Remarks I, 4). The commonly held claim
that the connection must be guaranteed by some kind of interpretation,
that there are multiple and different ways of interpreting the rule and that it
must be interpreted before it is applied, seems to lead inevitably to a
paradox, often called the sceptical paradox. How can I follow a rule,
when after all whatever I do can be interpreted as following it? (VI, 38f-
g). Wittgenstein is opposed to this idea, and determined to dismantle the
basic misunderstanding on which the paradox is based.
In the lectures of 1939 Wittgenstein clarifies that the transition from
the rule to its application does not depend on an interpretation:
Suppose someone said, Surely the use I make of the rule for continuing
the series depends on the interpretation I make of the rule or the meaning I
give it. But is it ones criterion for meaning a certain thing by a rule the
using of the rule in a certain way, or is it a picture or another rule or
something of the sort?. In that case, it is still a symbol which can be
reinterpreted in any way whatsoever (Lectures, p. 183).
And hence also obeying a rule is a practice. And to think one is obeying a
rule is not to obey a rule. Hence it is not possible to obey a rule privately:
otherwise thinking one was obeying a rule would be the same think as
obeying it (202).
9
Cf. Wittgenstein (2005, 101-107, pp. 487-527).
14 Chapter One
dating from about two years after Part I, as well as in various passages of
the other Parts from the later manuscripts of 1943-44. In the pages that
follow, I aim to summarize a variety of arguments dedicated by
Wittgenstein to mathematical proof.
The recurring theme in the analysis of the proof is the difference
between the empirical and normative use of propositions, a difference that
is reflected in the version of the relationship between experiment and
proof proposed in the Remarks.10 This gives an account of the general
features assigned by Wittgenstein to the concept of mathematical proof
and also clarifies the meaning of the multifaceted and often metaphorical
epithets of paradigm, model and their synonyms (yardstick, guide-
line, track, path, road), as well as of picture of an experiment,
perspicuous procedure, instrument, creation, and finally institution,
used in the Remarks and Lectures to designate the various connotations of
the proofing procedure. The thesis that the proof is not or does not serve
as an experiment tends to confirm the idea that the inquiry into the
foundations of mathematics, i.e. into the grammar of fundamental
concepts of mathematics, entails a metabasis from objects to concepts
(Remarks V, 9i), and hence from the context of facts to that of norms,
from descriptive propositions to rules of description.11 The concept of
experiment belongs to the former context, that of proof to the latter:
the former has to do with the facts, of what is the case, and it shows us
how they are, the latter has to do with the world of rules, hence of what
ought to be. The normative or, we might say, deontic character of
proofing is summed up in the sentences that in Part III of the Remarks
epitomize the Wittgensteinian assumption, almost in the form of maxims
enclosed in quotation marks: A proof ought to show not merely that this
is how it is, but this is how it has to be (III, 9a) and again Proof must
be a procedure of which I say: Yes, this is how it has to be; this must come
out if I proceed according to this rule (III, 23b; III, 30a, b, 39c, 55a).
In Part I of the Remarks (25-27) and in the Lectures (pp. 71-77) an
effective example is given that makes explicit the meaning of the two
maxims and of the dichotomy is-ought/is-must, in other words the
different use of empirical and proved propositions. The example is
intended to show that the correspondence between a certain pattern (a) of
10
The implicit rejection of the empiricist conception of mathematics, embedded in
Wittgensteins analysis of this relationship, is pointed out by Wright (1980, ch.
XVII).
11
Cf. Frascolla (1994, ch. 3; 2001, pp. 181ff).
16 Chapter One
five strokes and pattern (b) of the angles of a pentacle has two uses, i.e. it
can be treated as an experiment and as a proof.12 The equal number of
elements recurring in (a) and in (b) can be the experimental result of
counting, which is not yet a proof; given that it is subject to errors and can
be submitted to verification this result counts as an experiment, which is
temporarily determined and therefore falls within the domain of empirical
propositions, of the to be. How, then, do I convince myself
Wittgenstein wonders of the correctness of an experimental result, i.e. of
the result of a calculation? Drawing projection-lines between the strokes
and angles of the pentacle I obtain the figure (c) of a five-pointed star with
five threadlike appendages, observing which I become convinced and from
which I deduce that the two patterns are like-numbered. If I call hand
(H) pattern (a) and pentacle (P) pattern (b), I can consider figure (c) a
mathematical proof and the proposition that H has so many strokes as P
has angles a proved proposition (Remarks I, 27). The proved proposition
is therefore: From now on an H and a P are called the same in
number, a proposition that does express what I am going to count as
belonging to the essence of the figures from now on and that, given that it
belongs to the essence can be deposited among the paradigms of the
language (32). In light of this proof, one is therefore induced to say
Yes, this is how it has to be; I must fix the use of my language in this
way (30b) and to file the proved proposition in, so to speak, the archives
of language (29f).13 Unlike the result of a calculation, the proved
proposition works like an atemporal rule, which is valid once and for
all, in the sense that it does not admit of exceptions, contemplates just
one possibility, and therefore falls within the domain of must be or
ought to be:
It must be like this, does not mean: it will be like this. On the contrary: it
will be like this chooses between one possibility or another. It must be
like this sees only one possibility (IV, 31a).
12
A reconstruction of Wittgensteins example is given by Frascolla (1994, pp. 135-
36).
13
What Wittgenstein says about the proved proposition will be referred in the
Lectures to calculation: I once said: A calculation could always be laid down in
the archive of measurements. It can be regarded as a picture of an experiment. We
deposit the picture in the archives, and say, This is now regarded as a standard of
comparison by means of which we describe future experiments. It is now the
paradigm with which we compare (pp. 104-12).
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 17
14
The conceptual density of the theme as well as the controversial aspects it
exhibits vis vis the Principia Mathematica and related systems is highlighted in
Mhlhlzers commentary (2010, pp. 102-196).
15
On proof as an internal relation see the Remarks VII, 8a.
18 Chapter One
The idea that the proof creates a new concept might also be roughly put as
follows: the proof is not its foundations plus the rules of inference, but a
new building although it is an example of such and such a style. A
proof is a new paradigm. (III, 41g).
The perspective supporting the analysis of the proof in 21-44 had been
effectively outlined in a previous passage of the Remarks:
When I said that a proof introduces a new concept, I meant something like:
the proof puts a new paradigm among the paradigms of the language; []
One would like to say: the proof changes the grammar of our language,
changes our concepts. It makes new connections, and it creates the
concepts of these connections. (It does not establish that they are there;
they do not exist until it makes them.) (III, 31b).16
16
See also III, 41g-i; IV, 45b.
Regelfolgen in Wittgensteins Philosophy of Mathematics and Mind 19
17
Cf. Wittgensteins Nachlass. The Bergen Electronic Edition. Ed. by the
Wittgenstein Archives at the University of Bergen. Oxford: Oxford University
Press, 2000.
18
Ibid.
20 Chapter One
References
Baker G.P. & Hacker P.M.S. (1985). Wittgenstein: Rules, Grammar and
Necessity. An Analytical Commentary on the Philosophical
Investigations. Vol. 2, Oxford: Blackwell.
Cellucci C. (2008). Why Proof? What is a Proof? In: Lupacchini R., Corsi
G., eds. Deduction, Computation, Experiment. Exploring the
Effectiveness of Proof. Berlin: Springer: 127.
Frascolla P. (1994). Wittgensteins Philosophy of Mathematics. London-
New York: Routledge.
. (2001). Philosophy of Mathematics. In: Glock H.-J., ed. Wittgenstein:
A Critical Reader. Oxford: Blackwell.
Frege G. (1893). Grundgesetze der Arithmetik, begriffsschriftlich
abgeleitet, Band, I. Jena: Verlag Hermann Pohle.
Mhlhlzer F. (2008). Wittgenstein und der Formalismus. In: Kro M.,
Hrsg. Ein Netz von Normen: Wittgenstein und die Mathematik. Berlin:
Parerga Verlag: 107-48.
. (2010). Braucht die Mathematik eine Grundlegung?. Ein Kommentar
des Teils III von Wittgensteins Bemerkungen ber die Grundlagen
der Mathematik. Frankfurt: Klostermann.
Wittgenstein L. (1953). Philosophische Untersuchungen. Philosophical
Investigations. Ed. by G.E.M. Anscombe and R. Rhees. Oxford:
Blackwell (Italian transl.: Ricerche filosofiche. Torino: Einaudi, 1967).
. (1969). On Certainty. Ed. by G.E.M. Anscombe and G.H. von Wright.
Oxford: Blackwell (Ital. transl.: Della certezza. Torino: Einaudi).
. (1976). Wittgensteins Lectures on the Foundations of Mathematics.
Cambridge 1939. Ed. by C. Diamond. Ithaca, NY: Cornell University
Press (Ital. transl.: Lezioni sui fondamenti della matematica.
Cambridge 1939, Torino: Boringhieri, 1982).
. (19783). Remarks on the Foundations of Mathematics. Ed. by G.H. von
Wright, R. Rhees, G.E.M. Anscombe. Oxford: Blackwell (Ital. transl.:
Osservazioni sopra i fondamenti della matematica. Torino. Einaudi,
1979).
. (2002). Philosophische Untersuchungen. Kritisch-genetische Edition.
Hrsg. v. J. Schulte. Frankfurt: Suhrkamp.
. (2005). The Big Typescript: Ts 213. German-English Scholars
Edition. Ed. and transl. by C.G. Luckhardt, M.A.E. Aue. Oxford:
Blackwell (Ital. transl.: The Big Typescript. Torino: Einaudi, 2002).
Wright C. (1980). Wittgenstein on the Foundations of Mathematics.
Cambridge, MA: Harvard University Press.
CHAPTER TWO
DONALD GILLIES
1. Serendipity
There is one definite fact about the term serendipity. It was coined by
Horace Walpole in a letter to his friend Horace Mann, dated 28 January
1754. However, Merton and Barber (2004) shows that the subsequent
history of the term was tortuous and complicated. It has been, and still is,
used in a variety of different senses. In this paper, I will use a definition of
serendipity which, according to Merton and Barber (2004, p. 112) was first
formulated by Edward Solly in 1880 and is cited in the Oxford English
Dictionary. According to this definition, serendipity consists in looking
for one thing and finding another. This definition does have some basis in
Horace Walpoles original letter, for he says there (quoted from Merton
and Barber, 2004, p. 2): you must observe that no discovery of a thing
you are looking for comes under this description. However, serendipity is
24 Chapter Two
sometimes used in broader senses which also have some basis in Horace
Walpoles original letter.
The classic instance of serendipity, as it has just been defined, is
Columbus discovery of America. Columbus was looking for a sea route to
the East Indies obtained by sailing west. However, what he actually found
was a new continent, whose existence was unknown to European
geographers.
Let us now turn to considering how the concept of serendipity might be
applied to the development of mathematical logic. The main ideas of
Mathematical Logic were developed between 1879 and 1931 by a number
of different researchers, of whom Frege, Peano, Russell, Hilbert, and
Gdel are the most famous. Van Heijenoort (1967) is a well-known
collection of papers by the pioneers of mathematical logic. The title of the
collection: From Frege to Gdel. A Source Book in Mathematical Logic,
1879-1931 gives an accurate idea of its content.
How then can the concept of serendipity be applied to mathematical
logic? I have defined serendipity as looking for one thing, and finding
another. To show that serendipity applies to mathematical logic, we have
therefore to show two things: (1) that the pioneers of mathematical logic
were looking for something which they did not find, and (2) that they did
find something different from what they were looking for.
As regards (1), my claim will be that Frege, Russell, Peano, and
Hilbert were looking for a foundation, which would render mathematics
absolutely certain. They thought that mathematical logic was an essential
component of this foundation. We can summarise this by saying that the
pioneers of mathematical logic were looking for a foundation for
mathematics. However, this foundational quest ended in failure.
As regards (2), my claim will be that mathematical logic turned out to
have a surprising and unexpected use. It proved to be a valuable tool for
computer science. Now the pioneers of mathematical logic did not
anticipate this application. They could hardly have done so. There are
arguments among historians as to what should be counted as the first
computer in the modern sense, but no serious candidate for this title was
produced before 1945, that is to say over 15 years after Frege, Russell,
Peano and Hilbert had created mathematical logic. This is why the concept
of serendipity clearly applies to mathematical logic.
The above claims, though without using the concept of serendipity, are
to be found in Doxiadis and Papadimitriou (2009) Logicomix. This is a
truly remarkable attempt to present the history of mathematical logic,
focussing mainly on Russell, in the form of a comic book or graphic novel.
In self-referential fashion, the authors appear themselves as characters in
Serendipity and Mathematical Logic 25
the book. By the time we have reached p. 303, Apostolos Doxiadis seems
convinced that the foundational quest of Russell et. al. has had an unhappy
ending. However, Christos Papadimitriou says: follow the quest for
ten more years and you get a brand-new, triumphant finale with the
creation of the computer, which is the quests real hero! We are even
promised a further book: The Story of Computers as sequel to
Logicomix. Let us hope this is indeed produced.
Let me now turn to providing arguments for the two parts of my
serendipity claim. I have first to show that mathematical logic failed in its
original aim of providing a foundation for mathematics. I will try to do this
in the next section 2, using mainly the arguments of Cellucci in his (1998),
(2002) and (2007). Then I have to show that mathematical logic turned
out, after all, to be a useful tool for computer science. I will attempt to do
this in section 3.
1
Strictly speaking Frege limited his version of logicism to the claim that arithmetic
can be reduced to logic. Russell later extended logicism to the whole of
mathematics. However, I will ignore this difference in this preliminary exposition.
26 Chapter Two
2
For some further discussion of Peano as a forerunner of Hilberts philosophy of
mathematics, see Gillies, 1982, pp. 69-70.
Serendipity and Mathematical Logic 27
where NxF(x) stands for the number associated with the concept F, and F
G means that there is a 1-1 correspondence between the objects which
fall under the concept F and those which fall under the concept G.
Against this neo-logicist position, Cellucci marshals a number of
arguments (2007, pp. 86-89). First of all he argues that it just as much
undermined by Gdels incompleteness theorems as the earlier versions of
logicism. Then he goes on to say that the mathematical concept NxF(x) is
not completely eliminable on this approach, because HP only allows us to
eliminate NxF(x) in contexts of the form NxF(x) = NxG(x). However, if
neo-logicism allows a mathematical concept such as NxF(x) which is not
completely eliminable in favour of purely logical concepts, then it is really
no longer a form of logicism. Cellucci also has a rather telling comment on
the notion of analytic used by Hale and Wright. Cellucci writes (2007, pp.
87-8):
Cellucci has some further arguments against neo-logicism, and overall his
criticism of that position seems to me decisive.
Turning now to neo-formalism, there are really two versions of this
position. The stronger version hopes to rescue Hilberts original version of
formalism. The main proponents of this approach are Simpson (1988)
Partial realizations of Hilberts program, and Detlefsen (1990) On an
alleged refutation of Hilberts program using Gdels first incompleteness
theorem. The titles of these papers clearly indicate the authors intention of
reviving Hilberts programme in some form. Cellucci criticizes Simpson in
his 2002, Chapter 9, Section 5, pp. 78-9, and Detelefsen in the same work,
Chapter 8, Section 4, pp. 66-7. These criticisms seem to me convincing.
There is however a weaker version of neo-formalism which argues that
mathematics should consist of a set of formal systems, but gives up
Hilberts programme of trying to prove the consistency of these formal
systems of mathematics using finitary arithmetic. This point of view has
Serendipity and Mathematical Logic 29
3
The following account is a revised version of my treatments of this problem in
Gillies and Zheng (2001), and Gillies (2002). These in turn made great use of
Davis (1988a & 1988b). I was also able to have discussions with Martin Davis on
the problem when I read an earlier draft of Gillies and Zheng (2001) to the Logic
Club in Berkeley in 1998. The revisions of my earlier treatment are partly due to
some further thoughts of my own on the problem, and also to the impact of two
important works on this subject which have been published in the meantime
namely Numerico (2005) and Priestley (2011). Once again I have benefited from
lengthy discussions with Teresa Numerico and Mark Priestley over the years. I
would also like to thank a number of computer scientists with whom I have
discussed the problem and who make many helpful suggestions which have been
incorporated in my account. These include James Cussens, Mark Gillies, Stephen
Muggleton, David Page, and Ashwin Srinivasan. My earlier account included a
discussion of the influence of the theory of Turing machines on the invention of
the computer, but this has been omitted for reasons of space.
4
I owe this point to Martin Davis. See his 1988b, p. 316.
5
For details, see Gillies, 1996, pp. 72-79.
Serendipity and Mathematical Logic 31
1908. The theory of types did not have a great success in the mathematical
community which preferred to resolve the paradox by using the axiomatic
set theory developed by Zermelo, a member of Hilberts school at
Gttingen. Indeed type theory is not taught at all in most mathematics
departments. The situation is quite different in computer science
departments where courses on type theory are a standard part of the
syllabus. This is because the theory of types is now a standard tool of
computer science. Functional programming languages such as Miranda
and ML are usually typed, and indeed some form of typing is incorporated
into most programming languages. It is desirable when specifying a
function such as f(x,y) to specify also the types of its variables x,y,
otherwise errors can be produced by substituting something of the wrong
type for one of the variables which will often produce a nonsensical
answer. Once again it should be stressed that the type theories used in
contemporary computer science are not the same as Russells original type
theory, but are descendants of Russells original system which have been
modified to make them suitable for computer science. An important link in
the chain was Churchs 1940 version of the theory of types which was
developed from Russells theory, and which influenced researchers in
computer science. Davis sums up the situation very well as follows
(1988b, p. 322):
6
See Robinson (1965), and some philosophical comments on this version of
predicate calculus in Gillies (2002)
Serendipity and Mathematical Logic 33
4. Explaining Serendipity
The word serendipity suggests something strange and mysterious. Yet
there is really nothing mysterious about many instances of serendipity as it
has been defined in this paper. Suppose I have mislaid my pen and search
for it in a drawer filled with miscellaneous objects. The pen is not there,
but, at the bottom of the drawer, I find an old notebook which had gone a-
missing more than a year before. This is an example of serendipity since I
was looking for one thing, and found another. However, there is nothing
strange or mysterious about it.
The classic example of serendipity, namely Columbus discovery of
America, was scarcely more mysterious than my everyday example of the
pen and the notebook. Anyone who followed Columbus strategy of
sailing west in order to discover a sea route to the East Indies would
inevitably, if his ship hadnt accidentally sunk, have discovered America.
America was simply there blocking the path, and any mariner following
Columbus search strategy, would have run into it.
On the other hand, the case of mathematical logic does seem more
surprising. The pioneers of mathematical logic such as Frege, Russell,
7
See Mackenzie (2001, p. 89).
8
For further details, see Wos and Pieper (1999). Corfield (2003, pp. 35-79) gives
some valuable philosophical reflections on automated theorem proving, including
the proof of the Robbins conjecture.
9
For further details, see Muggleton (1992) and Gillies (1996, pp. 41-44 & 50-54).
34 Chapter Two
could again be a useful device. So we see once again why ideas developed
in the context of a formalist philosophy of mathematics proved very useful
for computing.
There is however an important difference between formalised Peano
arithmetic and a programme giving instructions about how to carry out an
arithmetical calculation. The formulas of Peano arithmetic are statements
about numbers, whereas the formulas of the computer programme are
orders to perform particular arithmetical operations. This gives part of the
explanation as to why, although computer scientists frequently make use
of ideas and theories from mathematical logic, they nearly always have to
modify these ideas and theories in order to make them applicable to
computing.
This completes my attempted explanation of the serendipity involved
in the development of mathematical logic. However, before closing the
paper, I would like to make an observation about how Celluccis positive
project for a logic of mathematical discovery might be developed. Now
researchers who have studied discovery in the natural sciences and
technology have often made use of the concept of serendipity. Could it
therefore be a useful concept for studies of discovery in mathematics? In
this paper, I have argued that serendipity occurred in the development of
mathematical logic. Are there other examples of serendipity in the history
of mathematics?
One obvious further example is the discovery of non-Euclidean
geometry. Saccheri, for example, was working on the attempt to prove
Euclids fifth postulate using reductio ad absurdum. He failed to find the
proof he was looking for, but discovered, without realising it, some
theorems of hyperbolic geometry. This seems undoubtedly a case of
serendipity. However, like the case of mathematical logic, it arises from a
foundational programme within mathematics. Are there examples of
serendipity, which occur in developments of mathematics which have no
connection with foundational issues?
Here, it is harder to find examples of serendipity, but there is a related
phenomenon which I suggest calling: additional serendipity. In serendipity
proper, someone fails to discover what he or she was looking for, but
discovers something else unexpected instead. In additional serendipity, the
researcher does discover what he or she was looking for, but, in addition,
discovers something else unexpected. Additional serendipity does seem to
be quite a common phenomenon in mathematics. For example, the basic
results of group theory were discovered in a successful investigation of the
solubility of polynomial equations, but group theory turned out
unexpectedly to provide, in addition, a useful tool for classifying
38 Chapter Two
References
Bourbaki, N. (1949) Foundations of mathematics for the working
mathematician, Journal of Symbolic Logic, 14, pp. 1-8.
Cellucci, C. (1998) Le Ragioni della Logica. Laterza.
. (2002) Filosofia e matematica. Laterza.
. (2007) La filosofia della matematica del Novecento. Laterza.
Church, A. (1940) A Formulation of the Simple Theory of Types, Journal
of Symbolic Logic, 5, pp. 56-68.
Corfield, D. (2003) Towards a Philosophy of Real Mathematics.
Cambridge University Press.
Davis, M. (1988a) Mathematical Logic and the Origins of Modern
computing. In Herken, 1988, pp. 149-174.
. (1988b) Influences of Mathematical Logic on Computer Science. In
Herken, 1988, pp. 315-326.
Detlefsen, M. (1990) On an alleged refutation of Hilberts program using
Gdels first incompleteness theorem, Journal of Philosophical Logic,
19. pp. 343-377.
Doxiadis, A. and Papadimitriou, C.H. (2009) Logicomix. An Epic Search
for Truth. Bloomsbury.
Frege, G. (1879) Begriffsschrift. Eine der arithmetischen nachgebildete
Formelsprache des reinen Denkens. English Translation in van
Heijenoort (1967), pp.1-82.
Frege, G. (1884) The Foundations of Arithmetic: A Logico-Mathematical
Enquiry into the Concept of Number. English Translation by
J.L.Austin, Blackwell, 1968.
Gillies, D.A. (1982) Frege, Dedekind, and Peano on the Foundations of
Arithmetic. 2nd Corrected Edition, Routledge, 2011.
. (1996) Artificial Intelligence and Scientific Method. Oxford University
Press.
. (2002) Logicism and the Development of Computer Science. In
A.C.Kakas and F.Sadri (eds.) Computational Logic: Logic
Programming and Beyond, Part II, Springer, pp. 588-604.
Gillies, D.A, and Zheng, Y. (2001) Dynamic Interactions with the
Philosophy of Mathematics, Theoria, 16(3), pp.437-459.
Serendipity and Mathematical Logic 39
CLAUDIO BERNARDI
To Carlo
1
Let us briefly recall that the word counterexample denotes an example that shows
that a statement is not correct, when the statement consists of an implication that is
preceded by a universal quantifier. To this end, we have to construct an object x
that satisfies the hypothesis but not the thesis. In formal terms, the explanation is
clearer: to conclude that the formula x [P(x)oQ(x)] does not hold, we have to
prove x [P(x) o Q(x)], that is, x [P(x) o Q(x)] and this formula is logically
equivalent to x [P(x) Q(x)].
44 Chapter Three
2
However, I do not agree with the idea that a proof is just a method of confirming
what we already know. Note that many mathematicians (including Gian-Carlo
Rota) have sought elegant proofs; moreover, very often a proof allows for a deeper
understanding of the subject.
What Mathematical Logic Says about the Foundations of Mathematics 45
expectations, and the limits of mathematics. From this point of view, logic
is a fruitful model.We could make similar remarks about other areas of
mathematics. Consider mathematical analysis: it rests on the set of real
numbers, which can hardly be regarded as a faithful model of reality. But
mathematical analysis has enormous importance, because its theorems can
be fruitfully applied in physics and the natural sciences, in the study of the
real world.
Mathematical logic, exactly like mathematical analysis, is justified by
its results.
3. Axiomatic systems
The axiomatic method is a way of thinking. This is true in mathematical
research, as well as in mathematical education (I will deal with mathematical
education in 5 and 6). The concept of a mathematical axiom, and its
meaning, is part of our culture; several sciences other than mathematics
have tried to introduce something similar to axioms, in order to achieve a
more convincing approach to the matter studied.
In mathematics, the axiomatic method has had enormous influence
from the time of Euclid (consider the fifth postulate and non-Euclidean
geometries). Or, to give a present-day example, consider reverse
mathematics which would not have been born without the concept of an
axiomatic system; see (Marcone 2009) for a general introduction.
Instead of discussing the relationship between axioms and theorems in
general terms, I prefer to stress one particular aspect.
Using the terminology of recursion theory (see Rogers 2002 for
definitions), the set of axioms of a typical mathematical theory is recursive
(or decidable), in the sense that one can recognize if a given sentence is an
axiom. On the other hand, the set of theorems is not recursive, it is only
recursively enumerable, because, given a sentence, we are generally not
able to decide whether it is a theorem or not, we can only try and hope to
get an answer.
Mathematics allows us to jump from a recursive set up to a set which is
recursively enumerable but not recursive. So, even if the content of any
given theorem is implicit in the axioms, the set of theorems is more
complex, in a technical sense, than the set of axioms.
In my opinion, and from an abstract point of view, this is the ultimate
task of mathematics and, on the other hand, it explains the difficulty of
doing mathematics. Some remarks are necessary.
First of all, very often in the work of a mathematician, the set of
axioms is not explicitly stated; but, even if this is the case, I think it can be
46 Chapter Three
a. Axiomatic systems
An axiomatic system is a way both of correctly organizing and presenting
knowledge in a specific mathematical area, and also in general of teaching
a correct way of proving and deducing.
In fact, without the concept of an axiomatic system, the teaching of
mathematics consists only of an unjustified set of rules and arguments,
based on common sense, or on the authority of the teacher. Such teaching
is appropriate to middle school, but is not always suitable for high school.
It has been remarked that, in the Elements of Euclid, the connections
between axioms and theorems are complex: if we try to specify, for any
theorem, the previous theorems and axioms upon which it depends, we
find an intricate structure. Even a good student cannot completely master
this logical structure.
This may be true, but I believe it is not a good reason to give up! On
the contrary, the teacher will pay attention to the ties between axioms and
theorems in some specific cases, stress the fact that a theorem depends or
does not depend e.g. on the Pythagorean theorem, and so on, even if he
knows in advance that no student will learn the entire structure of the
axiomatic system of Euclidean geometry.
Equally, a comparison between Euclidean geometry and non-Euclidean
geometries can be useful. The teacher will show that, in the new
geometries, some known theorems remain valid, while others (such as the
Pythagorean theorem, the sum of angles of a triangle, etc.) no longer hold;
on the other hand, there are also new theorems (such as the fourth criterion
for triangles: if the angles of a triangle are congruent to the angles of a
second triangle, the two triangles are congruent to each other). We must
not underestimate the educational importance of the fact that a
mathematical result holds in one theory but does not hold in another.
What Mathematical Logic Says about the Foundations of Mathematics 49
b. Proving
The difference between verifying and proving is obviously fundamental
when teaching and learning mathematics (incidentally, it has been noted
by several people that the use of computers in geometry and arithmetic
does not help in this regard: why do we need to prove what is said or
shown by a computer?).
Of course, I am not referring to formal proofs. But even a student at the
beginning of stet high school education can understand some basic logical
facts about proofs, such as:
c. Formalizing statements
For students at the end of high school or the beginning of university,
formalizing statements is a useful exercise, and in particular finding the
explicit quantifiers and implications hidden in natural language. Think of a
trivial sentence like the square of an odd number is odd; in formalizing
it, we have to write a universal quantifier as well as an implication: for any
number n, if n is odd then n2 is odd.
On the other hand, I think that translating mathematical statements into
a first-order language is in general too difficult for students. Formalization
can only be done in specific cases. I refer for instance to the definition of
the limit of a function; in my opinion the difficulty in understanding this
notion also depends on the logical structure H G x (this is one of the
first times a student meets three alternating quantifiers).
Many current words and expressions used in mathematics are perhaps
useful in practice (and in particular in the practice of teaching), but are
subject to criticism for being unclear or ambiguous: e.g., "given a
number", "take a function", "we impose that ...", "the general term of a
50 Chapter Three
sequence", "fix the value x0 of a variable x", ... Formal language allows us
to clarify these situations. In this respect, logic can contribute (and in fact
has contributed) to improving rigour in natural mathematical language. For
other remarks, see (Bernardi 2011).
References
Arzarello F. (2012). Provare se, vedere che, sapere perch: la
dimostrazione in classe. In: Proceedings of the XIX Congress of the
Unione Matematica Italiana, to appear
Bernardi C. (1998). How formal should a proof be in teaching
mathematics?. Bulletin of the Belgian Mathematical Society, suppl. 5,
n. 5: 7-18
. (2010). Linguaggio algebrico e linguaggio logico nell'insegnamento e
nell'apprendimento della matematica. In G. Gerla, ed., Logica
matematica e processi cognitivi, Collana Scientifica dell'Universit di
Salerno, Rubbettino Editore: 39-45
. (2011). I linguaggi della matematica a scuola. Riflessioni di un logico,
L'insegnamento della Matematica e delle Scienze integrate, 34 A-B:
559-576
Cellucci C. (2002). Filosofia e matematica, Rome-Bari: Laterza
. (2010). Matematica e filosofia della matematica: presente e futuro, La
Matematica nella Societ e nella Cultura - Rivista della Unione
Matematica Italiana (1) 3: 201-234
Devlin K. (1992). Computers and Mathematics, Notices of the AMS, 39:
1065-1066
What Mathematical Logic Says about the Foundations of Mathematics 53
V. MICHELE ABRUSCI
Note that the statements of the logical investigations (in proof-theory and
model theory) of first-order logic are usually logical sentences belonging
to the union of classes 61 and 31.
58 Chapter Four
or to an existential sentence
n1nmC(n1,,nm)
i.e.
x1xk(x1 N xk N C(x1,,xk))
The proof of a) is given by the first part of the Weak Dedekinds Theorem
and the Completeness Theorem for first-order logic, by using the
arithmetization of the logical syntax.
The proof of b) is given by the second part of the Weak Dedekinds
Theorem and the Weak Hilberts Thesis (provable from the Completeness
Theorem), by using the arithmetization of the logical syntax.
From this result, together with that stated in the previous sections i.e. 610
31 and 310 61, we get:
Completeness of logic implies 61 31
70 Chapter Four
and
Completeness of logic implies 310 601
References
Dedekind R. (1888). Was sind und was sollen die Zahlen? Braunschweig:
Vieweg & Sohn.
Girard J.-Y. (1987), Proof Theory and Logical Complexity, Volume 1,
Napoli: Bibliopolis.
. (2006-07), Le point aveugle. Paris : Hermann.
Gdel K. (1930), Die Vollstndigkeit der Axiome des logischen
Funktionenkalkls, Monatshefte fr Mathematik und Physik, 37: 349-
360.
Dedekind, Hilbert, Gdel 71
DAG PRAWITZ
that mathematical problems are solved. In its place, Cellucci wants to put
what he calls the analytic method. Examples of other themes that he
discusses are the relation between discovery and justification, the role of
intuition, the nature of mathematical objects, and the character of
mathematical definition. But questions concerning what method is used for
solving problems and the role of proofs are the central ones, and I shall
restrict myself here to these questions.
Certainly, after Gdels incompleteness theorem, one cannot think that
mathematics is rightly characterized by saying that it aims at proving
theorems in given axiomatic systems. However, Celluccis criticism,
although based first of all on the incompleteness theorem and explicitly
directed against identifying mathematics with the axiomatic method, is in
effect more sweeping and hits more entrenched ideas in philosophy of
mathematics, or at least, so it seems. The axiomatic view was surely very
influential before Gdel, but was perhaps not as dominating as Cellucci
suggests. I think for instance that the ideas presented by Bertrand Russell
in his book Introduction to Mathematical Philosophy 1 are representative
of a different view that was already in agreement with several of
Celluccis critical points. Russell speaks of two directions of mathematics.
One starts with propositions whose truth is taken to be already known and
aims at obtaining new knowledge by making deductions from this starting
point. Another starts from the same point but aims instead at deducing
these known truths from more elementary principles. The first direction is
the familiar one. In this ordinary mathematics one is not concerned with
axioms. To move in the other direction is to practice a less familiar form
of mathematics that Russell calls mathematical philosophy. The endeavour
is then to find axioms that are sufficient to deduce what we consider
ourselves to know already, and this is a process that need not have a
definite endpoint, since the axioms that have been obtained at one stage
may be possible to deduce from even more fundamental principles. In
neither case do we start from axioms or practice the axiomatic method as
described by Cellucci.
However, Russell takes for granted that mathematics is concerned in
either case with deductions or deductive proofs. In this way he concurs in
the deeply rooted opinion that mathematics, after an early empirical
beginning, has been essentially a deductive enterprise. I am here mainly
interested in discussing whether this view can be defended against the
general criticism that Cellucci delivers.
1
Russell (1919).
The Status of Mathematical Knowledge 75
I am aware of the fact that this view may become abandoned to some
extent in our time because, by employing computers in research,
mathematics may begin to rely on propositions that are established
empirically.2 But this question is not discussed by Cellucci and will not be
taken up here either.
2
Prawitz (2008).
3
Cellucci (2008, pp. 2-3).
4
Ibid, p. 13
5
Cellucci (2013, p. 34)
76 Chapter Five
6
Cellucci (2008, pp. 3 and 12)
The Status of Mathematical Knowledge 77
B AoB
A
Though, in this case where B is not held or assumed to be true but is only
something we would like to prove, we do not normally say that the schema
represents an inference. It is not just a matter of convention whether we
read an arrangement of sentences top down or bottom up, as Cellucci
suggests.7 In one case, we may have something that represents a deductive
proof, and in the other case, something that is better called a proof search
actually, a kind of proof search that has for a long time been implemented
on computers within automated deduction.
It seems therefore preferable to call the first process involved in the
analytical method by which hypotheses are found a search process rather
than a proof process. Anyway, regardless of what we think of this, even in
Celluccis parlance, it is essentially a deductive matter that the found
hypothesis or hypotheses are capable of solving the problem, because what
this means, if I understand him rightly, is that an answer to the problem is
deductively derivable from them. The proof process involved in the
solution provided by the analytic method seems therefore to be deductive
just as in the case of the axiomatic method. Nevertheless, there remains an
essential difference between the two methods, because, according to
Cellucci, the axiomatic method is an unjustified truncation of the analytic
method8 it is a truncation because it limits itself to deduction of an
answer to a given problem from some accepted premisses, which is only
one first phase of the analytic method, and this truncation is unjustified,
because the premisses should not be taken as unproblematic truths, but as
new problems to be solved by another round of the analytic method. Thus,
the main argument for the inadequacy of the deductive method seems to
depend on the argument (2) above.
7
Ibid, p. 4.
8
Ibid p. 3.
78 Chapter Five
9
Cellucci (2011, p. 128), Cellucci (2013, 34).
10
Ibid, pp. 32-33.
11
Cellucci (2008, p. 15).
The Status of Mathematical Knowledge 79
hypotheses in the sense that she may be ready to give them up because of
new inferences. But they are not normally taken as new problems. Rather,
they are beliefs firm enough to be the basis for actions. Clearly, it is
essential for survival that they are correct for the most; that is, what is
believed must be true on the whole, if the inferences are to be beneficial
for survival. By true I then mean truth in the usual, unsophisticated
sense, not to be identified with truth as possession of a model, as
consistency, or as convention, which are the three ideas of truth that
Cellucci mentions in his criticism of the axiomatic method.12 I assume that
Cellucci also relies on such a notion when he speaks about the need to
investigate whether the hypotheses obtained by analytic proofs are
plausible; that is, I presume, it is plausible that they are true.
Inferences of this kind are often genetically hardwired and show
themselves in the form of stereotyped actions in response to certain
stimulus. In higher animals they may be more flexible and depend on
several parameters including earlier experience. With humans they
become not only more flexible but sometimes also what I shall call
reflective, that is, the premisses and the conclusion appear as explicit
beliefs, and the agent is aware of the transition that occurs, sometimes
even critically examining the inference step as well as the beliefs that
occur as premisses.
The evolutionary advantage of being able sometimes to hold up an
intuitive or automatic inference and make it reflective is obvious, and we
may be genetically disposed to perform reflective inferences. The point is
of course to increase the chances for beliefs to be correct, that is, for what
we believe to be true, and the same holds for the culturally developed
practice to demand good grounds for our own and others beliefs.
Reflective inferences constitute one major source of our grounds for
beliefs, and we evaluate the acceptability of an inference with respect to
how good ground it yields for the conclusion. We must often base our
actions on beliefs whose grounds are far from conclusive, but we learn to
match the strength or quality required of grounds to the importance and
seriousness of the context in which we form beliefs and make actions. It is
generally held that the ground required to make a mathematical assertion
is of the strongest possible kind a ground that we call conclusive.
The notion of ground is also a key notion for the Platonic idea of
propositional knowledge. In order to have such knowledge, it is not
enough that the proposition in question happens to be true, we must also
12
Ibid, pp. 10-12.
80 Chapter Five
13
Ibid, p. 21.
The Status of Mathematical Knowledge 81
inference in general to give a good ground for the conclusion and thereby
provide new knowledge in a Platonic sense. A possible objection could be
that in the case of deductive inference the belief cannot be new because
the agent must have already entertained this belief if she held the
premisses true.
There is a philosophical dictum, which at least used to be fairly common,
saying that the content of the conclusion of a deductive inference is
already contained in the content of the premisses. This has been taken to
stand in opposition to the idea that deductive inference may generate new
knowledge. What was meant was seldom articulated in such a way that a
real opposition emerged. Sometimes the supposed opposition was taken to
constitute a paradox that had to be explained, because it was acknowledged
that it seemed to be a common experience that new knowledge was
generated by deductive inference. Since there was no real argument for the
view that the latter would be impossible, it was never clear what was to be
explained.
What have to be made more precise in this discussion is not only what
one means by the content of the conclusion being contained in the content
of the premisses, but also what one takes knowledge and new knowledge
to mean. It is true that there is no agreement on how the notion of
propositional knowledge is to be analysed, nor on whether the analysis can
be expected to result in a definition of the notion of knowledge in terms of
other notions or only in establishing certain relations between the notion of
knowledge and some other notions.
In the case of a Platonic or justificatory notion of knowledge, one
would say that a person acquires new knowledge, if she gets in possession
of a ground for holding a proposition true and earlier lacked any ground
for such a belief. It does not seem likely that there is a cogent argument for
saying that a deductive inference cannot bring about new knowledge in
that sense.
Some think that knowledge should be analysed in terms of reliable
processes that make us hold a proposition true. Certain deductive inference
procedures are then counted as reliable processes, and are hence seen as
giving us knowledge. It seems out of question that one could argue for the
view that such a process could not make one hold a proposition true that
one did not hold true earlier.
Cellucci seems to concur in the philosophical dictum that we are
discussing, saying that deductive inference are non-ampliative, which is to
say that the conclusion contains no more than was implicitly contained
82 Chapter Five
14
Cellucci (2011, p. 128).
15
Cellucci (2013a, p. 55).
16
Celluccis notion of non-ampliative is really intended for another context than
the present discussion, namely, when asking what inferences allow us to infer a
new hypothesis from current scientific hypotheses or from observation data.
(Private communication).
The Status of Mathematical Knowledge 83
17
Dummett (1973, p. 27).
18
Cellucci (2013, p. 34).
84 Chapter Five
the decisions that he made when choosing his or her strategy for solving
the problem, there could be arguments pro and con, but they would still be
absent from the solution that has been found.
There is no general agreement about what characterizes a deductive
inference. But one can hardly make any progress in the project I am
considering without proposing such a characterization. As has already
been suggested, it must be required of an inference for being legitimate in
a deductive proof, that it yields a conclusive ground for the conclusion
when there are conclusive grounds for the premisses. I think that this is
also a sufficient condition for being legitimate. One may hope for a more
informative characterization of the legitimate deductive inferences, saying
what it is that gives an inference the epistemic force to yield a conclusive
ground for the conclusion given such grounds for the premisses. It is not
possible in this paper to go deeper into how this idea can be developed19,
but I shall make some comments on the notion of conclusive ground,
which I hope will be sufficient to see how there may be such grounds for
the mathematical propositions we hold true.
5. Conclusive ground
One may have doubts about the actual existence of conclusive grounds,
and if so, the characterization of deductive inference in terms of them may
seem pointless. Such doubts may come from the insight that one can never
exclude the possibility of errors in human affairs. But it is important not to
confuse two different notions involved here. Consider a computation of
two arithmetical terms that are built up by the usual arithmetical
operations. If it gives the same result, it counts as a verification of the
identity statement, asserting that the two terms denote the same number.
The computation deserves to be called a conclusive ground for this
assertion. But of course the existence of such conclusive grounds does not
exclude the possibility of mistakes in calculations that we make.
Embarrassingly enough, one sometimes believes a false identity statement
to be true, having not discovered a certain error in the attempted
computation, in spite of having checked it several times. In this sense, one
can say that one can never absolutely exclude the possibility of errors.
Nevertheless we know what we mean by an arithmetical computation.
There is nothing particularly obscure about it. And it is entirely right to say
that if a computation of two terms gives the same result, then the
19
See further Prawitz (1914).
86 Chapter Five
20
Cellucci (2011, p. 130).
The Status of Mathematical Knowledge 87
operation does yield a conclusive ground for the conclusion given the
stated presuppositions.
It should thus be clear that there are conclusive grounds for assertions
which we are in possession of when knowing what the assertions mean, as
for instance in the case the assertion that 0 is a natural number or that t = t.
Similarly, we know in other cases how to get in possession of a conclusive
ground by making certain operations, such as carrying out computations to
ground the assertion of an arithmetical identity t = u. Furthermore, the
example of mathematical induction illustrates how given conclusive
grounds for the premisses of a deductive inference are transformed to a
conclusive ground for the conclusion by a certain operation.
To vindicate in this way the general idea that mathematic knowledge is
obtained by deductions from truths already known, one has to show that
for all deductive inferences used in mathematics there are operations that
transform conclusive grounds for the premisses to a conclusive ground for
the conclusion. This has to be seen as a project whose possible realization
I have only given a hint of above.21
However, this is not enough, because as Cellucci remarks, if the
axioms are only plausible propositions, then the notion of axiomatic
proof collapses into that of analytic proof22. A similar collapse threatens
to occur for the view that I am advocating, if it cannot be shown that
accepted deductive proofs can ultimately rest on initial premisses for
which we have conclusive grounds, because if the strength of grounds for
the initial premisses are less than being conclusive, then there is no
guarantee that the deductive proof preserves the level of plausibility of the
initial premisses, and then, as already pointed out, one may reasonably
require something more than a deductive proof in order to get a good
ground for the conclusion. This I see as the most challenging part of
Celluccis argument.
Argument (2) as stated above (section 1) goes clearly too far. The
analytic method as Cellucci describes it, or just careful arguments pro and
con, may function as a method for getting to know that the initial
premisses are true, at least if one uses the terminology developed here; a
fallible method of course, but nevertheless a rational method that may
result in knowledge. What is meant is presumably that there is no way of
finding conclusive grounds for the initial premisses. I have indicated a way
in which one may find such grounds in virtue of what one takes the
21
For more details about such a project, see Prawitz (2014).
22
Cellucci (2008, p. 12).
88 Chapter Five
involved concepts to mean. But it is far from obvious that by this strategy
one succeeds in finding conclusive grounds for all the propositions that are
taken to be obviously true and are therefore allowed as initial premisses in
mathematical proofs. This project is equally essential in order to meet the
challenge posed by Cellucci.
23
Ibid, pp. 3-4.
The Status of Mathematical Knowledge 89
solved the problem by proving the conjecture and hence the theorem; not
that Wiles gave an axiomatic proof, but he inferred the theorem
deductively from initial premisses that were agreed by mathematicians to
express known truths.
The deductive turn of mathematics seems to have taken place already
at the time of Plato and Aristotle, thus before the idea of axiomatic
systems. Although we do not know in detail how this occurred, it seems
clear that at this time mathematicians considered themselves to have
proved theorems, not only to have established hypothetical assertions.
The issue is whether they were right in thinking so. Cellucci maintains
that they were not, that there was no principle difference between the
simple initial premisses from which the Greeks proved their theorems and
the hypotheses that Babylonians had used when solving geometrical
problems. It seems reasonable to say the burden of proof rests on those who
claim that there is a principle difference. To say only that the mathematical
proofs start ultimately from obvious truths is not a satisfactory response.
The axiomatic method lay near at hand as an attempt to improve the
response. It made precise which truths one had to rely upon and one could
try to make plausible that they were self-evident.
Mathematicians in general have seldom cared about deducing what
they considered to be already known truths from more fundamental
principles; with Russell we could say that they are usually not interested in
mathematical philosophy. In the case of arithmetic, there was not even a
proposal of an axiom system before the end of the 19th century.
The axiomatic idea was nevertheless so influential philosophically that
it came to be considered the ideal methodology of science in general. This
caused scientists in the 17th century such as Huygens to plead for the view
that in his field one will find a kind of demonstration that does not create
as high a degree of certainty as the geometric proof and that is actually
very different from the method of proof of the mathematicians. For they
prove their propositions from certain and unassailable principles whereas
here the principles are tested by means of their consequences24. Newton
made similar remarks in the direction of the hypothetical-deductive
method. There is of course a similarity between this method and the
analytic method that Cellucci describes, although he does not suggest that
hypotheses are tested as in the hypothetical-deductive method by
comparing some assertions that can be deduced from them with observable
phenomena.
24
C. Huygens, Treatise on Light, Chicago, 1945, p. vi.
90 Chapter Five
In mathematics, the axiomatic idea kept its sway for a longer time. I
would say that the decline and fall of the axiomatic method, to use an
expression of Cellucci, occurs in the 19th and 20th centuries the decline
comes with the idea that the axioms do not express obvious truths but are
arbitrarily chosen, and the fall came with Gdels incompleteness theorem.
The fall of the axiomatic method does not affect the view that
mathematical knowledge is acquired by deductive proofs from obvious
truths, because this view is not tied to the idea that one can specify once
and for all a set of axioms from which all deductive proofs are to start. For
instance, in arithmetic a deductive proof of an assertion can start from
reflective principles that are not given in advance but are formulated in the
context of the assertion in question and are then seen to be obviously true.
The challenge to explain in what way the ultimate starting points for
mathematical proofs are obvious truths remains however. It is an open
question whether the project that I outlined to explain this can be carried
through. I see Celluccis criticism as a stimulating challenge of a common
view about mathematics that has been accepted on too weak grounds.
References
Cellucci, Carlo (2008), Why Proof? What is a proof?, in Deduction,
Computation, Experiment, R. Lupacchini and G. Corsi (eds), Berlin:
Springer, pp. 1-27.
. (2011), Classifying and Justifying Inference Rules, in Logic and
Knowledge, C. Cellucci et al (eds), New Castle upon Tyne: Cambridge
Scholars Publishing, pp. 123142.
. (2013), Philosophy of mathematics: Making a fresh start, Studies in
History and Philosophy of Science 44, pp. 32-42.
. (2013a), Rethinking Logic: Logic in Relation to Mathematics,
Evolution, and Method, Dordrecht: Springer (forthcoming).
Dummett, Michael (1973), The Justification of Deduction, (Proceedings of
the British Academy, vol. LIX), London: Oxford University Press.
Prawitz, Dag (2008), Proofs Verifying Programs and Programs Producing
Proofs: A Conceptual Analysis, in Deduction, Computation,
Experiment, R. Lupacchini and G. Corsi (eds), Berlin: Springer, pp.
81-94.
. (2014), Explaining deductive inference, in Dag Prawitz on Proofs and
Meaning, H. Wansing (ed.), Dordrecht: Springer Verlag (forthcoming).
Russell, Bertrand (1919), Introduction to Mathematical Philosophy,
London: George Allen & Unwin, Ltd.
CHAPTER SIX
GABRIELE LOLLI
1
In Polya 1954, pp. 17-22, there are long quotations from Eulers paper of 1756
Specimen de usu observationum in mathesi pura.
2
The context is the discussion of the second incompleteness theorem, which Gdel
concludes with the following alternative:
So the following disjunctive conclusion is inevitable: Either mathematics is
incompletable in this sense, that its evident axioms can never be comprised in a
finite rule, that is to say, the human mind (even within the realm of pure
mathematics) infinitely surpasses the powers of any finite machine, or else there
exist absolutely unsolvable diophantine problems of the type specified (where the
case that both terms of this disjunction are true is not excluded ).
Gdel claims that the second horn seems to imply that mathematical objects
and facts (or at least something in them) exists objectively and independently of
Empiricism and Experimental Mathematics 93
Hence Gdel envisages the possibility that in the case of the realistic
option Platonism expounds the vision of mathematics as a natural science.
He did not pursue this idea, which would be consistent with his later
analysis of mathematical perception as an analogue of sense perception;
nor did empiricists follow his lead and profit from Gdels prestige.
our mental acts and decisions, that is to say, some form or other of Platonism, or
realism as to the mathematical objects. Then comes the quotation in the text
above.
3
To be more precise, it suggests that the situation in mathematics is not so very
different from that in the natural sciences. As to whether, in the final analysis,
apriorism or empiricism is correct is a different question.
94 Chapter Six
2. Experimental mathematics
At the end of the nineteenth century, Felix Klein classified mathematicians
as logicists, formalists and intuitionists (Klein 1893); at the end of the
twentieth century, a new category was added, that of experimental
mathematicians. They owe their existence and professional status to the
computer.
Experimental mathematics is defined
4
See the biography by A. Pyman, 2010, and Bettis essay, 2009. A few of
Florenskijs writings have been translated into Italian in Florenskij 1995 and
Florenskij 2007.
98 Chapter Six
Florenskij exhaustively enumerates all the machines used at the time for
advanced computations, many of them now forgotten.5 He himself built
three machines in 1922, two for solving algebraic equations of higher
degree, and even transcendental ones, one hydrostatic and the other
electrostatic, and a third for the integration of arbitrary functions.
Florenskij, however, is not interested only in computations.
5
He mentions the slide rule (E. Gunter, 1623, improved by E. Wingate, 1627, and
Seth Partridge, 1657), Ritters machines to compute algebraic expressions with
square roots, Lalannes arithmetical scale, Exners computing machines to solve
algebraic equations up to the seventh degree the scales of C. V. Boys, G. B. Grant
and R. Skutsch (at the end of nineteenth century) for equations oh higher degree,
the wheels of E. Stamm (1863), M. Deprez (1871), F. Guarducci (1890), and A. B.
Kempes machine (1873) to solve trigonometric equations, L. Torress machine
(1895) for the real and complex solutions of algebraic equations and linear
systems, H. Wehages machine (1878), Varignon polygons, Lord Kelvins
machine (1878), with discs and integrating cylinders; he recalls A. Demaner who
in 1898 applied the principle of communicating vessels to solve third degree
equations, G. Meslin who in 1903 built a hydrostatic balance to solve algebraic
equations, A. Emch who in 1901 used the velocity of liquid flows to extract roots,
and Weltmans rocker arms (1884) for linear systems, and F. Lucass electric
solution of algebraic equations (1888).
Empiricism and Experimental Mathematics 99
For us what matters is not only what the machine shows us, but how we
come to know it, and this how is not something external to the machine,
to the tool of knowledge, but a built-in character. When we draw a
circumference with a compass, we have to know whether the lead has
come back to the starting point, when drawing a segment whether the rule
lies on it or is detached and so on. Usually these requirements are assumed
to be satisfied by themselves, disregarding the cognitive acts involved,
hence the aspect of reality involved in such acts. Usually one decides that a
machine is needed, and it is assumed that all comes free. In other words,
mathematics is assigned the abstract metaphysical property of
omniscience, and of immediate knowledge [] the machine will do its
duty and mathematics will reflect on the result without any concrete and
vital tie to the object of its reflection. In this case, in fact, the necessary
intuitions would belong only to the kinematic realm and mathematics
would need no new intuitions.
6
Among western empiricist mathematicians only Davis 1972 dared to express
similar ideas.
7
Florenskij sounds prophetic here. The chains of inferences can be formed by
stitching together independent shreds; exactly in the same way as in a broth of
oligonucleotides longer and longer chains are formed when strings are tied
together by the bond of complementary oligonucleotides. This is more than a
metaphor: in 1995 Leonard Adleman proved the existence of a Hamiltonian circuit
in a graph with a biochemical proof, using DNA polymerase. See Cipra 1996.
100 Chapter Six
Do the veins and annual lines of logs, which are a system of isopotential
force lines, not teach us anything? This burst of imagination is an
example of what Florenskij meant when he said: All the scientific ideas
that I cherish have always been aroused in me by the sense of mystery.
Appendix 1
To give an idea of the arguments treated by M. Levi, we present his first
and simplest example (p. 6): wanted is a proof of the fact that, given three
points A, B, C in a plane, point X of the plane such that the sum of the
distances XA + XB + XC is minimal is that for which the three angles
AXB, AXC, BXC are equal, and each is equal to 120; one ties three
strings together calling the node X, then one slips each string through one
of the holes drilled at points A, B, C of a fictitious table, hanging equals
weights (by convention, 1) under the table; the potential energy of the
first string is then XA, since to drag X from A to its position one has to
raise the unit weight by distance XA; similarly for B and C.
S(x) = |x a| + |x b| + |x c|
Appendix 2
Pavel Aleksandrovic Florenskij (1882-1937) was born in what is now
Azerbaijan, graduated in mathematics in 1904, in Moscow, with a
dissertation written under the supervision of Nikolaj Vasil'evic Bugaev
(1837-1903). Bugaev was the founder of the Moscow Mathematical
Society, which was a sort of mathematical-philosophical school whose
best students included D. F. Egorov and N. N. Luzin.
Bugaev had been impressed, in the development of analysis in the
second half of the nineteenth century, by the emergence and prominence
of discontinous functions, which are in fact the majority of real functions.
From a philosophical point of view, Bugaev and his followers saw the
evolution of the universe as a constant struggle of logos against chaos,
and assumed that mathematics was necessary for the development of a
general conception of the world. Florenskij was strongly influenced by
and contributed to this vision with a principle of discontinuity, by which
he found a justification for a conception of numbers as forms, which in
the continuity of change would not be possible
Besides mathematics, Florenskij had many other interests, philosophical,
theological, religious and artistic. Even in his papers devoted to art
criticism however, such as Florenskij 1995, one perceives his deep
geometrical culture, as shown by Betti 2009: the conception of the world
is the conception of the space, and the spiritual character of each epoch
determines the idea of space and its representation; the space of the arts is
not the Euclidean and Kantian space of classical physics, but a variable
curvature space which is modelled around the sensitivity and the interests
of the artist.
At the heart of his various interests Florenskij always held to a
mathematical conception of the world; in 1900 he wrote to his father that
in mathematics the philosophy of nature knits together with ethics and
aesthetics; even religion finds its proper place in the overall picture (Betti
2009).
After studying Cantors set theory, Florenskij adopted the theory of
the transfinite as a symbol of the ontological and logical relation between
the world of the absolute and that of the relative: human beings are
carriers of the transfinite, not the finite as opposed to the infinite divinity.
When he built a model of the complex plane, in the essay The
imaginaries and geometry (1920, partially translated in Florenskij 2007,
pp. 278-89), he conceived of two worlds connected by a frontier, each
able to leave a trace of itself in the other: it is not one plane, as in the
Argand-Gauss model, but it is made up of two planes, the first the real
Empiricism and Experimental Mathematics 103
one and the other that of pure imaginaries; in between are the point with
complex coordinates a + ib (in the same essay he describes the space of
Dantes Comedy as an elliptic geometry).
The mathematical models Florenskij used in philosophy were not to
him mere analogies or similes; they bring out substantial affinities.
Mathematics is the preferred tool for knowledge because it has to do with
the necessary structure of thought, which corresponds to ontological
structures.
After graduating, instead of embarking on an academic career Florenskij
dedicated himself to theology, and became an orthodox priest. He
continued however to cultivate science, also for practical reasons. After
the revolution he survived by doing different jobs for which he was suited
thanks to his scientific training, and these new experiences gave him a
deeper appreciation of scientific knowledge, much more mature and
serious than his early mystical philosophy. Florenskij among other things
had a job in a plastic factory, taught in the Arts and Technics
Laboratories, was the manager of the Electrotechnical Institute K. A.
Krug, contributed to the electrification venture of the USSR and studied
electro-insulating materials; in Siberia, where he had been transported, his
researches concerned anti-freeze liquids, permafrost and electronics. His
last essay, commented on in the text, bears the mark of these scientific
and professional experiences.
References
Andrews G. E. (1994), The Death of Proof? Semi-Rigorous Mathematics?
Youve got to Be Kidding, The Mathematical Intelligencer, 1994, vol.
16, n. 4: 8-16.
Baker A. (2007), Is there a problem of induction for mathematics?, in
Leng, Paseau e Potter 2007: 59-73.
Balk M. B., V. G. Boltyanskii (1987), Geometriya mass (in Russian),
Bibliotechka Kvant, 61, Nauka, Moscow, 1987.
Betti R. (2009), La matematica come abitudine del pensiero. Le idee
scientifiche di Pavel Florenskij, Centro Pristem Eleusi, Universit
Bocconi, Milano, 2009.
Bloor D. (1976), Knowledge and Social Imagery, The Univ. of Chicago
Press, Chicago, 1976, 19912.
Borwein J. M., Bailey D. (2004), Mathematics by Experiment. Plausible
Reasoning in the 21th Century, A K Peters, Natick, MA, 2004.
Cellucci C. (1998), Le ragioni della logica, Laterza, Roma-Bari, 1998.
104 Chapter Six
IS TRUTH A CHIMERA?
CESARE COZZO
consequence is that philosophy aims at truth, and that the latter thesis
should also be part of the heuristic view. Yet this inference would be
wrong. Cellucci claims that truth is a chimera: throughout its long
history, philosophy has obstinately, though fruitlessly, chased after some
chimeras that is, fantasies or illusions concerning knowledge, which
have led philosophy into directions that have prevented it from adequately
understanding the character of knowledge. Such chimeras must be
disposed of if we wish to develop a fruitful philosophy (pp. 77-8). The
list of chimeras to be banished includes many illustrious philosophical
notions: truth, objectivity, certainty, intuition, deduction, rigour, mind
(p.78). This paper deals with the first item on the list. Why does Cellucci
think that truth is a chimera, a fantasy or an illusion? Are the reasons he
provides for his claim convincing?
Cellucci begins by arguing that some attempts at characterizing the
concept of truth are inadequate. The first target of his critique is the
correspondence theory of truth, which is commonly attributed to Aristotle.
Celluccis interpretation of Aristotle runs contrary to this widespread
attribution. In his view (p. 79), Aristotle thinks that the concept of truth as
correspondence should be discarded. Perhaps the main objection to the
correspondence theory that Cellucci sees in Aristotle and which can later
be found in new guises in Kant, Frege and other philosophers (pp. 85-6)
can be summed up in a single remark: correspondentists fail to specify a
genuine relation between truth-bearers and reality. The correspondence
theory is based on the idea that truth consists in a relation of
correspondence between thoughts (or other truth-bearers) and an objective
reality that is independent of our thoughts. But the idea that such a relation
exists the critic argues is an illusion: if we endeavour to specify the
nature of the relation of correspondence, we end up with a relation
between a thought and another thought, a representation and another
representation, or a sentence and another sentence. Cellucci (pp. 85-6)
endorses this objection and concludes that the concept of truth as
correspondence cannot be applied to modern science. Indeed he seems to
suggest that this concept is essentially misconceived and cannot be applied
to any item of knowledge.
The theory of truth that Cellucci ascribes to Aristotle is a theory of
truth as intuition of the essence. This theory of truth is adequate for
Aristotelian essentialist epistemology. According to an essentialist
epistemology, science discovers the real essences of things. But
essentialism was abandoned in the seventeenth century. For Cellucci,
Galileos scientific revolution is a move from an essentialist to a non-
essentialist epistemology. In the footsteps of Galileo, modern scientists
Is Truth a Chimera? 109
renounce all claims to knowledge of the essences and limit the scope of
science to some properties that can be dealt with mathematically. A
straightforward consequence is that the theory of truth as intuition of the
essence cannot be applied to modern science. One might ask, however,
if another concept of truth could be applied to modern science. The answer
is in the negative, because all the alternative concepts that have been
proposed are inadequate (p. 86). To support the latter claim Cellucci
examines the weak points of the concept of truth as consistency (David
Hilbert), as systematic coherence (Harold Henry Joachim), and as
provability (Dag Prawitz). Cellucci concludes that all alternative concepts
of truth that have been proposed are inadequate: this implies that no
known concept of truth applies to modern science. In short: philosophers
have devised various concepts of truth, but whichever philosophical
concept of truth we choose, the thesis that truth is a characteristic feature
of scientific knowledge always turns out to be wrong, though for different
reasons. In this sense truth is an illusion.
Illusions, however, can be useful, and sometimes necessary. We might
grant that truth is an illusion and that science does not deliver truths, whilst
still admitting that such an illusion is necessary for science, perhaps
because it plays the role of a regulative idea. Cellucci rejects this. He
claims that truth does not play any role in (modern) science. Truth is only
a chimera that prevents us from adequately understanding the character
of knowledge and therefore must be disposed of. The first step towards
this conclusion is the claim that no known concept of truth applies to
modern science. The second step is the remark that since, despite this,
science has developed, its development did not depend on reference to any
concept of truth (p. 89). Therefore, a philosophy in accordance with the
heuristic conception must abandon the notion of truth.
An analytical epistemologist might object: x knows that p implies p
is true; therefore, if philosophy aims at knowledge, it aims at truth as
well. But Cellucci rejects the connection between knowledge and truth:
knowledge does not aim at truth, it aims at plausibility (p. 177).
Plausibility is a key notion in the heuristic view. Knowledge consists of
plausible hypotheses. A hypothesis is plausible if, and only if, it is
compatible with the existing data (p. 177). By compatibility with the
existing data Cellucci means that if we compare the arguments for and
against the hypothesis based on the existing data, the arguments in favour
of the hypothesis outweigh the arguments against it (pp. 177-8). The
heuristic view is centred upon the problem of knowledge, but the task of a
philosophical investigation concerning knowledge according to the
heuristic view is entirely different from the task that most analytical
110 Chapter Seven
2. My objections in short
I have tried to summarize Celluccis evidence for his contention that truth
is a chimera. Perhaps I failed to notice some important ingredient of his
arguments. If so, I hope that Cellucci will reply and that his reply will
highlight the crucial ingredient. But if my summary is correct and nothing
important has escaped me, then I do not think that the arguments provided
constitute convincing grounds for disposing of the notion of truth.
Moreover, it seems to me that the tenet that truth is a chimera is not
essential to Celluccis heuristic conception of philosophy and knowledge.
Indeed, I would say that, Celluccis arguments notwithstanding, a notion
of truth is necessary for the human activity of problem solving and
therefore for an adequate understanding of the phenomenon of knowledge.
More specifically, I have four objections to Celluccis views on truth: 1)
the concept of truth was not invented by philosophers: a basic notion of
truth plays a key role in everyday life, for non-philosophers and non-
scientists as well; 2) the role played by the basic notion of truth in
everyday life is inextricably intertwined with the practice of seeking
knowledge and solving problems; 3) there are many statements that are
true, therefore this notion is not an empty concept; 4) many of the
statements to which the basic notion of truth applies are statements made
by the modern sciences.
Is Truth a Chimera? 111
kind often occur in everyday life: we wonder whether we left the keys in
the other jacket or whether the book was in the bag. Now consider the
equivalence property. In virtue of the equivalence property we can
reformulate the question concerning my car as the question: Is it true that
I parked my car in Via Bellini?. This is the problem. This is what I am
interested in knowing. Whether it is true that I parked in Via Bellini. If I
want to avoid the word true, I can say: I am interested in knowing
whether I parked in Via Bellini. But the problem is one and the same.
Admittedly, the best (albeit fallible) way to solve the problem is to
investigate whether or not the hypothesis that I parked there is plausible.
But I am interested in plausibility only to the extent that it is an epistemic
means of establishing the truth (albeit fallibly).
So this is my first point: we can make the practice of problem solving
intelligible to ourselves only if we understand what the problem that we
want to solve is. The problem of primary importance to me is not whether
it is plausible that I parked in Via Bellini, but whether it is true. An answer
that is merely plausible may fail to be a solution and the real solution may
fail to be plausible. Consider the following continuation of the story. My
friends and I try to reconstruct our lively and eventful night by
reassembling the pieces of fragmented memories. Then we compare the
evidence for and against the hypothesis that I parked in Via Bellini. The
evidence in favour prevails. Yet, alas, I did not park in Via Bellini. This
scenario illustrates the possibility of a hypothesis being compatible with
the existing data without being true. Plausibility does not imply truth. On
the other hand, another continuation of the story is as follows: we decide
to go to Via Bellini and find no car. The plausibility of the hypothesis I
parked in Via Bellini is reduced to a minimum. Now it is very
implausible that I parked in Via Bellini, since the car is not there.
Nevertheless, it may still be true: perhaps the car is not there now because
it was stolen during the night. Truth does not imply plausibility. In any
case, if I am interested in recovering my car, what matters is which of the
two statements I parked in Via Bellini or I did not park in Via Bellini
is true, not which of the two is plausible. In virtue of the equivalence
property, the following two sentences are equivalent.
state of suspended judgment? Far from it! We often become satisfied that
we have found the solution to our problem. We express this conviction in
language by moving to the level of assertions. Admittedly, we are aware of
the possibility of error. Sometimes it turns out that our belief that we
possessed a solution was mistaken. In this case the old problem is
reopened and we must go back to the stage of making hypotheses. But the
fallibility of our conviction does not change the fact that selecting a
solution and making our choice public through the speech act of assertion
is a different stage of our activity of problem solving. The act of
linguistically expressing our choice of a solution is an assertoric act. We
choose one of the hypotheses and assert the corresponding solution. This
act would become pointless if we also asserted a contrary potential
solution resulting from one of the other hypotheses. So the level of
assertion is characterized by an intolerance of incompatible alternatives.
We are free to make various incompatible hypotheses, but we are not free
to make incompatible assertions. We advance the selected sentence as the
solution and commit ourselves to its truth, which rules out the truth of a
rival potential solution.
If this is the right explanation of the difference between hypothesis and
assertion, it seems clear that a notion of truth is needed to make the
difference intelligible. We need a notion of truth in order to grasp the
nature of the commitment that characterizes the act of assertion: the
commitment that the asserted sentence is true. Truth plays a crucial role
and without this notion a significant part of our activity of problem solving
would not be possible. As a consequence, when Cellucci recommends that
we get rid of the notion of truth, what he is actually advocating is a
profound change to our epistemic and linguistic practices, a change whose
impact is difficult to imagine. This was not his intention. He wanted to
adequately investigate the character of human knowledge as it really is. He
did not want to replace human knowledge with something profoundly
different. Thus the exhortation to dispose of the notion of truth clashes
with Celluccis heuristic view. The thesis that truth is a chimera should be
rejected.
On Celluccis behalf it might be objected that when we select one of
the hypotheses that were candidates for a solution and finally present it as
the solution to our problem, we are simply choosing that hypothesis as the
most plausible: doing so does not require reference to the notion of truth.
This objection, however, neglects the equivalence property. Perhaps I
choose the hypothesis I parked in Via Bellini because it is the most
plausible alternative. But a positive solution to the problem Did I park my
car in Via Bellini? cannot be it is plausible that I parked in Via Bellini,
118 Chapter Seven
crucial sense in which we agree that it can be wrong and can be criticized:
because it is not true. Suppose that Enrico sincerely asserts that I parked in
Via Bellini. He sincerely believes that he remembers that I parked there.
Since we lack any grounds for not thinking things to be as Enrico sincerely
says that he remembers them, we rightly consider his assertion justified
(though defeasible) and we deem it plausible that I parked in Via Bellini.
So the assertion was sincere, justified and plausible (it agreed with all the
available data). But it may later turn out that it was not true. If we now
discover that my car was parked elsewhere, we will say that Enricos
assertion was wrong and Enrico himself will withdraw it. Not only is the
assertion wrong now, it was also wrong in this crucial sense when it was
initially made, because the asserter made a commitment and failed to
honour it.
A critical reader will object that I am painting far too idealized a
picture of assertoric practice. Our assertions are only sometimes made on
the basis of a conviction that we have reached a satisfactory solution to the
corresponding problem. Very often we make an assertion only because we
intend to act, or to make someone else act, in a certain way. Enrico may
assert You parked in Via Bellini without any recollection of where I
parked last night and without having made any effort to solve the problem.
He may make this assertion simply because he knows that, if his speech
act is accepted, we will go to Via Bellini and because, for some reason, he
wishes us to go there. Speakers often make assertions without knowing the
truth of the asserted sentence and without even having tried to solve the
corresponding problem. Moreover, speakers are often unwilling to retract
an assertion they have made, even if their interlocutors raise plausible
objections; on the contrary, the asserters try to hide and play down any
evidence against the assertion and to persuade other speakers to accept the
assertion by all means, quite regardless of truth. In most cases the motive
for this conduct is that the asserter intends to influence the others actions.
It is indeed essential to assertoric practice that we speakers are aware
that we and our fellow speakers act on the accepted assertions (cf.
Dummett 1981, pp. 302, 355). An assertion linguistically expresses a
commitment to the existence of the solution to a propositional problem.
We learn the practice of assertion in certain basic circumstances. In a basic
assertoric circumstance the asserter is in a better position to solve the
propositional problem than the hearer. The asserter can thus convey the
information that the problem is solved to the hearer. Basic assertoric
circumstances also present themselves in the everyday practice of
competent speakers: Gino can remember that I parked in Via Bellini,
whereas I have forgotten; by asserting You parked in Via Bellini, he
120 Chapter Seven
solves the problem for me and gives me the solution. The hearer can take
advantage of the assertoric act, benefiting from a piece of information that
she or he would not otherwise have acquired. The hearer can thus orient
her or his actions by relying upon the speakers assertion. Assertion is a
key tool for the intersubjective coordination of actions through language.
It is a plain fact, though, that the tool of assertion is often misused.
Since all speakers are aware of its functioning, the asserter, without
genuine concern for the solution to the corresponding propositional
problem, can use assertion in order to make the hearer do and believe what
appears to be expedient. This instrumental use of assertion, however, is
intelligible, and thus possible for us, only against the background of a
basic tacit agreement among speakers that an asserter is committed to the
truth of the asserted sentence. Without such a background the hearer
would not have the basic reason to rely upon the asserters utterance, and
the utterance would have no influence on the hearers actions. Therefore,
though the instrumental use of assertions is very frequent and widespread,
it does not refute the connection between assertion and truth; in fact, it
confirms the tenet that there is such a connection: the view that assertion
involves a truth-commitment explains how the instrumental use is
possible. The speech act of assertion is governed by an implicit norm of
truth: in making assertions and deciding whether to accept assertions we
speakers are aware that we ought to seek truth, though we often do not
care.
6. Intellectual virtues
What is it to seek truth? It is a way of acting, a practice. To answer the
question what is it to seek truth? the best we can do is to describe the
practice of seeking the solutions to propositional problems. We may call
this practice inquiry. Inquiry demands certain behavioural traits or
dispositions that go by the name of epistemic virtues or intellectual
virtues. As Peirce wrote: in order to reason well [...] it is absolutely
necessary to possess [...] such virtues as intellectual honesty and sincerity
and a real love of truth (1902a, p.43, C.P. 2.82, cf. Haack 1996).
Plato already highlights some intellectual virtues in his polemic against
the sophists. For example, he insists on the willingness to take objections
seriously and to retract ones assertions, if these objections stand up to
honest counterarguments (cf. Gorgias 458a, in Plato 1997, p. 802). But the
concept of intellectual virtue is more explicitly formulated by Aristotle in
the Nicomachean Ethics (1139b). Today virtue epistemology is one of the
most influential philosophical approaches to the problem of knowledge (to
Is Truth a Chimera? 121
get an idea the reader can look at Axtell 1997, 2000, Fairweather and
Zagzebski 2001, Roberts and Wood 2007, Baehr 2011). An incomplete list
of intellectual virtues includes curiosity, reflectiveness, attentiveness,
carefulness, sensitivity to detail, critical attitude, self-scrutiny, intellectual
honesty, fairness, flexibility, open-mindedness, intellectual non-
conformism, tenacity, intellectual courage. The list shows that intellectual
virtues are extremely diverse. Sometimes they come into conflict with one
another. A special wisdom (which is another virtue) may be necessary to
find the right dosage of virtues appropriate to a particular epistemic
context. But we are somehow aware that, in spite of their diversity, all
these behavioural traits contribute to a common goal. One can say that all
the intellectual virtues radiate (Code 1984, p. 34) from a central core: a
concern for truth. The intellectually virtuous agent seeks truths that are
relevant to the problem she, or he, confronts. The intellectual virtues are
ways of acting whose conscious motivation is the search for relevant
truths. This is one of the differences between intellectual virtues and
intellectual skills (cf. Zagzebski 1996, pp. 106-16). An intellectual skill,
such as the ability to think up analogies, is a capacity that can be used both
to hide truth and to discover truth. An analogy can serve to deceive an
interlocutor by deliberately misrepresenting reality or to solve a problem
through an enlightening connection. Unlike intellectual virtues, the
exercise of intellectual skills is not necessarily motivated by a search for
truth. But since intellectual virtues are motivated by our quest for truth,
intellectual virtues would not exist without some grasp of the notion of
truth. It is obvious that we are not always intellectually virtuous.
Intellectually virtuous acts often involve effort and sacrifice. Nevertheless,
rare as they may be, no one would deny that these ways of acting are
important features of our epistemic practices and a valuable ingredient of
life. Without a notion of truth, we would lack them.
Cellucci might say that intellectual virtues are not aimed at truth, that
they do not pursue truth, but plausibility. This suggestion is refuted by
many examples of intellectual courage. Perhaps the most famous is
Copernicus proposal of his heliocentric astronomic theory. This proposal
was an act of intellectual courage, not only for the well known religious
and political reasons, but also because in 1543 the Copernican system was
extremely implausible. Cellucci says that plausibility is compatibility
with the existing data, meaning that if we compare the evidence for and
against the hypothesis based on the existing data, the evidence in favour of
the hypothesis prevails over the evidence against it (cf. Cellucci 2008, pp.
177-8). But in 1543 the evidence against the Copernican system prevailed
over the evidence in favour of it. According to Herbert Butterfield (1965,
122 Chapter Seven
7. True statements
How would human beings live without a notion of truth? In Cozzo 2012
the reader can find an attempt to describe imaginary beings who do not
possess the notion of truth, but are otherwise similar to us. I believe that
this difference with regard to truth would have a wealth of far-reaching
consequences. If the above considerations are correct, the notion of truth
plays a very significant role in our life. Without some grasp of the notion
of truth we might perhaps have cognitive faculties (vision, hearing,
memory, etc.) and some skills, but we would not have intellectual virtues,
nor assertions and propositional problems, and thus we would not have a
language like that we are familiar with. What remained of our practice of
problem solving would be extremely primitive. Therefore I think I have
provided grounds to support the first two objections to Celluccis view that
I have listed in section 2: the concept of truth plays a key role in everyday
life, for non-philosophers and non-scientists as well, and this role is
strictly intertwined with the practice of seeking knowledge.
The other two objections were that there are many statements which
are true and that many of these statements are statements made by the
modern sciences. Yes. I claim that there are many true statements
belonging to the sciences and to everyday life. I do not say that they are
certain or incontestable. We can imagine how we might criticize them. For
example we might find mistakes if we investigate how we came to accept
them. Or we might realize that they contradict other statements whose
truth is better established. Criticism of a statement always takes shape
against the background of many other statements accepted as true. None of
them is immune to criticism. Nevertheless, many of them are true. This is
not a wild claim. After all, I think Cellucci would agree. Cellucci knows
that many statements are true. It is true that a cube cannot be the sum of
two cubes. It is true that our sun is one star among billions in the Milky
Way alone. It is true that two hydrogen atoms combine with one oxygen
atom to form a water molecule. It is true that dogs wag their tails and
mosquitoes sting. It is true that Carlo Cellucci lives in Rome and wrote a
Is Truth a Chimera? 123
book entitled Perch ancora la filosofia. I think he will not deny that these
statements are true. And, though he might deny it, it is true that I am one
of his grateful pupils.
References
Aristotle (1963). Categories and De Interpretatione: Translated with
Notes, ed. by J.L. Ackrill. Oxford: Oxford University Press.
. (2002). Nicomachean Ethics, translated by C. Rowe, philosophical
introduction and commentary by S. Broadie. Oxford: Oxford
University Press.
Axtell G. (1997). Recent Work on Virtue Epistemology. American
Philosophical Quarterly, Vol. 34, No.1: 1-26.
Axtell G. ed. (2000). Knowledge, Belief and Character. Lanham-Boulder-
New York-Oxford: Rowman & Littlefield.
Baehr J. (2011). The Inquiring Mind. Oxford: Oxford University Press.
Butterfield H. (1965) The Origins of Modern Science (revised edition).
New York: The Free Press.
Cellucci C. (2008). Perch ancora la filosofia. Roma-Bari: Laterza.
Code L. (1984). Toward a Responsibilist Epistemology. Philosophy and
Phenomenological Research. Vol. 45, No. 1: 29-50.
Cozzo C. (2012). Gulliver, Truth and Virtue. Topoi, vol. 31, No. 1: 59-66.
Dummett M. (1981). Frege. Philosophy of Language (second edition).
London: Duckworth.
Fairweather A. and Zagzebski L. eds. (2001). Virtue Epistemology: Essays
in Epistemic Virtue and Responsibility. Oxford: Oxford University
Press.
Frege G. (1918). Der Gedanke. Beitrge zur Philosophie des Deutschen
Idealismus, Band 1, Heft 2 : 58-77, rep. in Frege (1966).
. (1966). Logische Untersuchungen. Gttingen: Vandenhoeck &
Ruprecht.
Haack S. (1996) Concern for truth: What it Means, Why it Matters. In: P.
R. Gross, N. Levitt, and M. W. Lewis (eds), The Flight from Science
and Reason, New York: New York Academy of Sciences: pp 57-63.
Horwich P. (2010). Truth-Meaning-Reality. Oxford: Clarendon Press.
Kolmogorov A. N. (1932). Zur Deutung der intuitionistischen Logik.
Mathematische Zeitschrift, 35: 58-65.
MacFarlane J.(2011). What is Assertion? In: Brown J. and Cappelen H.
(eds), Assertion. Oxford: Oxford University Press: 79-96.
Peirce C. S. (1902a). Partial Synopsis of a Proposed Work in Logic (from
Minute Logic). In: Peirce (1960a).
124 Chapter Seven
REUBEN HERSH
1. Introduction
At last, in the 21st century, the maverick topic of mathematical practice
arrived as a legitimate theme of philosophical investigation. Carlo Cellucci
attended to mathematical practice, and challenged outworn philosophical
clichs. Paolo Mancosu edited a collection entitled The Philosophy of
Mathematical Practice. An Association for the Philosophy of
Mathematical Practice was organized, and published two issues of the
journal Erkenntnis.
But philosophical writing on mathematical practice still struggles to
get a grip. Before one philosophizes on mathematical practice, one might
wish to find out, What do real mathematicians really do? This article
reports on the mathematical practice of actual mathematicians. It focuses
on proof--the front side of mathematics. But in the course of our report,
128 Chapter Eight
Some philosophers may find these testimonies strange, but they will strike
mathematicians as commonplace. In order to explicate them, I will spell
out the concept of mathematicians proof: proof as it is understood by
mathematicians.
powers, or, in general, for any number which is a power greater than the
second to be written as a sum of two like powers. I have a truly marvelous
demonstration of this proposition which this margin is too narrow to
contain. This is Fermats last theorem (FLT). Fermats proof of it was
never found, but it was verified and checked for all powers of n up to
4,000,000. For over three and a half centuries, it was the most famous
open problem in mathematics. Around 1964, a young Japanese
mathematician, Goro Shimura, published a remarkable conjecture, which
became known as the Taniyama-Shimura conjecture (TS): Every elliptic
curve defined over the rational number field is uniformized by modular
functions. This very bold and startling conjecture has no apparent relation
to FLT. It asserts an intimate connection between two seemingly unrelated
subjects: algebraic geometry, where elliptic curves are a major topic, and
function theory, where the modular functions are central and classical. But
then, in the 1970s, the German number theorist Gerhard Frey found
reason to surmise that from TS one could prove FLT! An outline of a
possible proof of Freys surmise was offered in 1985 by the famous
mathematician Jean-Paul Serre. And in August of the following year, Ken
Ribet of Berkeley proved the lemmas in Serres proposal! Thus it was
established: FLT would indeed be proved, if only TS were proved. That
final step was made by a Princeton professor who had been obsessed with
FLT since the age of 10. Andrew Wiles realized that to obtain FLT, the
full Taniyama-Shimura conjecture is unnecessary, it is enough to prove TS
just for semistable elliptic curves. And that is what Andrew Wiles did,
with help from his student Richard Taylor. (See Mozzochi and Gowers)
Wiles paper uses a great variety of sophisticated mathematical ideas.
Nevertheless, an outsider can read the introduction, to glimpse what he did
and how he did it.1
In Wiles proof, as in all mathematical research, two aspects are
intricately intertwined: the heuristic or problem-solving, and the rigorous
1
Carlo Cellucci (2008) raised an interesting objection. It wasnt Wiles, he argued,
it was Ribet who proved FLT, by deriving FLT from TS. Wiles merely proved TS,
not FLT itself. Ken Ribet himself certainly never would claim any such credit, for
merely deriving FLT from an unproved conjecture. Yet, strangely enough, if the
order of events had been different, if Wiles had first proved TS, and Ribet had then
derived FLT from TS, it would indeed have been Ribet who had the glory of
proving FLT! That is how mathematicians assign credit. The first mountaineer to
stand atop Mount Everest gets the glory, even though everyone knows that his
climb was merely the last in a long sequence of preparations. Sad to say, criticism
from a philosopher will not change the way mathematicians assign credit.
130 Chapter Eight
The key development in the proof is a new and surprising link between two
strong but distinct traditions in number theory, the relationship between
Galois representations and modular forms on the one hand and the
interpretation of special values of L-functions on the other. The former
tradition is of course more recentThe second tradition goes back to the
famous analytic class number formula of Dirichlet, but owes its modern
revival to the conjecture of Birch and Swinnerton-Dyer. In practice,
however, it is the ideas of Iwasawa in this field on which we attempt to
draw, and which to a large extent we have to replace..The turning point
in this and indeed in the whole proof came in the spring of 1991. In
searching for a clue from commutative algebra I had been particularly
struck some years earlier by a paper of Kunz [62]It was only on reading
Section 6 of [121] that I learned that it followed from Tates account of
Grothendieck duality theory for complete intersections that these two
invariants were equal for such rings. The impact of this result on the main
problem was enormous.Then in August, 1991 I learned of a new
construction of Flach [35].Then, unexpectedly in May, 1993, on reading
of a construction of twisted forms of modular curves in a paper of Mazur
[71] I made a crucial and surprising breakthrough. ..Believing now that the
proof was complete, I sketched the whole theory in three lectures in
Cambridge, England (Wiles 1995)
One doesnt have to be familiar with L-functions and so on to see that this
proof depends on a vast acquaintance and deep understanding of the
literaturethe relevant parts of established mathematics.
3. Established mathematics
Established mathematics is the body of mathematics that is accepted as the
basis for mathematicians proofs. It includes proved statements in the
Establishing New Mathematics 131
literature, and also some simpler statements that are so well accepted that
no literature reference is expected. The central core of established
mathematics includes not only arithmetic, geometry, linear and polynomial
algebra, and calculus, but also the elements of function theory, group
theory, topology, measure theory, Banach and Hilbert spaces, and
differential equations--the usual first two years of graduate study. And
then to create new mathematics, one must also master major segments of
the established knowledge in some special area.
Every mathematician has mastered a substantial portion of established
mathematics, and has complete confidence in it. He/she could not be
qualified, accepted or recognized as a mathematician without attaining
such confidence and mastery. Confidence in established mathematics is for
a mathematician as indispensable as confidence in the mechanics of a
piano for a piano virtuoso, or confidence in the properties of baseballs and
bats for a big league baseball player. If youre worried about that, you
arent even in the game.
Established mathematics is an intricately interconnected web of
mutually supporting concepts, which are connected both by plausible and
by deductive reasoning. Starting from numbers and elementary geometry,
we have built a fantastically elaborated and ramified collection of
concepts, algorithms, theories, axiom systems, examples, conjectures, and
open problems. It provides most of the models or applications that are
in daily use, in the marketplace, the bank, and the inter-planetary rocket
control center. Deductive proof, mutually supporting interconnections, and
close interaction with social life (commerce, technology, education) all
serve to warrant the assertions of established mathematics. Deductive
proof is the principal and most important warrant. Publication of a
research result means adding something new to the body of established
mathematics.
How is the established core established? We mathematicians do
remember once having seen the Fourier transform proved, by means of
some more elementary parts of algebra and calculus, but, as Vaughan
Jones proclaims, thats not the most important part of why we believe in
the Fourier transform. And where does our belief in elementary algebra
and calculus come from? Not from axiomatic set theory (Zermelo and
Fraenkel), nor from Dedekind and Peanos axioms of the natural numbers.
For centuries before Dedekind, Peano, Zermelo or Fraenkel were born, the
practice of arithmetic, algebra and calculus had been firmly established. In
actual mathematical practice, mathematicians start from a given, a basis,
which we accept as firmly as we accept the reality of the physical and
social worlds. As Jones said, to question the Fourier transform, or any
132 Chapter Eight
u1uk[x!y(x,y,)
wvr(rv s(sw & (x,y,[s,r,]))]
justify a search for deductive proof. Neither analogy nor induction nor
deductive proof can establish the truth of a mathematical statement, for
Truth in the sense of perfect certainty is unattainable.
Experience! That is really what is behind it all. Experience never
guarantees truth. It can provide warranted assertibility. Deductive proof is
the strongest warrant we know for the assertibility of some proposition.
The strongest possible warrant, yes. Absolute certainty, no. Absolute
certainty is what many yearn for in childhood, but learn to live without in
adult life, including in mathematics.
Disregarding Vaughan Jones use of the word true, and contrary to
the picture often presented in logic text books, deductive proof in
mathematical research publication does not establish anything as true.
Deductive proof connects some proposed result to the body of established
mathematics. Once the proposed theorem is accepted or established, one is
permitted to use it in other proofs. Jones did well to keep the word truth
in scare quotes. Trying to explain what one means by truth in
mathematics is a hopeless quicksand. Jones instead adduces the many
irresistible warrants for the Fourier transform. One of those warrants is the
essential existence proof. This proof makes the Fourier transform as
reliable as basic arithmetic or algebra. If it was somehow found that the
Zermelo-Fraenkel or Dedekind-Peano axioms are contradictory, the
Fourier transform would not be abandoned, any more than the rest of
established mathematics would be abandoned. They are established more
firmly than the axioms that are presented as their foundation.
I must add that warrantedness comes in degrees. The strength of the
warrant varies from virtually unassailable, for standard arithmetic,
algebra, geometry, calculus, linear algebra and so on, down to very solid
for much-studied well known results, both old and new, including the
Wiles-Taylor FLT, and further down to reasonably reliable but needing
some care, which would apply to more recent and less well-known
publications. As more convincing arguments for a mathematical statement
are discovered, it becomes more strongly warranted. A deductive proof
makes it part of established mathematics, but thats not always the end of
the story. If the statement is widely studied, analyzed and used, if it
becomes closely connected, both plausibly and rigorously to other
established mathematics, then its warrant becomes stronger and stronger.
It can even become, like the Fourier transform, so firmly embedded in
established mathematics that it is inconceivable to exclude it.
Plausible (non-rigorous) reasoning is a warrant for making a conjecture,
even for establishing it as a plausible, well-founded conjecture (like
FLT, before Wiles.) And then plausible reasoning (problem-solving) is
Establishing New Mathematics 139
Acknowledgments
Thanks to Carlo Cellucci, Martin Davis, David Edwards, Sol Feferman
and Robert Thomas for helpful suggestions.
References
Aberdein, A. (2006) The Informal Logic of Mathematical Proof, IN:
Hersh, R. (2006) 56-70.
Azzouni, J. (2005) Is there still a Sense in which Mathematics can have
Foundations? IN: Sica, G. ed. Essays on the Foundations of
Mathematics and Logic, Monza, Italy, Polimetrica International
Scientific Publisher., 9-47
Barrow-Green, J. (1953) Poincare and the three-body problem, London
Mathematical Society
Bishop, E. (1967) Foundations of Constructive Analysis, New York,
McGraw Hill
Borwein, J., Bailey, D. and Girgensohn, R. (2004) Experimentation in
Mathematics, Natick, A K Peters
Borwein, J. and Bailey, D. (2004) Mathematics by Experiment, Natick, A
K Peters
Buldt B., Lowe B. & Muller T. (2008) Towards a New Epistemology of
Mathematics, Erkenntnis
Cellucci, C. (2011a) Philosophy of Mathematics: Making a Fresh Start,
paper presented at the 14th Congress of Logic, Methodology and
Philosophy of Science, Nancy, July 19-26
. (2011b) Classifying and Justifying Inference Rules, IN: Cellucci C.,
Grosholz E. & Ippoliti E., eds. Logic and Knowledge, Newcastle upon
Tyne, Cambridge Scholars Publishing, 123-148
. Why Proof? What is a Proof? IN: Lupacchini R. & Corsi G., eds.
Deduction, Computation, Experiment, Exploring the Effectiveness of
Proof, Berlin, Springer, 1-27.
. (2006) Introduction to Filosofia matematica, IN: Hersh, R. (2006),
17-36.
144 Chapter Eight
EMILY GROSHOLZ
SUMMARY The task of reference and the task of analysis (the search for
conditions of solvability of problems) in mathematics are often distinct
and produce disparate discourses, which must then be brought into relation
in a proof or textbook. Wiles proof of Fermats Last Theorem, and the
work of logicians to reformulate the proof in order to reduce its logical
complexity, provide instructive examples of various strategies of
integration, and provide evidence that the philosophy of mathematics must
pay more attention to processes of discovery as well as justification.
This apparent change of referents is explained by the fact that the proof
hinges on a problem reduction: the truth of Fermats Last Theorem is
implied by the truth of the Taniyama-Shimura conjecture, that every
elliptic curve over Q is modular. (The converse claim that every modular
form corresponds to a certain elliptic curve had already been proved by
Eichler and Shimura: Fermats Last Theorem follows from the two-way
correspondence.) The condition of modularity is important because then
the elliptic curves L-function will have an analytic continuation on the
whole complex plane, which makes Wiles proof the first great result of
the Langlands Program, and a harbinger of further results. Important
problem-reductions combine, juxtapose and even superpose certain kinds
of objects (and the procedures, methods and problems typical of them) on
other kinds. Wiles proof is not only about the integers and rational
numbers; it is at the same time concerned with much more abstract and
indeed somewhat ambiguous and polyvalent objects, elliptic curves and
modular forms. So for example at the culmination of Wiles proof, where
analysis has invoked cohomology theory, L-theory, representation theory,
and the machinery of deformation theory, we find the mathematician also
Fermats Last Theorem and the Logicians 153
the interaction between logic and number theory, for example, may give
rise to novel objects, procedures and methods still to be discovered.
Acknowledgements
I would like to thank Colin McLarty, Wen Ching (Winnie) Li, Dirk
Schlimm, Jessica Carter, Norbert Schappacher, Herbert Breger, Donald
Gillies, Karine Chemla, Ivahn Smadja, Angus Macintyre, Chiara
Ambrosio, Franois De Gandt, Dominique Bernardi, Emiliano Ippoliti,
and Carlo Cellucci for their various contributions to the evolution of this
paper. I also thank the Department of Philosophy and the College of the
Liberal Arts at the Pennsylvania State University, as well as the Ville de
Paris, the research group REHSEIS / SPHERE, and the Cit Internationale
Universitaire de Paris, for supporting my sabbatical research (2011-12),
which includes this essay.
References
Altman, A. and Kleiman, S. (1970). An Introduction to Grothendieck
Duality Theory. New York: Springer.
Breuil, C., Conrad, B., Diamond, F., Taylor, R. (2001). On the modularity
of elliptic curves over . Journal of the American Mathematical
Society, 14: 843-939.
Cellucci, Carlo (1998). Le regioni della Logica. Rome: Editori Laterza.
. (2002). Filosofia e matematica.Rome: Editori Laterza.
. (2007). La filosofia della matematica del Novecento. Rome: Editori
Laterza.
Cornell, G., Silverman, J., Stevens, G. (1997). Modular Forms and
Fermats Last Theorem. New York: Springer.
Darmon, H., Diamond, F., Taylor, R. (1997). Fermats Last Theorem.
Conference on Elliptic Curves and Modular Forms, Dec. 18-21, 1993
(Hong Kong: International Press): 1-140.
Freyd, P. (1964). Abelian Categories. New York: Springer.
Grosholz, Emily (2007). Representation and Productive Ambiguity in
Mathematics and the Sciences. Oxford: Oxford University Press.
Hartshorne, Robin. (1977). Algebraic Closed Fields. New York: Springer.
Kisin, M. (2009a). Modularity of 2-adic Barsotti-Tate representations.
Inventiones Mathematicae, Vol. 178, No. 3: 587-634.
. (2009b). Moduli of finite flat group schemes, and modularity. Annals
of Mathematics, 170(3): 1085-1180.
Li, Wen-Ching (2001 / 2012). Class Notes, Department of Mathematics,
162 Chapter Nine
CHRISTIAAN HUYGENSS
ON RECKONING IN GAMES OF CHANCE:
A CASE STUDY ON CELLUCCIS HEURISTIC
CONCEPTION OF MATHEMATICS
DANIEL G. CAMPOS
and deriving B and ~B; and (iii) reduction of one problem to another one,
i.e. anagog (Ibid., p. 163-164). According to the open world view,
moreover, mathematical systems are open systems with the following
distinctive features: (i) they are based on the analytic method so that proof-
search begins with a given problem, not with an axiom; (ii) they do not
depend on permanent axioms but on provisional hypotheses; (iii) they are
dialoguing systems so that one cannot assume that solving a problem in a
particular mathematical field requires only concepts and methods of that
field; (iv) they are dynamic systems capable of dealing with changeable
states of affairs; and (v) they involve proofs intended as objects that are
evolutionary, plastic, and modular (Ibid., p. 162-163). In order to
understand the nature of mathematical practice, then, it is crucial to
characterize as carefully as possible the analytic method. In fact, while the
closed world view does not provide a rational account of the process
through which definitions, axioms, and proofs are found and in fact
assumes that no such account can be given, the open world view identifies
in the analytic method a general framework for understanding the process
of mathematical discovery (Ibid., p. 171-172).
Cellucci undertakes the task of accounting for mathematical discovery
via the analytic method in his book Filosofia e matematica (2002).1 Here
he develops a thorough critique of the closed, foundationalist conception
of mathematics in favor of the open, heuristic conception. He again argues
that the heuristic view reveals that mathematics is primarily problem-
solving rather than theorem-proving and, correspondingly, that the actual
method of mathematical inquiry is analytic instead of axiomatic.
Actual mathematical inquiry does not proceed by way of mechanical
deduction from self-evident principles and axioms. Some mathematical
theories might exhibit an axiomatic structure once they are developed and
mathematicians decide to order knowledge in that way, but at that point
they are dead, so to speakestablished, axiomatized theories are no
longer an actual, living matter of inquiry. Mathematical inquiry rather
proceeds by way of analytical problem-solving. According to Cellucci,
the analytic method is the procedure according to which one analyzes a
problem [that is, brakes it into constituent problems, or reduces it to
another problem, and so on] in order to solve it and, on the basis of such
analysis, one formulates a hypothesis. The hypothesis constitutes a
sufficient condition for the solution of the problem, but it is itself a
problem that must be resolved. In order to resolve it, one proceeds in the
1
An English translation of the introduction is available in Cellucci 2005.
166 Chapter Ten
same way, that is, one analyzes it and, on the basis of such analysis,
formulates a new hypothesis. [Thus, analysis] is a potentially infinite
process (Cellucci 2002, p. 174).2 Under this view, therefore, the search
for an absolute foundation to mathematical knowledge is vain. To cast
mathematical axioms as self-evident truths that serve as absolute
foundations for mathematical knowledge is to curtail the actual process of
analytical inquiry. Moreover, in as much as the analytic passage from the
given problem to a hypothesis that constitutes a sufficient condition for its
solution is configured as a reduction from one problem to another, the
analytic method is also called the method of reduction (Ibid., p. 175).
And in as much as the analytic method requires formulation of a
hypothesis for the solution of a problem, it is also called the method of
hypothesis (Ibid., p. 177). Analysis, then, consists in reasoning processes
that we might very broadly conceive as reduction and hypothesis-making.
Cellucci, moreover, discusses a mathematical tool-kit of heuristic methods
for hypothesis-making which include induction, analogy, figures,
generalization, particularization, hybridation, metaphor, metonymy, and
definition. This substantiates his thesis that the logic of mathematics is a
logic of discovery, not merely of justification, and that it is largely though
not exclusively non-deductive.
In this essay, I examine Celluccis heuristic conception of mathematics
by way of a case study, namely, Christiaan Huygenss On Reckoning in
Games of Chance (1657). I argue that his heuristic conception provides an
insightful way to understand Huygenss method and approaches to solve
mathematical problems in games of chance. As a general thesis, I argue
that Huygenss practice consists in problem-solving that can be described
by the analytic method and its heuristic strategies to search for hypotheses.
As a more specific thesis, I argue that Huygens employs the heuristic
methods of particularization, generalization, and reduction to solve one of
the main problems in his Reckoning. However, I also appeal to a brief
example from the history of mathematics to raise some questions about
Celluccis strong claim that axioms never have a heuristic function or
cannot be regarded as hypotheses.
2
All translations from this work are mine.
Christiaan Huygenss On Reckoning in Games of Chance 167
VII: Suppose that I lack two points and my opponent four, etc.
VIII: Suppose now that three people play together and that the first and
second lack one point each and the third two points.
IX: In order to calculate the proportion of stakes due to each of a given
number of players who are each given numbers of points short, it is
necessary, to begin with, to consider what is owing to each in turn
in the case where each might have won the succeeding game.
X: To find how many times one may wager to throw a six with one die.
XI: To find how many times one should wager to throw 2 sixes with 2
dice.
XII: To find the number of dice with which one may wager to throw 2
sixes at the first throw.
XIII: On the hypothesis that I play a throw of 2 dice against an
opponent with the rule that if the sum is 7 points I will have won
but that if the sum is 10 he will have won, and that we split the
stakes in equal parts if there is any other sum, find the expectation
of each of us.
XIV: If another player and I throw turn and turn about with 2 dice on
condition that I will have won when I have thrown 7 points and he
will have won when he has thrown 6, if I let him throw first find
the ratio of my chance to his.3
3
I have listed the propositions as translated in David 1962, p. 116-117. This is a
loose, modernized rendering of Huygenss propositions, but it will do for our
purposes here.
Christiaan Huygenss On Reckoning in Games of Chance 169
that can be analyzed into simpler problems that are either of easy solution
or already solved in previous propositions, especially II and VIII.
Moreover, in his general treatment of the problem of points in proposition
IX Huygens assumes that all players have equal chances of winning each
game. This suggests a new, more general, problem: What if the players do
not have equal chances of winning each game? Abraham de Moivre took
up this problem and offered an even more general solution to the problem
of points in his 1718 Doctrine of Chances. We find in Huygenss treatise,
then, not an axiomatized theory but a series of interrelated problems
regarding the calculus of chance whose solutions eventually lead Huygens
to offer general rules for the solution of similar problems, such as the
general method for solving particular problems of points stated in
proposition IX. And the same analytical process is taken up by other
inquirers, so that the analytical method does tend towards increasingly
more general problems, potentially ad infinitum.
Proponents of the foundationalist view of mathematics as an affair of
deduction from self-evident axioms might of course deny that Huygenss
treatise is properly a mathematical work. Lorraine Daston, a prominent
historian of probability, in fact observes that even though the famous
correspondence between Blaise Pascal and Pierre Fermat first cast the
calculus of probabilities in mathematical form in 1654, many
mathematicians would argue that the theory achieved full status as a
branch of mathematics only in 1933 with the publication of A. N.
Kolmogorovs Grundbegriffe der Wahrscheinlichkeitsrechnung. Taking
David Hilberts Foundations of Geometry as his model, Kolmogorov
advanced an axiomatic formulation of probability based on Lebesgue
integrals and measure set theory. Like Hilbert, Kolmogorov insisted that
any axiomatic system admitted an unlimited number of concrete
interpretations besides those from which it was derived, and that once the
axioms for probability theory had been established, all further exposition
must be based exclusively on these axioms, independent of the usual
concrete meaning of these elements and their relations (Daston 1988,
p.3). Under such a foundationalist view, therefore, the work of all the early
probabilists, including Huygens, may be regarded as a non-mathematical,
even if scientific, attempt at providing quantified models of chance
phenomena, but not as mathematical theorizing proper. They may concede
Dastons own view that the link between model and subject matter is
considerably more intimate than that between theory and applications so
that, even in the eyes of the early probabilists, the field of mathematical
probability was a mathematical model of a certain set of phenomena,
rather thanan abstract theory independent of its applications (Ibid., p.
170 Chapter Ten
xii). Even conceding this, however, the foundationalists would not confer
upon early mathematical probability the seemingly privileged rank of a
theory.
To the foundationalists endorsement of the axiomatic method as the
only method of mathematical reasoning, and to Dastons seeming
agreement that only axiomatized theories are legitimate branches of
mathematics, Cellucci offers an explicit reply:
[T]he idea that the axiomatic method is available for the whole of
mathematics because all mathematical theories, when sufficiently
developed, are capable of axiomatization, contrasts with mathematical
experience, which shows that axiomatization does not naturally apply to all
parts of mathematics. Some of them are not suitable for axiomatization,
and exist as collections of solved or unsolved problems of a certain kind.
This is true, for example, of number theory and of much of the theory of
partial differential equations. (Cellucci 2005, p. 25)
4
Preferably one without any figures, actual diagrams, pictures, conjectures or wild
guesses. See, for instance, James Robert Browns discussion of the Bourbaki group
in French mathematics, which equates the highest standards of rigor with a
thorough refusal to use any pictures or figures or other heuristic aides in their
demonstrations (Brown 1999, p. 172-173). In this regard, Cellucci reveals the
ironies of claiming to banish diagrams from mathematical reasoning when he
writes: While the closed world view considers the use of diagrams as redundant
because it assumes that results established using diagrams can always be derived
from given axioms by logical deduction only (at least in principle; in practice
diagrams occur on almost every page of Hilberts Grundlagen der Geometrie),
seeing the solution by means of a diagram is a self-contained procedure that is not
part of a global axiomatic order (Cellucci 2000, p. 163).
172 Chapter Ten
The match must be decided in at most two games, and each column shows
a possible sequence of game winners and the resulting match winner. For
example, the first column shows that player A wins the next two games
and therefore the match, granting that the second game would actually be
unnecessary to win the match. The second column shows that player A
wins the first game and therefore the match, so even if B were to win the
second game it would be superfluous. The last column shows player C
winning the next two games and therefore the match. Following this
reasoning, there would be 4 out of 9 possible outcomes that would favor
player B. Huygens does not construct a table, and his problem-solving
approach is different; however, the exercise based on Fermats approach
allows us to understand the result.)
(c) Lastly, if C were to win the next game, then he would lack 1 game,
while A and B would still lack 1 and 2 games respectively. Consequently,
by proposition VIII, B is due 1q/9. (Again imagine a table of equipossible
outcomes for the ensuing situation. There would be only one out of nine
possible outcomes that would favor player B.)
5
My rendition of Huygenss reasoning is a loose translation of his demonstration
as reprinted in Bernoulli 1713, p. 18-19.
Christiaan Huygenss On Reckoning in Games of Chance 173
proportion of the total stakes q that is due to each one of them. Huygenss
finds that trying to find a general rule of solution directly from this general
statement of the problem is too difficult. Thus he particularizes the general
problem and proceeds to solve the particular version.
Next Huygens experiments by analyzing the particular problem into
three alternative diagrams of problems that have already been solved.
Reduction in this sense simply means to resolve the present problem
into one or more alternative problems whose solutions, when composed or
linked in some suitable way, are sufficient for solving the original one. In
this case, Huygens reduces the problem in which players A, B, and C lack
1, 2, and 2 games respectively into three alternative problems: how to
divide the stakes when (a) they lack 0, 2, and 2 games; (b) they lack 1, 1,
and 2 games; and (c) 1, 2, and 1 games. Case (a) has a trivial solution, and
cases (b) and (c) have already been solved in proposition VIII.
Additionally, proposition II provides the rule by which the original
problem can be solved in terms of the solutions to cases (a), (b), and (c).
Finally, Huygens grasps that the method of solution is generalit
can be applied to any particular problem, and it will lead to the correct
solution. Equivalent modifications of the original problem in any play
situation will yield the correct response regarding the fair distribution of
stakes. Cellucci defines heuristic generalization as the inference by way
of which one passes from one hypothesis to another one that contains it as
a particular case (Ibid., p. 267). I submit that Huygens grasps the
generality of the rule quickly due to his vigorous power of generalization.
Any mathematician with a lesser power of generalization, however, could
arrive at the same generalization by conducting other experiments. The
mathematician could experiment with problems in which there are, say,
four players that lack 1, 1, 1, and 2 points. She could resolve this play
situation by the same method into the various possible alternative
problems. Still she would find that Huygenss general rule works.
Accordingly, Huygens emphasizes the generality of his method by
providing a table with the solution to more complex games. No matter
how complex the problem, his general method works, and his readers can
confirm it by conducting alternative experiments themselves.
the actual nature of mathematical practice and the evidence that the history
of mathematics affords us of such a practice. What mathematicians have
done historically and what they do todayand not any particular set of
conceptual constraints on what the logical form of a mathematical theory
ought to bedefines what mathematics is. In Celluccis account, what
mathematicians do is analytical problem-solving, and the case of
Huygenss On Reckoning in Games of Chance provides evidence for such
a heuristic view.
Nonetheless, I would like to question what appears to be Celluccis
strong claim that axioms never have a heuristic function and cannot be
regarded as hypotheses. What about the possibility that the axiomatic
method may provide a strategy for finding proofs and thus solving
problems? Cellucci rejects it outright by appealing to mathematical
experience:
The idea that the axiomatic method provides a strategy both for finding and
remembering proofs also contrasts with mathematical experience, which
shows that proofs based on the axiomatic method often appear to be found
only by a stroke of luck, and seem artificial and difficult to understand.
Showing only the final outcome of the investigation, established in a way
that is completely different from how it was first obtained, such proofs
hide the actual mathematical process, thus contributing to make
mathematics a difficult subject. (Cellucci 2005, p. 25)
References
Bernoulli J. (1713). Ars Conjectandi. Basil: Thurnisiorum.
Boyer C. and Merzbach U. (1991). A History of Mathematics. Second
Edition. New York: John Wiley and Sons.
Brown J.R. (1999). Philosophy of Mathematics: An Introduction to the
World of Proofs and Pictures. New York: Routledge.
Campos, D.G. (2009). The Framing of the Fundamental Probability Set: A
Historical Case Study on the Context of Mathematical Discovery.
Perspectives on Science, 17 (4): 385-416.
. (2010). Peirces Philosophy of Mathematical Education: Fostering
Reasoning Abilities for Mathematical Inquiry. Studies in Philosophy
and Education, 29(5): 421-439.
178 Chapter Ten
NATURAL MATHEMATICS
AND NATURAL LOGIC
LORENZO MAGNANI
1. Introduction
In his article Why Proof? What is a Proof? (2008), Carlo Cellucci
stresses the importance of so-called natural mathematics and logic,
centering on mathematics and logical embodied in organisms as a result of
natural selection, and focusing on the different role of artificial
180 Chapter Eleven
1
Epistemologically selective abduction occurs when we reach a hypothesis among
to use a word of the logical tradition also exploited by Aliseda already
available abducible hypotheses (as for instance in the case of a medical
diagnosis). Creative abduction occurs when, through our reasoning processes, we
are able to create new abducibles, which can be tested and added to [or which
can replace] the available ones (Magnani, 2001).
2
From Peirces philosophical point of view, all thinking is in signs, and signs can
be icons, indices or symbols. Moreover, all inference is a form of sign activity,
where the word sign includes feeling, image, conception, and other
representation (Peirce, 1931-1958, 5.283), and, in Kantian terms, all synthetic
forms of cognition. That is, a considerable part of thinking activity is model-based.
3
In general, model-based abduction takes advantage of internal (or of suitably re-
internalized external) models that are not merely symbolic/propositional but which
182 Chapter Eleven
consist of sets of formulas on paper or in this day and age perhaps rather
on the screen and in the memory of a computer. In fact, from this
perspective all rules of logical inference obviously involve mental
models. Johnson-Lairds discovery hence does not ultimately pertain to
the psychology of logic. It pertains, however confusedly, to the nature of
logic itself. The most basic deductive logic is nothing but experimental
model construction (Hintikka, 1997, pp. 69-70).
5
Many interesting relationships between model-based reasoning in creative
settings and the related possible deductive dynamic logical models are analysed
in Meheus (1999) and Meheus and Batens (2006). Dynamic logic is also related to
the formal treatment of inconsistencies. Cf. also Cellucci (1998), who illustrates
Gdels implicit acknowledgment of the aforementioned optical illusion.
Natural Mathematics and Natural Logic 185
6
CL, computational logic, refers to the computational approach to logic that has
proved fruitful for creating nontrivial applications in computing, artificial
intelligence, and law.
186 Chapter Eleven
predict its expected effect on the environment using the world model and
compare its expectations against its later observations.
I think the epistemological consequence of this approach is
fundamental: in model theory truth is a static correspondence between
sentences and a given state of the world. In Kowalskis computational and
pragmatic theory, what is important is not the correspondence between
language and experience, but the appropriate assimilation of an inevitable
and continuously flowing input stream of external observational
sentences into an ever-changing internal knowledge base (of course the
fact that the computational resources available are bounded motivates the
agent to make the best use of them, for instance by avoiding the redundant
and irrelevant derivation of consequences). The correspondence (we can
say the mirroring) between an input sentence and a sentence that can be
derived from the knowledge base is considered by Kowalski as only a
limiting case. Of course the agent might also generate its own hypothetical
inputs, as in the case of abduction, induction, and theory formation.
The conceptual framework above, derived from a computationally
oriented logical approach that strongly contrasts with the traditional
approach in terms of model theory, is extremely interesting. It stresses
attention to the flowing interplay between internal and external
representations/statements, so epistemologically establishing the importance
of the agentbased character of cognition and thus of logical - in the
broad sense - cognition. In the recent cognitive science approach in terms
of distributed cognition this perspective is also helpful for depicting the
cognition of actual beings in so far as we are interested in studying its
essential distributed dynamics.
7
Thagard (2005, 2006) observes that abductive inference can be visual as well as
verbal, and consequently acknowledges the sentential, modelbased, and
manipulative nature of abduction I have illustrated in my books on this subject
(Magnani, 2001, 2009). Moreover, both data and hypotheses can be visually
represented: For example, when I see a scratch along the side of my car, I can
Natural Mathematics and Natural Logic 187
generate the mental image of grocery cart sliding into the car and producing the
scratch. In this case both the target (the scratch) and the hypothesis (the collision)
are visually represented. [...] It is an interesting question whether hypotheses can
be represented using all sensory modalities. For vision the answer is obvious, as
images and diagrams can clearly be used to represent events and structures that
have causal effects (2006). Indeed hypotheses can also be represented using other
sensory modalities.
188 Chapter Eleven
8
I derive this expression from Leyton (2001) who introduces a very interesting
new geometry where forms are no longer memoryless as in classical approaches
such as the Euclidean and the Kleinian in terms of groups of transformations.
190 Chapter Eleven
Human agents, as practical agents, are hasty inducers and abducers and
bad predictors, unlike ideal (logical and computational) agents. In
conclusion, we can say that informal abductive inferences in human agents
have a memory, a story: consequently, an abductive ideal logical agent
which formalizes those human skills has to variably weaken many of the
aspects of classical logic and overcome the relative demonstrative
limitations. The informal/natural aspects embody what Cellucci (2000)
calls the open world view, while ideal/artificial agents represent the
closed world view. Indeed, Cellucci stresses that only thanks to the open
world view can we acknowledge the richness of a wider perspective on
logic and mathematics, where communication, cooperation, and
negotiations (p. 173) are in play and other central cognitive components
can be taken into account, such as abduction, analogy/meta-
phor/metonymy, induction/specialization/generalization, the role of tacit
knowledge, etc.
We can conclude by stressing the fact that the human informal non-
demonstrative inferential process of abduction (and of induction) is
increasingly artificialized, thanks to externalization and objectification, in
at least three ways:
References
Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into
Discovery and Explanation. Berlin: Springer.
Bringsjord, S. (1998). Is (Gdelian) model-based deductive reasoning
computational?, Philosophica, 61, 51-76
Cellucci, C. (1998). The scope of Logic: deduction, abduction, analogy.
Theoria, 64/2-3, 217-242.
9
Cf. also Gabbay and Woods (2005, pp. 33-36).
192 Chapter Eleven
to solve a given problem, one looks for some hypothesis that is a sufficient
condition for its solution. The hypothesis is obtained from the problem,
and possibly other data, by means of some non-deductive rule. The
hypothesis must be plausible, that is, compatible with the existing data. But
the hypothesis is in turn a problem that must be solved, and will be solved
in the same way (Cellucci 2013b, p. 34).
The justification of the analytic method, and more specifically of the non-
deductive rules it makes use of, relies on their usefulness for the solution
to problems. As observed by Cellucci, this kind of justification is akin to
what Herbert Feigl called vindication. In an influential paper published
in 1950, called De principiis non disputandum...? On the Meaning and
the Limits of Justification Feigl made a distinction between two kinds of
justification procedures: validation and vindication. The validation
procedure consists in justifying a given argument by appealing to more
general standards, until some fundamental justifying principles are
reached. This corresponds to what has traditionally been done in deductive
logic, where the deductive chain is traced back to the axioms in order to
justify a theorem. By contrast, vindication is in terms of means with
respect to ends. In other words, it appeals to pragmatic considerations, like
the evaluation of whether the means employed are suitable to the
achievement of some desired end. According to Feigl, vindication applies
to the basic principles of both deductive and inductive logic, the difference
being that the end of deductive logic is to make truth-preserving
deductions, while the end of inductive logic is to widen our knowledge by
formulating successful predictions.
Cellucci is led by his naturalistic perspective to reformulate Feigls
notion of vindication in tune with his own view of the role of deductive
and non-deductive rules, which revolves around the notion of plausibility.
In the first place, for Cellucci the purpose of deductive rules is to make
explicit the content or part of the content that is implicit in the premises
198 Chapter Twelve
(Cellucci 2011, p. 133). Given that this is what makes deductive rules
useful for knowledge, in order to accomplish this purpose deductive
inferences must have plausible premisses and conclusions. Then, the
usefulness of deductive rules essentially depends on a comparison with
experience (Ibid., p. 134). Furthermore, Cellucci identifies the task of
non-deductive rules with the discovery of hypotheses, and maintains that
the usefulness of a non-deductive argument depends on the plausibility of
its premisses and conclusion, which again calls for a comparison with
experience. Cellucci reaches the conclusion that
1
See Hempel (1958).
200 Chapter Twelve
there are personal constructs that are consistent with different sensual
perceptions at different times for different points of view. Furthermore, we
observe that the corresponding social constructs (i.e. the ones to which the
same word refers in communication) are stable as well and that other
people behave consistently with the communicative acts and our
perception concerning these constructs (Ibid., p. 35).
p. 44). Such a practice - he claims - goes hand in hand with the conviction
that the mere application of statistical methods to data uncritically taken as
given can produce objective results. By contrast, the bottom-up
analysis recommended by Hennig starts from the context in which data are
collected to move on to the formation of models representing them, and to
the application of methods devised for the quantitative appraisal of
evidence. It is essential that at each step of this process all the assumptions
that are made are spelled out and justified in view of the aim of enquiry.
Hennig examines two different methods for the statistical quantification
of evidence, namely tests of significance and Bayess method, and
compares them in the light of the frequency interpretation of probability,
usually associated with statistical testing, and the subjective interpretation,
often associated with the Bayesian approach. After a detailed analysis that
cannot be recollected here, Hennig comes to the conclusion that the
frequentist assumptions about the world outside seem to stand on a more
or less equal footing with the Bayesian ones about rational reasoning
(Ibid., p. 50). The frequentist assumption Hennig refers to is the claim that
indefinitely long series of repeatable experiments sufficiently identical and
independent can be produced on which relative frequencies are calculated.
The probabilities obtained on such basis are taken by frequentists as
approximations of the true, unknown probabilities characterizing
phenomena.2 By contrast, Hennig claims that the Bayesian approach rests
on the crucial assumption that the individual can always be forced to bet
either in favour of or against an outcome, according to her specified
betting rates (Ibid., p. 49). While it seems questionable that subjective
probability and the betting scheme are inextricably entrenched as
described by Hennig,3 there is no doubt that the Bayesian model of
rationality faces a number of objections, extensively discussed in the
literature. Now, for Hennig the constructivist viewpoint does not contend
that one statistical method is better than another, nor does it affirm the
superiority of one particular interpretation of probability over the others. It
rather leaves the choice of a particular method to the context in which a
particular problem is addressed, in the awareness that different
approaches have different merits and fulfil different aims (Ibid., p. 51). In
other words, statistical methods are vindicated in view of the purpose they
2
See Galavotti (2005) for an account of the frequency interpretation of probability.
3
See Dawid and Galavotti (2009), where the operational definition of probability
on the basis of penalty methods - largely adopted by Bruno de Finetti - is
investigated.
For a Bottom-Up Approach to the Philosophy Of Science 205
with Joseph Halpern, reaches the conclusion that when taken in its
explanatory sense causality is context-dependent. This simply follows
from the fact that the whole edifice of causation is made to rest on
modelling, which in turn requires various assumptions so strictly linked
with the context as to justify the claim that the choice of a model depends
to some extent on what the model is being used for (Halpern and Pearl
2005, p. 878).
A slightly different perspective is taken by Philip Dawid, who
advocates a decision-theoretic approach to causation, which is entirely in
terms of conditional probabilities and expectations based on information,
known or knowable, and makes use of models and quantities that are
empirically testable and discoverable (Dawid 2000, p. 408).4 Dawid
identifies the task of causal analysis with making use of past data to take
decisions about future interventions. The distinction between seeing and
doing, taken to be fundamental for the accomplishment of that task, is
articulated by Dawid into the specification of three different situations: an
idle regime, which represents a purely observational, undisturbed,
setting; a regime in which a certain intervention is performed; and a
regime in which an alternative intervention is performed. The probabilistic
consequences of interventions are then compared through the distributions
obtained by observing the behaviour of variables under different regimes,
and causality is associated with the invariance of given conditional
distributions across regimes. Dawid puts special emphasis on the need to
state and justify the assumptions that are made in each particular situation,
on the account that this surgical separation of the formal language from
ad hoc causal assumptions enforces clear and unambiguous articulation of
those assumptions, allows us to develop the logical implications of our
assumptions, and clarifies exactly what needs to be justified in any
particular context (Dawid 2010, p. 83).5 Plainly, reference to the context
in which one operates is also considered essential by the literature on
statistical causal modelling. In Dawids words: appropriate specification
of context, relevant to the specific purposes at hand, is vital to render
causal questions and answers meaningful (Dawid 2000, p. 422).
An important conclusion to be drawn from the work of the authors
mentioned in this section is that it is crucial that all assumptions
4
Dawid puts forward this approach as an alternative to the potential response
model for causal inference developed by Donald Rubin, Paul Holland and other
statisticians, which makes use of counterfactuals. See Holland (2001) and the
bibliography therein.
5
See also Dawid (2007).
For a Bottom-Up Approach to the Philosophy Of Science 207
6
See Galavotti (2001b), (2006) and (2012). After adopting the locution bottom-
up in my (2001b), I switched to the expression from within in (2006), to resume
the expression bottom-up in the second part of Campaner and Galavotti (2012).
It should be noted that while I use of from within as a variant of bottom-up, to
mean a form of epistemology done from within the sciences, Cellucci uses from
within and from without in the opposite way, namely he associates from
within with the top-down approach, and from without with the bottom-up
approach. Once the way in which we interpret these expressions is clarified, our
attitude towards epistemology is consonant.
7
For a survey of different pluralistic approaches to causality see Galavotti (2008).
A pluralistic approach is heralded in Galavotti (2001a), and Campaner and
Galavotti (2007).
208 Chapter Twelve
8
On the topic of evidence see the recent collection of articles in Dawid, Twining
and Vasilaki, eds. (2012).
For a Bottom-Up Approach to the Philosophy Of Science 209
References
Campaner, R. and Galavotti, M.C. (2007). Plurality in Causality. In
Machamer, P. and Wolters, G., eds., Thinking about Causes. From
Greek Philosophy to Modern Physics. Pittsburgh: University of
Pittsburgh Press: 178-199.
Campaner, R. and Galavotti, M.C. (2010), Some Remarks on Causality
and Invariance. In Carsetti, A., ed., Causality, Meaningful Complexity
and Embodied Cognition. Dordrecht: Springer: 211-230.
Campaner, R. and Galavotti, M.C. (2012). Evidence and the Assessment
of Causal Relations in the Health Sciences. European Studies in the
Philosophy of Science, 26: 27-45.
Cellucci, C. (2008). Perch ancora la filosofia. Bari: Laterza.
. (2011). Classifying and Justifying Inference Rules. In: Cellucci C.,
Grosholz E. and Ippoliti E., eds., Logic and Knowledge. Newcastle
Upon Tyne: Cambridge Scholars Publishing: 93-106.
. (2013a). Top-down and Bottom-up Philosophy of Mathematics.
Foundations of Science XVIII: 93-106. DOI 10.1007/s10699-012-
9287-6.
. (2013b). Philosophy of Mathematics: Making a Fresh Start. Studies in
History and Philosophy of Science 44: 32-42.
Dawid, A.P. (2000). Causal Inference Without Counterfactuals. Journal of
the American Statistical Association, 95: 407-424.
. (2007). Counterfactuals, Hypotheticals and Potential Responses: A
Philosophical Examination of Statistical Causality. In Russo, F. and
Williamson, J., eds., Causality and Probability in the Sciences.
London: College Publications: 503-532.
9
For more on this see Campaner and Galavotti (2010) and (2012), and Galavotti
(2010).
210 Chapter Twelve
. (2010). Beware of the DAG! In Guyon, I., Janzing, D., and Scholkopf,
B., eds., Proceedings of the NIPS 2008 Workshop on Causality.
Journal of Machine Learning Research Workshop and Conference
Proceedings, 6: 59-86.
Dawid, A.P. and Galavotti, M.C. (2009). De Finettis Subjectivism,
Objective Probability, and the Empirical Validation of Probability
Assessments. In Galavotti, M.C., ed., Bruno de Finetti, Radical
Probabilist. London: College Publications: 97-114.
Dawid, P.A., Twining, W. and Vasilaki, D., eds. (2012). Evidence,
Inference and Enquiry. Oxford: Oxford University Press.
Feigl, H. (1950). De principiis non disputandum ...? On the Meaning and
the Limits of Justification. In: Black M., ed., Philosophical Analysis.
Ithaca, N.Y.: Cornell University Press: 119-56. Reprinted in Feigl, H.
(1980). Inquiries and Provocations: Selected Writings 1929-1974,
Cohen, R.S., ed., Dordrecht: Reidel: 237-68.
Galavotti (2001a). Causality, Mechanisms and Manipulation. In Galavotti,
M.C., Suppes, P. and Costantini, D., eds., Stochastic Causality.
Stanford: CSLI Publications: 1-13.
. (2001b). On Discovery and Justification. La Nuova Critica, 37-38: 5-
20.
. (2005). Philosophical Introduction to Probability. Stanford: CSLI
Publications.
. (2006). For an Epistemology From Within. An Introduction to
Suppes Work. Epistemologia, 29: 215-224.
. (2008). Causal Pluralism and Context. In Galavotti, M.C., Scazzieri, R.
and Suppes, P., eds., Reasoning, Rationality and Probability. Stanford:
CSLI Publications: 233-252.
. (2010). Probabilistic Causality, Observation and Experimentation. In
Gonzalez, W.J., ed., New Methodological Perspectives on Observation
and Experimentation in Science. A Corua: Netbiblo: 139-155.
Halpern, J. and Pearl, J. (2005). Causes and Explanations: A Structural-
Model Approach, Part I: Causes, Part II: Explanations. British Journal
for the Philosophy of Science, 56: 843-887; 889-911.
Hempel, C.G. (1958). The Theoreticians Dilemma. In: Feigl, H., Scriven,
M. and Maxwell, G., eds., Minnesota Studies in the Philosophy of
Science, volume II. Minneapolis: University of Minnesota Press.
Reprinted in Hempel, C.G. (1965): 173-226.
. (1965). Aspects of Scientific Explanation and Other Essays in the
Philosophy of Science. New York: The Free Press.
Hennig, C. (2009), A Constructivist View of the Statistical Quantification
of Evidence. Constructivist Foundations, 5: 39-54.
For a Bottom-Up Approach to the Philosophy Of Science 211
MATHEMATIZING RISK:
A HEURISTIC POINT OF VIEW
EMILIANO IPPOLITI
Introduction
There is a received thesis that states that secret of modern science relies on
the successful application of mathematics to the phenomena under
investigation and this, in turn, builds on the successful quantification of
the phenomena it attempts to describe (Schnemann 1994, 150). This
application, and its success, is not without cost since it has its price in
limiting the scope of subject matter which can be so studied. Hence, the
choice of fundamental variables is critical for the success of the intended
mathematization of nature (Ibid). The mathematization has to limit the
study of a phenomenon and I will show that the concept of risk is
exemplary in this respect.
214 Chapter Thirteen
whether you are long or short does not matter, but how you play the game
does. People like John Paulson and Kyle Bass identified profitable
opportunities when they were but a brief idea in the heads of their
counterparts [...]. Through discovering these various opportunities, these
men and these men alone executed what I consider the greatest trades of all
time (Veneziani 2011, xvii).
The ability to manage risks and to take the opportunity that it offers can
provide a decisive competitive advantage in the course of actions that
follow a decision. Thus, there is no surprise that the conceptualization and
the mathematization of the notion of risk have widespread in the last few
decades. I will examine four main approaches to this issuethat is the
Mathematizing Risk: A Heuristic Point of View 217
suppose you want to check the risk of your euro-dollar positions. With a
few strokes on your PC keyboard, you calculate the volatility of the euro-
dollar market, assuming the price changes follow the bell curve. Let us say
volatility is 10 percent. Then, with a few more strokes, you get your
answer: there is only a 5 percent chance that your portfolio will fall by
more than 12 percent (Ibid., 273).
The VaR does not require the tail of the distribution and its strategy can be
expressed by the following principle: to have a good knowledge of the
parameters when they are in some domain and to content oneself with an
upperbound of the probability of the exterior of the domain (Bouleau
2009, 3). But the point is that practically, at present, in the banks and in
most of the textbooks, VaR is computed with the help of explicit
probability distributions calibrated on reality by usual statistical
parametrical tests, hence hypotheses on tails of distributions are assumed
(Ibid.). In practice, the hypotheses on tails of distribution are crucial for
the calculation of the probabilistic version of risk and of VaR. There are
two main approaches to distributions: the mild and the wild one.
The mild approach relies on the hypothesis that every process sooner
or later will be aggregated in a Gaussian distribution. This implies that it is
completely defined by two parametersmean (V) and standard deviation
(). Moreover this hypothesis implies that, metaphorically speaking, the
world is considered as being made mostly of tiny pieces: the majority
of the elements (95%) is under the threshold of 2V. Thus, in Gaussian
distributions there is not much room for great exceptions: all the
constituents are of similar magnitude, not far from the mean, and all
together shape the process.
The wild approach conjectures that the process shows a Cauchy
probability density1, which implies the so called fat tails. In particular,
the process follows a power law and, contrary to exponential Gaussian
decay, has infinite variance. Hence, the aggregation of Cauchy variables is
not the result of the sum of elements of similar magnitude, but is the sum
dP 1
1
The Cauchy distribution can be expressed by the equation dx Q (1 x 2 ) ,
dP 2
which for xo is dx x .
Mathematizing Risk: A Heuristic Point of View 219
(Ibid., 7). The boundaries are fixed by frontiers, which are defined by
specifying a domain to all the quantities: to the data, to the parameters,
and, thanks to the model to the computed outputs (Ibid.). But in this sense
the BaR is simply a special case of the VaR, since it is not able to treat the
phenomenon when the boundary is over-crossed: as a matter of fact it tells
us nothing on what happens when the boundary is crossed (Ibid,, 8).
Thus, it does not really improve the main strategy of the VaR and the
probabilistic approach.
On the other hand, the strategy of the EVT (e.g. Burry 1975, Coles
2001) is able to overcome this flaw of the VaR (and the BaR), by
generating the best possible estimate of the tail area of the distribution. In
order to do that, the EVT explicitly conjectures that the phenomena vary
wildly and exhibits fat tails and scaling, so that big and overwhelming
losses are incorporated in the calculus (e.g. with block-maxima and peak-
over-threshold method) and the risk is better modeled and mitigated. The
crucial point of the theory is the determination of a cut-off between the
central part of the distribution and the upper tail, i.e. a numerical value that
separates ordinary realizations of the random variable considered from
extreme realizations of the same variable.
Unfortunately a basic assumption of EVT is that data are independent
and identically-distributed, which does not hold for most financial time
series: it ignores another big source of risk, namely the so-called long-term
dependence, i.e. the clustering of extreme values due to dependence or
the tendency of bad news to come in flocks. A bank that weathers one
crisis may not survive a second or a third (Mandelbrot 2006, 273).
Therefore, in this case, EVT generates incorrect valuation, which in turn
produces the two most unwanted results: unexpected losses or excessively
conservative positions.2
Despite these improvements, the probabilistic approach is affected by
strong limits, which will be better clarified at the end of the paper. At this
stage, we can note that the representation of risk by means of two variables
(probability of occurrence and size of damage) can be misleading, since (i)
it is not possible to know the tail of a distributionbecause rare events are
not well-covered (and can be covered) by the dataand (ii) the estimation
of the damages (their magnitude) is its only concern. Moreover even
assuming that we can have a knowledge of (i) and (ii), the model is
simplistic because it is hiding the reasons why we are interested to these
2
This weakness is handled by means of a toolkit able to take dependence of the
data into consideration, e.g. the so called extremal index .
Mathematizing Risk: A Heuristic Point of View 221
we dont know precisely to quantify neither the return risk of a loan, nor
the market or liquidity risk, nor the risks due to human mistakes or due to a
regulation change, very accurate computations are mixed with rough
estimates hopping they will have no sensitive consequences on the result.
During the manufacturing of packages of several credits, a standardization
of the description occurs [] which moves away from reality. At the limit,
a mortgage loan in Iowa or Kansas is thought in the same manner as a
credit at New York on Madison avenue if they are both well assessed
(Ibid., 5-6).
averse choice prefers a definite outcome to a risky one, even if the risky
outcome has the same mathematical expectation3.
u u
m m
a. concavity of the utility function b. convexity of the utility function
Fig.1
risk has been described as derived from risk aversion as a result of the
structure of choices under uncertainty with a concavity of the muddled
3
For example, when asked to choose one of these cases:
1) with probability 0.5 you get 100 and with probability 0.5 you get nothing;
2) you can get 50 for sure.
Usually people choose the not risky case (i.e. 2). It means that if they have utility
function u, then u(50)0.5 u(100)+0.5u(0). Since concave functions satisfy
these inequalities, the property is called concavity.
Mathematizing Risk: A Heuristic Point of View 223
emerges also in economic data, where parts often relate to the whole
according to a power law. For example, in economics a power-law
distribution implies that the likelihood of a daily or weekly drop exceeding
20% can be predicted from the frequency of drops exceeding 10%, and
that the same ratio applies to a 10% vs. a 5% drop (MandelbrotTaleb
2010, 99).
The main point of the fractal view is that it is impossible to assess a
risk without considering these three properties. A huge amount of data and
findings show that a consistent fraction of our world exhibits a winner-
take-all extreme concentration. In markets, there is a predominance of
random jumps, and discontinuity and concentration are major ingredients
in a realistic evaluation of risks (Mandelbrot 1997, 56), while the
common tools of finance are designed for random walks, that is for a
process moving in small, smooth steps.
These properties reshape the assessment of risks and its calculation:
take a portfolio and compare the risks using the Random Walk on the
Street and the M 1963 model. The former estimates the risks as small, say,
one thousandth, one millionth or less, while the latter may estimate the
same risk to be a hundredth, a tenth or more (Mandelbrot 1997, 56). This
implies that if we define reward and risk as a ratio, then the standard
arithmetic must be wrong. The denominator, risk, is bigger than generally
acknowledged; and so the outcome is bound to disappoint. Better
assessment of that risk, and better understanding of how risk drives
markets, is a goal of much of my work (Mandelbrot 2006, 5).
Another key factor in risk identification and assessment is dependence:
for instance markets keep the memory of past moves, particularly of
volatile days, and act according to such memory (MandelbrotTaleb
2005, 99). In other words, volatility generates volatility in rapid sequences,
producing clusters: this is not an impossibly difficult or obscure
framework for understanding markets. In fact, it accords better with
intuition and observed reality than the bell-curve finance that still
dominates the discourse of both academics and many market players
(Ibid.).
So the fractal view offers a new approach to risk and its calculation.
Moreover, in order to treat it properly and to reflect these features
(discontinuity, concentration, scaling and dependence) in the formal treatment
of it, new concepts and new pieces of mathematics are producedlike
fractal mathematics. As a consequence, the fractal view suggests a new
strategy. First, in order to manage risk you have to diversify as broadly as
you can. In financial markets, for instance, since long-run returns are
dominated by a small number of investments, there is a high probability
Mathematizing Risk: A Heuristic Point of View 225
On the former, it is based on the connection between the risk and the
size of an entity (organism). Evolution offers an interesting perspective on
it: size generates risks, and that is why Mother Nature does not like
anything too big (Ibid., 349). An increment in size of an entity can
increase its exposure to risk and eventually lead to a disaster (e.g.
extinction). This simple evolutionary fact offers a hint for the management
of social structures. For instance, it applies to a well-known process in
economics, that is the merger-mania and the economy of scale, according
to which a company gains money and efficiency as it becomes larger and
larger. It is a popular concept, but it is prevalent in the collective
consciousness without evidence for it; in fact, the evidence would suggest
the opposite. Yet, for obvious reasons, people keep doing these mergers
they are not good for companies, they are good for Wall Street bonuses; a
company getting larger is good for the CEO (Ibid., 350). The economy of
scale shows us that man-made structures should not be too large: in fact,
the continuous enlargement of a company seems to create islands of
efficiency, but it also makes it more vulnerable to contingencies.
On the latter, the evolutionary view notes that natural phenomena are
plenty of redundancies, like defensive, functional and spandrel
redundancy. The defensive redundancy increases our chance to survive
under adversities by means of replacements. For example, the redundancy
of organs (eyes, lungs) provides us extra capacity than the one needed in
ordinary circumstances. Thus, redundancy equals insurance, and the
apparent inefficiencies are associated with the costs of maintaining these
spare parts and the energy needed to keep them around in spite of their
idleness (Ibid., 346). In this sense redundancy is the opposite of nave
optimization, which characterizes the orthodox economics that is
essentially based on the notion mathematized by Paul Samuelson. As a
matter of fact, in the light of this theory it is inefficient, for example, to
maintain two lungs, due to the costs required by the transportation of them,
but such optimization would, eventually, kill you, after the first accident,
the first outlier (Ibid.).
Biology also inspires functional and spandrel redundancy. In the
first case, the same function can be obtained by two different structures,
and not by two identical elements. In the second case, an organ can
perform a function that is not its current central one.
The concept of redundancy is not a theoretical novelty in RT, since it is
a well-known strategy to build reliable systems in engineering, i.e.
reliability engineering (see Pieruschla 1963, Roberts 1964, Sandler 1963,
BarlowProschan 1965, Bazovsky 1961). Reliability can be broadly
defined as the capability of a system to perform its functions over a period
Mathematizing Risk: A Heuristic Point of View 227
m
u!
Re = p a (1 p )u a ,
a 0 r !(u a !)
4
Typically, each of the several power lines has both a monitor detecting overload
and circuit breakers. The combination of power lines generates redundancy, i.e. an
extra capacity that eliminates or mitigates risks. Circuit breakers disconnect a
power line when the monitors detect an overload and the power is redistributed
across the remaining lines.
Mathematizing Risk: A Heuristic Point of View 229
they control the overall losses that the stressor can bring to the system. As
a consequence, risk is understood as the combination of these three
characteristics of the potential stressor. Thus, risk is equal or proportional
to the possible internal response of the system, and therefore is a proxy for
the stress developing within the system (Ibid.)
5
The endogenous forces are responsible of a new kind of extreme event that
Sornette calls dragon-king.
6
A stress is defined here as an internal response/reaction of a system to a
perturbation called stressor.
230 Chapter Thirteen
one can infer the possible level of stress that may develop within the
system. On the other hand, resilience characterizes the internal stress
response within the system, quantified by the capacity of a system to cope
with stressors and remain essentially the same. In other words, resilience is
the amount of stress that a system can bear without a considerable
transformation (Ibid., 6).
The fact that risk is the result of interpretation and meaning implies
that it is not possible even only to affirm that the tails of distributions are
badly known: they are never granted in the investigation of the risks. But
without the possibility to make such a hypothesis on tails, it is not possible
to mathematize a phenomenonespecially risk. To be applied, mathematics
requires that the process of interpretation is closed or could be closed.
Unfortunately in social domains continuously the agents think to improve
their knowledge and forecasting, and for this re-interpret all the
232 Chapter Thirteen
Bass reminded us that mortgages are more than just numbers for
accountants and actuaries to crunch. They also contain a qualitative aspect:
What you had to figure out was theres the quantitative aspect of things
and theres the qualitative aspect of things. And the quantitative aspect,
everybody had. Everybody had [all the] terabytes of mortgage data,
modeling software that they could buy. But the qualitative aspect was kind
of: who were the originators that had literally no standards at all?...So
what we did was, we went out and we found the bad guys (Veneziani
2011, 9).
etc.spreading huge losses at the speed of light. Thus not only the risks
were out of control, but were also able to rapidly pass from one section of
the market to the other. Other crucial discoveries of this kind (and
economic profits) were obtained in a similar way by George Soros, who
heavily relied on qualitative analysis and bottom-up approach in order to
provide new reading of the phenomena and, consequently, to discover
risks and opportunities (e.g. Soros 1987).
A heuristic view on risk helps us in the difficult task of interpreting
phenomena by individuating new and unknown risks. In order to do this,
we need procedures for identifying and choosingthat is discoveringthe
relevant variables for the analysis of a phenomenon. In effect, these
variables are crucial for forecasting possible risks. Of course this step is
problematic, since it is hazardous and never guaranteed. Nevertheless the
heuristic view offers a way for discovering risk (and potential gains): the
ampliative inferences (analogies, metaphors, etc.) that enable us to
progress from a problem to the hypotheses that can solve it. In effect,
analogy and in general ampliative inferences are a means for identifying
new risks. This is common knowledge in basic risk-management (e.g.
KowszunStruijve 2005). The strategy to identify risks in non-trivial
situations relies on past experience of kind of risks that have been
identified within the field under investigation and relies on analogies with
other similar fields. In order to do that, it is necessary to start bottom-up,
from arguments that are non-mathematical, and to transform them into
mathematical arguments. This method is the only way to represent features
of a field in its formal treatment. In some cases, it enables important
discoveries and predictions to be made and exploited (e.g. Bass and
Soros), while in the most innovative cases, it allows new mathematics to
be generatedas with Mandelbrots fractal theory.
6. Conclusions
The concept of risk is an interesting case in the study of the effectiveness
of the heuristic view applied to mathematization. Such a view explains the
reasons for the multiple, infinite characterizations of the notion of risk
and the weakness of the other approaches to it. While the latter rely on a
top-down, static view that aims at employing known mathematics to make
sense of phenomena, the heuristic approach aims at translating the
arguments of a field from the bottom-up into a mathematical-formal
treatment of it. Such a different perspective is crucial since it determines
the choice of the variables over which to quantify. In principle, the choice
of the standard approach, which limits the definition of risk to two
236 Chapter Thirteen
References
Barlow, R.E.Proschan, F. (1965). Mathematical Theory of Reliability,
New York: John Wiley & Sons
Bazovsky, I. (1961). Reliability Theory and Practice. Englewood Cliffs:
PrenticeHall
Bernstein, L. (1996). Against the Gods. The remarkable history of risk.
New York: Wiley & Sons
Bouleau, N. (2009). Mathematization of risks and economic studies in
global change modelling. Halshs-00435959
. (2011). Mathematics and real-world knowledge. Real-world economics
review, 57, 90-104
Burry, K.V. (1975). Statistical Methods in Applied Science. John Wiley &
Sons
Cellucci, C. (2005). Filosofia e matematica. Roma: Laterza
. (2008). Perch ancora la filosofia. Roma: Laterza
. (2013a). Top-Down and Bottom-Up Philosophy of Mathematics,
Foundations of Science, 18(1), 93-106
. (2013b). Rethinking Logic. Logic in Relation to Mathematics,
Evolution, and Method. Springer: Berlin (to appear)
Coles, S. (2001). An Introduction to Statistical Modelling of Extreme
Values. Springer, London
Ferguson, N. (2008). The ascent of money. New York: Penguin Press
Fisher, T. (2012). Designing to avoid disasters: the nature of fracture-
critical design. New York: Routledge
Gibson, M. (2007). Credit Derivatives and Risk Management. Board of
Governors of the Federal Reserve System Finance and Economics
Discussion Series, paper 2007-47
238 Chapter Thirteen
1. Introduction
The motto of the greatest theologian of a thousand years ago, Anselm of
Canterbury, was faith seeking understanding (fides quaerens intellectum).
Quite aside from its original theological application, this motto can serve
the philosopher of mathematics that begins from mathematics like the
author, little sense though it would make for a philosopher that did not
come to philosophy from mathematics. For such a one, the faith is a
scientific reliance on mathematics as a body of knowledge and the
understanding a philosophical contextualization.
According to the Stanford Encyclopedia of Philosophy (Thomas
Williams) Anselms motto lends itself to at least two misunderstandings,
both of which apply to its mathematical guise. First, it could express a
wish to replace faith with understanding. When the faith to which one is
referring is the acceptance of the corpus of mathematical knowledge, some
of which one has seen proved convincingly and some small part of which
242 Chapter Fourteen
2. Assimilation
My notion of assimilation is roughly that of Piaget in which new things we
meet are assimilated to notions we already have, which notions in their
turn are accommodated to accept the new arrivals. I see this process as in
contrast to access to pre-ordained universals. I have made two attempts at
publishing my proposal of how this is done (or how I do it), (1991) and
(2010) in the volume (Cellucci et al. 2011). Our ability to characterize
and classify empirical objects, the editors summarize, depends on
processes of assimilation. Experience furnishes initial examples of a kind
of thing (like cats) and we go on to make decisions about what other kinds
of objects to place in the same grouping; because such assimilation is often
based on a shifting, fuzzy, and socially constructed notion of sufficient
likeness, assimilation classes are not determinate enough to be sets. Since
the world is relatively orderly, our individual and cultural assimilation
classes overlap enough that we can communicate... (Cellucci et al. 2011,
p. xxii).
I have quoted a summary by others in order to point out that, in using
standard terms like kind twice, they are going around the point. We make
decisions about the inclusion in our classes of individuals (idiosyncratic
particulars, as Russell called them); we are forming our own idea about
each kind we recognize (radical constructivism). Naturally, growing up in
a language community our assimilation classes correspond usually and
roughly to the vocabulary we learn (social constructivism). As Piaget as
epistemologist pointed out, our assimilation classes are accommodated to
what we assimilate to them. We then without further ado assimilate our
classes to the kinds supposedly determined by our culture. Aside from our
effective guessing, our culture transmits its supposed knowledge of kinds
to us by correcting our classification of individuals and statements about
categories like Not all ferries carry automobiles. We do not recollect
their platonic forms from before our incarnationor so I suppose. So what
we each regard as the kinds of our culture are our assimilations of many
persons assimilation classes.1 If we know more than one language, our
approach to this process is made more sophisticated. If we study
languages, we see this happening on a large scale. I took George Lakoff's
1
Word types, corresponding to assimilation classes of word tokens, are among the
most successful examples with some English exceptions like cleave and enjoin.
244 Chapter Fourteen
(1987) as vindicating this point of view, which I had adopted even before
seeing (Lakoff and Johnson 1980).2
How does assimilation work beyond the need to do it? We use it in a
principled way by ignoring most differences among things that we
assimilate, which differences are noticed being determined by our present
circumstances and interests. We sort sensory-input bundles as somethings,
as philosophers as varied as Husserl and Wittgenstein have observed. In a
zoo cats are a wider class than in a pet shop. Inside an assimilation class
we use a principle of assimilation in ignoring differences that we want to
ignore while being able to take account of any differences that matter to us
and expecting things to be the same in ways that make sensealways
conscious of the possibility of exceptional ways in which things, in spite
of being assimilated, differ.
On this basis, my idea of understanding something is to know what
assimilations are appropriate to iteach assimilation having positive
features recommending it and negative features that need to be set aside
and what mere similarities are helpful. My understanding of mathematics
in such terms is of course based upon my experience of doing mathematics
since I began doing arithmetic in grade two and doing research as a
graduate student. That experience is an understanding of a sort, but my
concern here is shareable verbally expressed understanding. I assimilate
mathematics to science (2008) and art (disclaimers in (2008; 2010)) and
have put forward for consideration similarities of research to the strategic
thinking connected with certain games (2009; 2011a) and of written
mathematics to stories (2002b; 2007). My only paper in a philosophy
journal was intended to be a sustained argument for my view that
mathematics is about relations and not about mathematical objects, that the
mathematical objects are just things that we wish on the relations we want
to talk about in order to be able to do the talking. It is very hard to talk
about relations without relata, and I regard it as a triumph of the
mathematical method to arrange to talk about relations with artificial
relata. I attempted to show this in (2000; 2002a) by showing the
difficulties that a number of philosophers got into by their assumption that
mathematics is about mathematical objects. The attempt took the form of a
consideration of philosophical identifications of mathematics with fiction
(an assimilation that I regard as a mistake) and analogies drawn between
2
I shall for ever be grateful to Barron Brainerd, who pointed me to that book in
1982 when he read what I had written.
Reflections on the Objectivity of Mathematics 245
3
Cf. (Cellucci 2013, 16).
4
A philosopher coming around to this conclusion --- in her own way --- is
Penelope Maddy in her recent book (2011). Cf. (Cellucci 2013).
Reflections on the Objectivity of Mathematics 247
Let me try to spell out how objects play different roles in mathematics
and the other sciences. In a science we are interested in the behaviour of
things, say in physics physical thingsassimilations of their time-slices,
which is typically how they are experienced. What we sense and measure
are relations among such. We abstract things like, at an extreme, point
massesnot themselves assimilations, but we assimilate them to the
things from which they have been abstracted. The models, as they are
often called, are also things, but not real ones, about which we weave our
theories. As Mary Leng points out in her (2010), the imaginary nature of
these entities does not keep science from studying them nor philosophers
from considering them as if (nod to Vaihinger) they were real in spite of
the undoubted fact that they do not exist. We apply mathematics to them
and have theories. The contrast that I think is useful is that in mathematics
we are not interested in the things at the farthest reaches of our study but
in the relations among them. We invent the things to bear the relations---
and to do nothing else, to have no other relationsand then theorize about
them because we need things to think about. They are not assimilations of
time-slices. What Mark McEvoy writes in his (2012) is, I think, typical.
My own view (McEvoy 2004), heavily indebted both to Katz (1998)
and Resnik (1997), is that our basic mathematical concepts arise from
causal interaction with physical objects that approximate mathematical
objects (e.g., approximately square objects, or n-membered sets of physical
objects). The elementary concepts so obtained are then available for
examination by reason which can establish some elementary truths
involving those concepts (e.g., elementary arithmetical and geometrical
truths). The development of proof and of axiomatization further extends
our ability to reason about these concepts. Some time after we have begun
to establish mathematical truths, we notice that propositions involving
mathematical concepts are not precisely true of anything in the empirical
world. (McEvoy 2012)
His next step is to conclude that if mathematical truths are to be true
at all, they must be true of something else. One is not bound to do this
unless one is bound by philosophers narrow notion of true. The
existence of those things is of no consequence despite being argued about
ceaselessly. In both cases, as Leng argues, we theorize about invented
things but with different matters in mind to understand, in mathematics the
relations among the invented thingswhatever they areand in science
the real things that the inventions are abstracted from and their relations.
The importance of the whatever they are is that application is easy and
unproblematic in the simplest cases; their nature is not bracketed for there
is no nature to bracket. I sometimes put this by saying that, within the
248 Chapter Fourteen
4. Objectivity
Following up the impatience that mathematicians (and some philosophers)
feel at the unproductive and unending focus on ontological questions about
things (and in my case also the ignoring of relations), I suggested in my
(2004) that it would be sensible to try to work out epistemology that was
not based on being right on the ontological coin flip. Since we must be
able to reason as dependably about what does not existeven in a
mathematical senseas about what does, for instance in reductio proofs,
whether some things exist or not is not of any practical importance. It is
not just in mathematics that we need to be able to reason effectively about
what does not exist; it seems to me that the evolutionary advantage to our
reasoning ability is primarily our capacity for reasoning about the future.
No one even argues that the existence question is important; one
encounters sheer dogmatism. Its sole importance is that philosophers base
other arguments on having the right answer to it. I am aware of three
approaches to mathematics that do as I suggest. About category theory,
which underlies the work of several philosophers surveyed in (Landry and
Marquis 2005), I have nothing to say. There are modal approaches
(Chihara 1990; Hellman 1989; Tharp 1989; 1991), about which I have
recently written in general terms (2011a). And there is conceptual realism
attributed to Gdel (for example by Wang (1996, 8.5.20)), defended by
Isaacson (1994), and elucidated and criticized by Detlefsen (2011). It
seems to me that these two philosophical approaches address sufficiently
different aspects of mathematicsmodality and conceptsthat they are
not necessarily in conflict with one another. Both work without regard to
what their advocates Hellman and Isaacson call object-platonism.
It seems entirely uncontroversial that mathematics is objective and, on
that account, intersubjective. When the question is examined as in
(Shapiro 2007), no doubt is left, but the important point is made that
objectivity is a matter of more/less not either/or. And Georg Kreisel claims
that the objectivity of certain notions can be considered without having
to answer whether in addition, some reality or realizability external to
Reflections on the Objectivity of Mathematics 249
5
John Searle (1995, p. 8) makes the distinction between the epistemic sense of the
objective-subjective distinction with which I am concerned here and an
ontological sense mathematicians are typically less interested in. I owe this
reference to Julian Cole.
6
Both of these quotations appear in (Flament 2011, p. 53), which is why Gausss
Latin has been translated into French. Perhaps eventually a critical mass of such
statements by mathematicians will be reached, and philosophers will realize that
concentration on objects really does misrepresent the subject.
250 Chapter Fourteen
7
The concept of a democracy is not particularly objective. A written constitution,
to use an example from (Rosen 1994, pp. 300 f.), imparts much more objectivity
especially in the hands of expert interpreters. But its basis in natural-language
definitions makes its objectivity inferior to that of contemporary mathematics.
252 Chapter Fourteen
9
Cf. (Rosen 2011) for a notion of grounding. Lakoff and Nez (2000) also write
of grounding, constructively criticized in my (2002c).
Reflections on the Objectivity of Mathematics 253
I am grateful for assistance with this project from Julian Cole, Sol
Feferman, and Hugh Thomas.
References
Azzouni J. (2010). Talking about Nothing: Numbers, Hallucinations, and
Fiction. Oxford University Press.
Balaguer, M. (1998). Platonism and Anti-Platonism in Mathematics.
Oxford University Press.
10
Discrepancies are recognized and worked out, either by correcting errors,
reconciling differences, or splitting apart into different, independent pathways.
(Hersh 2011, p. 316)
11
This appears to be the conclusion of Stewart Shapiro in his lengthy discussion
(2007) of mathematical objectivity.
254 Chapter Fourteen
Lakoff G. and Nez R.E. (2000). Where mathematics comes from. New
York: Basic Books.
Landry E. and Marquis J.-P. (2005). Categories in context: Historical,
foundational, and philosophical. Philosophia Mathematica (3), 13:1-43.
Leng M. (2010). Mathematics and Reality. Oxford University Press.
Maddy P. (2011). Defending the Axioms: On the Philosophical
Foundations of Set Theory. Oxford University Press.
McEvoy M. (2004). Is reliabilism compatible with mathematical
knowledge? Philosophical Forum, 35: 423-439.
. (2012). Platonism and the `Epistemic Role Puzzle '. Philosophia
Mathematica (3), 20: 298-304.
Polkinghorne J., ed. (2011). Meaning in Mathematics. Oxford University
Press.
Priest G. (2007). Towards Non-Being: The Logic and Metaphysics of
Intentionality. Oxford University Press.
Resnik M. (1997). Mathematics as a Science of Patterns. Oxford
University Press.
Rosen G. (1994). Objectivity and modern idealism: What is the question?
In: Michael M. and O'Leary-Hawthorne J., eds. Philosophy in mind:
The place of philosophy in the study of mind. Dordrecht: Kluwer: 277-
319.
. (2011). The reality of mathematical objects. In: (Polkinghorne 2011):
113-131.
Searle J. (1995). The construction of social reality. New York: The Free
Press.
Shapiro S. (2007). The objectivity of mathematics. Synthese, 156: 337-
381.
Tharp L. (1989). Myth and Mathematics: A Conceptualistic Philosophy of
Mathematics I. Synthese, 81: 167-201.
Tharp L. (1991). Myth & Math, Part II (Preliminary Draft). Synthese, 88:
179-199.
Thomas R.S.D. (1991). Meanings in ordinary language and in
mathematics. Philosophia Mathematica (2), 6: 3-38.
. (1996). Proto-Mathematics and/or Real Mathematics. For the Learning
of Mathematics, 16, No. 2: 11-18.
. (2000). Mathematics and Fiction I: Identification. Logique et Analyse,
43: 301-340.
. (2002a). Mathematics and Fiction II: Analogy. Logique et Analyse, 45:
185-228.
. (2002b). Mathematics and Narrative. The Mathematical Intelligencer,
24, No. 3: 43-46.
256 Chapter Fourteen
Bayesian approach, 204 consistency, 27, 28, 29, 42, 55, 64,
begging the question, 82 65, 69, 79, 109, 158
Begriffsschrift, 30, 34, 38 constructivism, 195, 202, 243, 254
Bewutseinzustnde, 13 constructivist approach, 195
biological evolution, 78, 180, 188, context, 10, 13, 14, 15, 19, 23, 25,
197 37, 55, 78, 79, 82, 83, 90, 92,
bottom-up, 195, 196, 198, 201, 204, 114, 115, 121, 151, 154, 159,
207, 209, 213, 214, 215, 234, 185, 190, 195, 197, 198, 199,
235, 236 200, 204, 206, 207, 208, 209,
bottom-up approach, 195, 196, 198, 242, 255
201, 207, 209, 234, 235 convexity for losses, 222
Bouleau, 218, 219, 220, 221, 223, Copernicus, 121
231, 237 Correspondence, 111
Bourbaki, 29, 38, 97, 171, 196 Cozzo, 257
Cantor, 102, 144, 253 creative, 10, 18, 68, 181, 182, 183,
Cauchy, 95, 97, 218 184, 193
causal relationships, 205 creative abduction, 181, 182
Cellucci, 91 cultural evolution, 180, 197
certainty of mathematics, 41, 42 cultural niche, 188
ceteris paribus, 221 Dante, 103, 112
chimera, 107, 108, 109, 110, 117, Daston, 169, 170, 178
200 Data, 198, 199, 211
chimeras, 108, 200 Dawid, 205, 206, 209, 210
choice of the variables, 231, 236 decision-making, 203, 215
Chrysippus, 80, 82 Dedekind, 38, 55, 59, 60, 61, 62, 63,
closed world view, 164, 165, 171, 65, 66, 67, 70, 131, 136, 138,
190 195, 253
coherence, 109, 111, 132 Dedekinds, 55
cohomology theory, 152, 155, 157 deduction, 76, 77, 94, 96, 108, 140,
Columbus, 24, 33 149, 165, 169, 171, 182, 183,
Comedy, 103 184, 191, 198, 200
complete knowledge of the deductive inference, 73, 81, 82, 83,
universe, 200 84, 85, 86, 87, 215
Completeness, 55, 63, 65, 66, 67, Deductive proof, 131, 138, 140
68, 69, 70 deductive proofs, 73, 74, 75, 77, 84,
completeness of knowledge, 200 87, 88, 90
complex spatial networks, 199 deductive validity, 73
complexity of data, 199 deductivism, 95
computer science, 23, 24, 25, 30, definition, 23, 27, 28, 31, 42, 46, 47,
31, 32, 33, 41, 51, 52 49, 55, 60, 66, 68, 74, 81, 100,
computer-assisted proofs, 51 111, 112, 135, 155, 157, 166,
concavity hypothesis, 221 200, 208, 229, 236, 249, 250,
concentration, 223, 224, 228, 238, 251, 253
249 definitions, 29, 31, 41, 42, 44, 45,
consequence of failure, 217 46, 47, 60, 61, 93, 97, 158, 165,
199, 241, 250, 252
From A Heuristic Point of View 263
density, 17, 218, 228 experimental, 16, 17, 91, 94, 95, 96,
derivative, 46, 101 97, 142, 175, 183, 199
Descartes, 130, 149, 153, 251, 253, experimental mathematics, 91, 142
259 explanation, 37, 43, 46, 80, 82, 83,
Detelefsen, 28 92, 100, 117, 135, 150, 193, 203,
Devlin, 44, 52, 144, 180, 192, 251, 205, 207, 208
254 external representations, 183, 184,
Dewey, 53, 137, 143, 144, 145, 146, 186, 187, 188
164, 254 fat tails, 218, 219, 220
Dickens, 252 Feferman, 143, 253, 254
diminishing marginal utility, 221 Feigl, 197, 203, 210
Diophantus, 128 Ferguson, 233, 237
Dirichlet, 130, 152, 154, 195 Fermat, 88, 128, 145, 146, 147, 151,
discontinuity, 102, 223, 224, 238 152, 153, 154, 155, 156, 157,
Discourse on Method, 149 161, 162, 167, 169, 172, 175
discourses, 147, 148 Fermats Last Theorem, 88, 128,
discovery, 10, 23, 24, 29, 33, 37, 38, 145, 147, 151, 152, 153, 154,
43, 67, 68, 74, 92, 107, 125, 135, 155, 156, 157, 161, 162
139, 147, 149, 150, 155, 163, fiction, 137, 244
164, 165, 176, 183, 197, 198, fides quaerens intellectum, 241
199, 213, 234, 259 financial innovations, 233, 234
distributed cognition, 179, 180, 183, first-order arithmetical sentence, 58,
184, 186 59, 62, 63, 66
distribution first-order arithmetical sentences,
mild approach, 218 58, 59, 61, 63
wild approach, 218 first-order language, 49
Dummett, 83, 119, 123, 258 Florenskij, 91, 97, 98, 99, 100, 102,
effectiveness of mathematics, 213 103, 104
elementary geometry, 47, 131, 183 following-a-rule, 3, 6, 7, 11, 12, 14
Elements, 48, 137, 177, 178 formal language, 31, 36, 58, 59,
elliptic curve, 129, 135, 152, 153, 136, 149, 150, 206
154 formalism, 25, 26, 27, 28, 36, 50,
endogenous, 229 159, 253
epistemic situations, 114 formalists, 94
epistemology, 108, 110, 120, 149, formalization, 44, 51, 136, 158
192, 195, 198, 241, 248 Formalization, 49
essentialism, 108 Formulaire de Mathmatiques, 26
essentialist epistemology, 108 FORTRAN, 31
established mathematics, 127, 130, foundation, 9, 23, 24, 25, 29, 30, 34,
131, 132, 133, 134, 136, 137, 35, 42, 61, 132, 138, 140, 166,
138, 139, 140, 141, 142, 143 168
Euclid, 36, 37, 45, 48, 133, 137, foundational quest, 23, 24, 25
140, 155, 177, 178, 246, 260 foundationalism, 23
Euler, 92, 95, 152 foundationalist, 4, 10, 18, 163, 165,
existential quantifier, 68 169, 175, 177
Expected Utility Theory, 221 foundations, 258
264 Index
Kant, 34, 35, 108, 164 mathematical objects, 9, 74, 92, 93,
Klein, 94, 104, 195 135, 150, 151, 155, 201, 203,
Knight, 216, 238 213, 236, 237, 244, 247, 248,
Knowledge assimilation, 185 255, 256
Kolmogorov, 118, 123, 169, 178 mathematical practice, 92, 127, 131,
Kowalski, 185, 186, 192 135, 164, 168, 176
Kreisel, 248, 254 mathematical proof, 4, 15, 16, 17,
Kripke, 12, 150 19, 94, 133, 142
Lakatos, 92, 94, 95, 104 Mathematical propositions, 8
Lakoff, 243, 250, 252, 254, 255 mathematization, 213, 214, 215,
language-game, 6, 12 216, 221, 232, 233, 235, 236,
language-games, 5, 7, 8, 10, 13 237
Leibniz, 148, 155 meaning, 257
Leng, 103, 104, 247, 249, 255 medical practice, 196
levels of reality, 201 medicine, 258
linear logic, 68, 257 Meditations, 149
LISP, 30, 31 memorylessness, 189
location-problem, 114 menschliches Frwahrhalten, 12
logical empiricism, 197, 201 mental models, 127, 135, 182, 183,
logical hierarchies, 61 250
logicism, 25, 26, 27, 28, 31, 36 metaphor, 99, 166, 190, 215, 252
logicists, 94 Miranda, 30, 32
Logicomix, 24, 38 Models, 127, 145, 198, 199, 203,
MacFarlane, 118, 123 205, 211
Macintyre, 148, 155, 156, 158, 159, modular form, 152, 153, 154
160, 161, 162 modus ponens, 134
Mancosu, 127, 145 multimodal, 186
Mandelbrot, 218, 219, 220, 223, multiplicity of representations, 200
224, 225, 235, 238 NASA, 114
manipulations, 9, 10, 189, 205, 208 natural, 4, 6, 8, 9, 35, 37, 45, 49, 50,
margin of safety, 227 55, 56, 58, 59, 60, 61, 62, 65, 75,
mathematical activity, 41, 43, 44 80, 83, 86, 87, 92, 93, 94, 95, 96,
mathematical discourse, 147, 151, 97, 111, 131, 150, 151, 158, 179,
156, 251 180, 181, 182, 187, 188, 190,
mathematical experience, 44, 164, 195, 196, 201, 214, 223, 225,
170, 176 226, 229, 250, 251, 253
mathematical logic, 5, 23, 24, 25, Natural Deduction, 260
29, 30, 31, 32, 33, 35, 37, 41, 42, natural kinds, 150
43, 44, 47, 51, 62, 148, 150, 158 natural logic, 80, 97, 179, 180
Mathematical Logic, 23, 24, 25, 30, natural mathematics, 179, 180, 197
38, 39, 41 natural selection, 179, 180, 188
mathematical modelling, 201, 202, naturalistic view, 197, 201
203 neo-empiricism, 91
mathematical models, 103, 199, 203 neo-logicism, 27, 28
mathematical object, 236 neutrinos, 114
266 Index
new knowledge, 74, 77, 80, 81, 82, philosophical turn, 214
107, 110, 132, 236 philosophy of mathematics, 3, 4, 5,
new metaphysics, 200, 201 7, 8, 14, 19, 26, 27, 35, 37, 61,
Newton, 89, 96 73, 74, 91, 92, 135, 147, 149,
Nicomachean Ethics, 120, 123 164, 242, 245, 254, 256, 258,
Noether, 196 259, 260
nominalists, 251 physical proof, 100
non-ampliative, 78, 81, 82 Piaget, 243
non-deductive, 75, 76, 77, 78, 80, Plato, 89, 112, 120, 124, 175
166, 175, 191, 196, 197, 198, Platonic, 79, 81
215 platonism, 248, 249, 251
non-reflective, 80 Platonism, 9, 93, 253, 255
non-standard semantics, 252 plausibility, 75, 80, 83, 87, 109,
notion of context, 207 113, 114, 118, 121, 137, 196,
notion of risk, 213, 215, 216, 225, 197, 200
229, 231, 235 Plausibility, 109, 113, 114
novel features, 215 Plausible, 103, 105, 138, 146
novelty, 226, 232 pluralism, 195, 200, 205
Nez, 250, 252, 255 Polya, 53, 92, 105, 130, 139, 140,
objectivity, 108, 180, 200, 241, 248, 142, 144, 145, 146, 254
249, 250, 251, 253, 254, 255 polynomials, 153, 159
observer-independent reality, 201, pragmatism, 137, 180, 205
202 pragmatist, 198, 200, 201
Odyssey, 112 Prawitz, 73, 75, 85, 87, 109, 260
Oliver Twist, 252 Praxis, 11
ontological questions, 248 prediction, 203, 205, 208, 239
ontology, 241 predictors, 190
irrelevant, 137, 139, 158, 186, primitive analytic proposition, 27
252 Principia Mathematica, 17, 26, 39,
Ontology, 252 71
open systems, 46, 96, 165 probabilistic empiricism, 201
open world view, 164, 190, 192 probability distribution, 217, 219
paradox, 11, 12, 20, 31, 36, 81, 94, probability of failure, 217, 228
223, 257 problem of knowledge, 109, 111,
paradoxes, 42 120
particularization, 166, 173, 175 problem of truth, 111
Pascal, 167, 169, 172, 175 problem-solving, 129, 138, 153, 165,
Paulson, 216 166, 171, 172, 173, 174, 175,
Peano, 24, 25, 26, 29, 34, 35, 36, 37, 196, 201, 213, 215, 230, 259
38, 58, 131, 136, 138, 149, 155, PROLOG, 30, 31
156, 159, 160 proof, 3, 6, 10, 13, 14, 15, 16, 17,
Pearl, 205, 210, 211 18, 19, 20, 32, 33, 34, 35, 37, 42,
Peirce, 116, 118, 120, 123, 177, 43, 44, 46, 47, 49, 51, 52, 56, 57,
180, 181, 188, 192, 193, 257 58, 59, 62, 63, 64, 65, 66, 67, 69,
personal reality, 201 70, 75, 76, 77, 80, 84, 85, 87, 88,
perspicuity, 17, 18, 160 89, 90, 93, 94, 95, 99, 100, 101,
From A Heuristic Point of View 267
127, 128, 129, 130, 131, 133, Evolutionary point of view, 225
134, 135, 136, 137, 138, 139, Fractal point of view, 223
140, 141, 142, 143, 147, 148, heuristic point of view, 213, 230
149, 151, 152, 153, 154, 155, orthodox approach, 217
156, 157, 159, 160, 165, 185, Probabilistic point of view, 217
189, 192, 247, 257, 260 Psychologistic point of view, 221
Proto-Investigations, 3, 4, 5, 6, 7, risk management, 215, 216, 225,
13, 14 230, 233, 237, 239
provability, 63, 68, 69, 70, 109, 111 risk-free, 216
Putnam, 92, 94, 95, 105, 144, 150 robotics, 147
Pythagoras theorem, 88 robustness, 225
Quine, 127, 150 Rota, 43, 44, 134
Random Walk, 224 rule-governed activities, 3, 7, 9, 12
realism, 13, 93, 202, 248, 254 Russell, 9, 10, 19, 24, 25, 26, 30,
realisms, 249 31, 32, 33, 35, 36, 39, 74, 89,
recursion theory, 42, 45 150, 183, 243, 256
reductio ad absurdum, 37 Russian mathematics, 100
reductio proofs, 248 satisfiability, 55, 56, 64, 69, 70
Reduction, 174, 258 scaling, 219, 220, 223, 224, 238
redundancies, 226 Schnemann, 213, 214, 238
redundancy, 226, 227, 228 scientific revolution, 108, 214
reference, 4, 7, 9, 12, 17, 20, 47, 97, scientific structures, 200
109, 117, 131, 147, 148, 149, securitization, 235
150, 151, 153, 155, 156, 159, self-correction, 188
160, 206, 207, 208, 221, 249 self-evident, 89, 133, 163, 165, 169
referent, 150, 151 semantic, 127, 134, 136, 182, 184,
reflective, 79, 80, 83, 90 185, 189
Reflective inferences, 79, 80 semantic tableaux, 182, 184, 189
Regelfolgen, 4, 5, 7, 8, 11, 12, 14, semiotic anchors, 183, 193
19 serendipity, 23, 24, 25, 29, 33, 37
regress, 83, 134 Serendipity, 23, 33, 39
reifications, 250 Shapiro, 248, 253, 255
reliability engineering, 226 skeptical expert, 136
Remes, 182, 192 social construct, 203
resilience, 229, 230 social constructivism, 94, 243
Resnik, 247, 255 social reality, 201, 255
reverse mathematics, 45, 53 Solly, 23
re-writing, 148, 159, 160 Sornette, 229, 230, 239
Ribet, 88, 129, 152, 153, 162 Soros, 234, 235, 239
Riemann, 95, 150, 153, 154, 195 Stability, 219
rigorous, 42, 105, 129, 132, 137, stable representations, 203
138, 139, 140, 179, 180, 181, statistical data, 208
191 statistics, 195, 201, 203, 216, 236
rigour, 50, 108, 189, 200 Steiner, 259
risk stress, 45, 48, 181, 184, 227, 229,
co-evolutionary view, 229, 230 230, 251
268 Index