[FOM] Simpson on Tymoczkoism

P.T.M.Rood@ph.vu.nl P.T.M.Rood at ph.vu.nl
Mon Sep 29 07:02:33 EDT 2003


On Sun Sep 28 16:01:53 2003,
Neil Tennant <neilt at mercutio.cohums.ohio-state.edu> wrote:
>Thanks to Ron Rood for an enlightening message.
>
>There is another philosopher's distinction that might be relevant to
>Steve Simpson's exchange with David Corfield. This is Reichenbach's
>distinction between the context of discovery and the context of
>justification. (Apologies to anyone who might have made this point
>already.)
>
>In the 23-page sample of his book which I downloaded---David,
>why can't CUP cough up the whole of the first chapter for us?!---Corfield
>emphasizes the relevance of real/core mathematical practice to the
>philosophy of mathematics, and complains that philosophers pay too little
>attention to it. Perhaps his emphasis here is really on the context of
>discovery---involving the Lakatosian process of conjecture, failed
>attempts at proof, subsequent conceptual tinkering, and eventual success
>with proof---rather than the context of justification.
>
>In response to this, the philosopher of mathematics who emphasizes instead
>the context of justification will be waiting on the sidelines, as it were,
>for the mathematician (or mathematical community) to "clean up its act",
>and present us with the finished product. Then, and only then, does the
>mathematical foundationalist of the Simpsonian kind roll up his or her
>sleeves and get down to the business of anatomizing the conceptual
>structures and deductive resources underlying the results proved.
>

My impression is that "mathematical practice"--a term used by Tennant and
many others on this list--is often taken to be a kind of catch-all term in 
order
to cover everything that cannot be captured, or cannot be readily captured,
by means of formal logic (and axiomatic set theory). (One often encounters a
quite similar phenomenon in the case of semantics: everything that cannot be
captured by means of the techniques of formal logical semantics is considered
part of pragmatics, i.e., is "thrown into the pragmatic waste basket".) I 
think
that making a few distinctions here helps us begin to to come to closer grips
with this thing called "mathematical practice." Also, it may help us to begin 
to
understand the relation between "mathematical practice" and the 
foundationalist
enterprise as advocated by Simpson and others. Finally, it will throw some 
light
on the discovery/justifcation distinction as brought up by Tennant. In 
particular,
it puts into question whether, and if so, in what sense, there really is such 
a
distinction. (Philosophers of science have already put this into question for 
years,
and for good reason.--See, for example, my reference to W.C. Salmon below.)

Tennant suggests--rightly, I think--that "mathematical practice" (whatever it 
is)
is constituted by some kind of processes or acts. Now, processes are temporal
somethings-- processes take place in time. However, processes can take place
at different time scales. It is relevant to sort these out, for they relate to 
different
"kinds of mathematical practice".
 
First, solving a mathematical problem typically takes place within a 
relatively
short time interval (0-60 minutes, say). Furthermore, solving a mathematical
problem is, I take it, typically an individual task. Of course, there are 
mathematical
problems that mathematicians (plural) were working on for decades or even
centuries. Indeed, there are mathematical problems that are still open since 
centuries ago (e.g. the Goldbach conjecture). Without underestimating the
importance or of many such problems, I do not wish to call them "typical
mathematical problems" (see the third point below).

Second, learning mathematics typically takes place one a relatively larger 
time scale.
What I have in mind is learning a "part" of mathematics such as some part of
topology (e.g. elementary topology, dimension theory), algebra (e.g. group
theory, representation theory), or analysis (e.g. elementary analysis, measure
theory). Let us say that learning mathematical typically takes place within a 
time
interval of 60 minutes - 1 year. (The exact boundaries are not important.)

Third, the development of mathematics as a historical phenomenon takes place
at an even larger time scale. Let us say within an interval of 1 year - 
several centuries.
Mathematical practice as taking place on such a time scale seems to form the 
subject
matter of Lakatos' work. (See e.g. his Conjectures and Refutations from 1976.)
Furthermore, I also think we should put the famous mathematical problems (e.g. 
Fermat,
Goldbach, the Poincare conjecture, Riemann hypothesis etc.) within 
mathematical
practice thus understood. These are typically problems that several 
mathematicians
have worked on for years. (I have not yet read Corfield's new book that is 
often
mentioned on this list, except for the (part of) the sample chapter that can 
be read from
CUP's website. From Corfield's references to Lakatos I get the impression that 
he
thinks of mathematical practice primarily in the sense of large scale 
historical
developments. It would be interesting to hear from him whether this is 
correct.)

