[hist-analytic] Mathematics and Lakatos's Research Programme Degeneracy

Roger Bishop Jones rbj at rbjones.com
Sat Feb 7 03:50:35 EST 2009


On Saturday 07 February 2009 01:27:30 Jlsperanza at aol.com wrote:

> I don't think alas, Roger, I do have to hand  a case of a mathematical
> 'progress' of any kind -- if that's what we are looking  (Yes, strictly we
> are supposed to be discussing Quine's Holism).

"of any kind"!

I don't actually recall talking about 'progress' but your scepticism about
progress in mathematics is a bit severe.

Here are two different kinds of progress which seem to me conspicuous in

1. There is continuous (possibly even execessive) increase in the number
   of proven mathematical theorems.

   (insofar as discovering and demonstrating mathematical truth may be
   considered the main objective of pure mathematics this is surely
   a kind of progress)

2. There have been considerable (recent) improvements in the rigour with which
   pure mathematics is conducted, and improvements in the rigour with
   which it is possible to conduct mathematical proofs.

   For example, Bishop Berkeley's complaints against the infinitesimal
   calculus have been addressed several times over.  We have even seen
   improvements in the rigour of that paradigm "Euclidean" geometry
   eliminating defects in Euclid's system. 

Of course, you may not think these constitute "real" progress, but I
submit that they are progress of a kind.

> But  reading your original post, Quine's Holism and your reply to Rogerio,
> I was  reminded of Lakatos.

I'm afraid I am not a fan of Lakatos (I'm not really the kind of 
person to be a fan of anyone, but, more to the point, I disagree with
a lot of what he seems to be saying) and it looks to me as if he has
lead you astray, but you are not specific enough for me to understand
what points from Lakatos you are making (and I don't think I have
read what he had to say about "research programs").

If you want to debate Lakatos I would be happy to, if only I could
get a grip on the issue at stake.


More information about the hist-analytic mailing list