(I should parenthetically add that a quite similar tripartite distinction of 
time scales is
discussed in A. Newell and H. A. Simon's famous book Human Problem Solving
from 1972. My distinction leans much on theirs. I cannot give the FOM readers 
an
exact page reference right now since Newell and Simon's book is in a library 
in a
different building than the one I am currently working in. But if I remember 
correctly,
the relevant discussion takes place in the early pages of their book.)

When Tennant brings up the discovery/justification distinction he seems to be 
looking
at mathematical practice primarily in terms of its historical development (cf 
the third
point above). At least, this seems to be what is suggested when he speaks of a 
"Lakatosian process of conjecture, failed attempts at proof, subsequent 
conceptual
tinkering, and eventual success with proof". Tennant considers these 
Lakatosian
processes as processes of discovery, which may be fair enough. Furthermore, he
sees the "Simpsonian" foundationalist project that follows up a Lakatosian 
process
of discovery (to "roll up his or her sleeves and get down to the business of 
anatomizing
the conceptual structures and deductive resources underlying the results 
proved")
as a process of justifcation. Thus we have, in Tennant's views, the 
discovery/justifcation
distinction.

Contrary to what Tennant seems to do, I hesitate to view the Simpsonian 
foundationalist
project as following up a Lakatosian process of discovery in terms of of 
justification.
Rather, the Simpsonian project, thus understood,  seems to me primarily as 
being
concerned with the *organization* of a reasonably completed body of 
mathematics
in terms of a hierarchical body of propositions. And, as I tried to make clear 
in my
previous message (FOM, Sunday, September 28, 2003), the "structure of 
justifcation"
need not be the same as the "structure of propositions." (This, by the way, 
leads to the
following question: how is the logical organization of the propositions of 
mathematics
(i.e., Simpsonian foundations) related to the epistemic foundations of 
mathematics?
Note that this question presupposes *that*  they are related--a presupposition 
that
definitely needs closer investigation.)

I close off this message by considering mathematical practice in terms of 
problem solving/
theorem proving (cf the first point above). (As I've not thought this over 
very much. I will
not talk about mathematical practice in terms of learning (cf. the second 
point above.)
How does the discovery/justifcation distinction apply there? Consider an 
example. Problem:
show that there are infinitely many primes. Solution: you suppose not; 
specifically, you
suppose p is the largest prime. Now you consider the number (1 * 2 * ... * p) 
+ 1, etc. etc.
(I suppose that FOM readers know how the solution goes.) This amounts to the 
description
of a *process* to the end of solving a certain problem. How does the 
discovery/justification
distinction apply here? Personally, I am not even sure whether it applies. 
What I just described
was, I take it, a (correct) proof procedure [sic], not *just* a process of 
discovery. Discovery
and justification seem to go hand in hand here.

(This point derives from a suggestion made by the philosopher of science 
Wesley Salmon.
He has suggested that whenever you (correctly) apply a certain procedure or 
method  in
order to discover something, justification often comes hand in hand. See his  
paper "Bayes's
theorem and the history of science." In: Minnesota studies in the philosophy 
of science 5:
historical and philosophical perspectives of science, R. H. Stuewer (ed.) 
Minneapolis: University
of Minnesota Press (1970).)

Note that above I did not logically deduce (i.e., I did not apply logical 
rules of deduction)
a proposition from certain axioms within some system of number theory (let 
alone set theory!).
Although, of course, a proposition expressing that there exist infinitely many 
primes must be a
*logical consequence* of the axioms of number theory. But that is a different 
issue. Finally,
what would be the point of presenting a ("Simpsonian") reconstuction in terms 
of a formal
logical deduction in some logical system (of set theory, say) when it is 
epistemic justifcation
that is at stake? Must we really say that what I've just described was, 
contrary to what I
suggested, indeed nothing but a process of discovery? Must we really say that 
justification
--proof--can, in the end, only be gained by means of formal logical deductions 
within
some system of set theory? But that would mean that virtually no mathematician 
ever
has ever really *proved* something. (Not even set theorists!) This I find hard 
to swallow.

Ron Rood
-- 

*****************************
Ron Rood
Department of Philosophy
Vrije Universiteit Amsterdam
De Boelelaan 1105
1081 HV Amsterdam
The Netherlands
e-mail: p.t.m.rood at ph.vu.nl
FAX: +31-20-4446620
phone: +31-20-4446614
*****************************





More information about the FOM mailing list