Some final thoughts after the TMS meeting last week (again, mostly intended for local mathmos rather than the usual philosophical readers of this blog …).
Consider again that rather unclear question ‘Does mathematics need a philosophy?’. Here’s another way of construing it:
Are mathematicians inevitably guided by some general conception of their enterprise — by some ‘philosophy’, if you like — which determines how they think mathematics should be pursued, and e.g. determines which modes of argument they accept as legitimate?
Both Imre Leader and Thomas Forster touched on this version of the question in very general terms. But to help us to think about it some more, I suggest it is illuminating to have a bit of detail and revisit a genuine historical debate.
We need a bit of jargon first (which comes from Bertrand Russell). A definition is said to be impredicative if it defines an object E by means of a quantification over a domain of entities which includes E itself. An example: the standard definition of the infimum of a set X is impredicative. For we say that y = inf(X) if and only if y is a lower bound for X, and for any lower bound z of X, z ≤ y. And note that this definition quantifies over the lower bounds of X, one of which is the infimum itself (assuming there is one).
Now Poincaré, for example, and Bertrand Russell following him, famously thought that impredicative definitions are actually as bad as more straightforwardly circular definitions. Such definitions, they suppose, offend against a principle banning viciously circular definitions. But are they right? Or are impredicative definitions harmless?
Well, local hero Frank Ramsey (and Kurt Gödel after him) equally famously noted that some impredicative definitions are surely entirely unproblematic. Ramsey’s example: picking out someone as the tallest man in the room (the person such that no one in the room is taller) is picking him out by means of a quantification over the people in the room who include that very man, the tallest man. And where on earth is the harm in that? Surely, there’s no harm at all! In this case, the men in the room are there anyway, independently of our picking any one of them out. So what’s to stop us identifying one of them by appealing to his special status in the plurality of them? There is nothing logically or ontologically weird or scary going on.
Likewise, it would seem, in other contexts where we take a realist stance, and where we suppose that – in some sense – reality already supplies us with a fixed totality of the entities to quantify over. If the entities in question are ‘there anyway’, what harm can there be in picking out one of them by using a description that quantifies over some domain which includes that very thing?
Things are otherwise, however, if we are dealing with some domain with respect to which we take a less realist attitude. For example, there’s a line of thought which runs through Poincaré, an early segment of Russell, the French analysts such as Borel, Baire, and Lebesgue, and then is particularly developed by Weyl in his Das Kontinuum: the thought is that mathematics should concern itself only with objects which can be defined. [This connects with something Thomas Forster said, when he rightly highlighted the distinctively modern conception of a function as any old pairing of inputs and outputs, whether we can define it or not — this is the ‘abstract nonsense’, as Thomas called it, that the tradition from Poincaré to Weyl and onwards was standing out against.] In that tradition, to quote the later great constructivist mathematician Errett Bishop,
A set [for example] is not an entity which has an ideal existence. A set exists only when it has been defined.
On this line of thought, defining a set is – so to speak – defining it into existence. And
from this point of view, impredicative definitions will indeed be problematic. For the definitist thought suggests a hierarchical picture. We define some things; we can then define more things in terms of those; and then define more things in terms of those; keep on going on. But what we can’t do is define something into existence by impredicatively invoking a whole domain of things already including the very thing we are trying to define into existence. That indeed would be going round in a vicious circle.
So the initial headline thought is this. If you are full-bloodedly realist — ‘Platonist’ — about some domain, if you think the entities in it are ‘there anyway’, then you’ll take it that impredicative definitions over that domain can be just fine. If you are some stripe of anti-realist or constructivist, you will probably have to see impredicative definitions as illegitimate.
Here then, we have a nice example where your philosophical Big Picture take on mathematics (‘We are exploring an abstract realm which is “there anyway”’ vs. ‘We are together constructing a mathematical universe’) does seem to make a difference to what mathematical devices you can, on reflection, take yourself legitimately to use. Hence the fact that standard mathematics is up to its eyes in impredicative constructions rather suggests that, like it or not, it is committed to a kind of realist conception of what it is up to. So yes, it seems that most mathematicians are implicitly caught up in some general realist conception of their enterprise, as Imre and Thomas in different ways came close to suggesting. In the terms of the previous instalment, we can’t, after all, so easily escape entangling with some of the Big Picture issues by saying ‘not our problem’.
Return to the story I gestured at in the last instalment about what I called the the Battle of the Isms. I rather cheated by then assuming that the game was taking mathematics uncritically as it is and seeing how it fits in the rest of our story of the world and of our cognitive grasp of the world. In other words, I took it for granted that the enterprise of trying to get an overview, trying to understand how mathematics fits together with other forms of enquiry, isn’t going to produce some nasty surprises and reveal that the mathematicians might somehow have being doing some of it wrong, and need to mend their ways! But as we’ve just been noting, historically that isn’t how it was at all. So while Logicism (which Imre mentioned) and Hilbert’s sophisticated version of Formalism were conservative Isms, which were supposed to give us ways of holding on to the idea that — despite its very peculiar status — classical mathematics is just fine as it is, these positions were up against some radically critical strands of thought. These included famously Brouwer’s Intutionism as well as Weyl’s Predicativism. The critics argued that the classical maths of the late nineteenth century had over-reached itself in descending into ‘abstract nonsense’ (which was why we got a crisis in foundations when the set-theoretic and other paradoxes were discovered), and to get out of the mess we need to stick to more constructivist/predicativist styles of reasoning, recognising that world of mathematics is in some sense our construction (which you might think has something to do with how we can get to know about it).
Now, that’s more than a little crude and we can’t follow those debates any further here. As a thumbnail history, though, what happened is that as far as mathematical practice is concerned the conservative classical realists won. Predicative analysis, for example, survives in a small back room of the mansion of mathematics, where its practitioners still like to show off how you far you can get hopping on one leg, with an arm tied behind your back — as the lovers of abstract nonsense, as Thomas described himself, might put it. Though by the way, it very importantly turns out that predicative analysis is all that science actually needs (so we don’t have, so to speak, external, practical reasons for going classical). But the victory of the classical realists wasn’t a conceptually well-motivated philosophical victory — there are such things, sometimes, but this certainly wasn’t one of them. The conceptual debates spluttered on and on, but the magisterial authority of Hilbert and others was enough to convince most mathematicians that they needn’t change their way of doing things. So they didn’t.
Yet it seems that we can imagine things having gone differently on some Twin Earth, where the internal culture (the philosophy, if you like) of mathematicians developed differently over a hundred years, so that low-commitment approaches were particularly prized, and the constructivists/predicativists got to occupy the main rooms of the mansion, dishing out the grants to their students, while the lovers of abstract nonsense were banished to the attics to play with their wild universe of sets in the Department of Recreational Mathematics. Or if we can’t imagine that, why not?
There’s a lot more to be said. But maybe, just maybe, it does behove mathematicians — before they scorn the philosophers — to reflect occasionally that it really isn’t quite so obvious that our mathematical practice is free from deep underlying philosophical presumptions (even in a broad, Big Picture sense).
Many thanks for this! On the first point, I’m not confident that there is a clear division — mathematical considerations vs philosophical considerations. So I wouldn’t want to rush to say that the fulminators must somehow have stopped doing mathematics and were corrupted or confused by extraneous considerations.
Do “mathematicians really have to consider such issues when considering what mathematical devices they can legitimately use?” Well, no, if that means that your working mathematician should be pausing to check her philosophical presumptions before considering what proof-methods to bring to bear today to crack some problem! But if she is trying to come to some reflective understanding of her own practices …?
As to the second point, yes that throw-away remark was far too quick and I am suitably abashed!
(Yes, the default WordPress handling of comments isn’t great. But isn’t there an “Edit” button just after the date line at the top of your posting?)
I think we probably can imagine that — the lovers of abstract nonsense banished — just as we can imagine Lysenkoism becoming dominant even without Stalin’s help.
Anyway, I wonder about a couple of things concerning Platonism in your account.
The first is that there seems to be a bit of a leap from saying things like
to:
(Emphasis added.)
If I were to take a resolute (though uncharacteristic) anti-philosophy line, I would say that those who fulminated against impredicative definitions were doing philosophy (worse, metaphysics), and so mathematicians should ignore them; and those who say standard mathematics is committed to a kind of realism are also doing philosophy, and so should also be ignored.
Or, putting it more mildly, do mathematicians really have to consider such issues when considering what mathematical devices they can legitimately use?
The second is that I don’t think that seeing the world of mathematics as in some sense our construction really answers the question of how how we can get to know about it. This is a bit tricky to explain, so I’ll probably mess it up; but here goes.
What is it that’s constructed, and in what sense does it exist? If a definition brings a set into existence, then the only difference from Platonism may be that we’re in effect magicians conjuring things into existence, rather than explorers finding them already there. Those things still seem as problematic as before. Aren’t they still abstract entities that it’s hard to fit into our predominantly naturalistic world view?
Or if they’re not that sort of entity, then what the heck are they? If they’re not things at all, then in what sense do they exist, and how do we stop ourselves from ending up with a “meaningless symbols” sort of formalism?
(BTW, it would be very helpful if there were a way to preview comments here, or else to exit them once posted. It would be easy to mismatch HTML tags. Or maybe there is a way, and I’ve just missed it?)
As a response to “What is it that’s constructed, and in what sense does it exist?” I feel it is helpful to ask these questions in regard to other forms of human endeavour. For instance – drama; cookery; football etc.
Are these constructions, or did we discover them? And in what sense do they exist?
To take the example of football: –
If someone defines an “offside rule”, have they magically conjured something into existence?
Is an “offside rule” an abstract entity that fits into a naturalistic worldview by way of a particular instance of a player being offside in an actual game of football?
Given that we can define two slightly different “offside rules” such that, in the above particular instance, that player is both offside and not offside, depending on which rule we choose to follow?
Given, as well, the possibility of slightly differing “offside rules” that have yet to be defined, such that that player is, say, offside if we follow such a rule, even though that rule has yet to be defined, and perhaps never will be?
And should it come to be that this rule is defined, will it have been constructed or discovered? Did this rule exist before it was defined, if so, in what sense?
To take it a step further, suppose (i) it is observed that on average offside rule A results in higher scoring games than offside rule B. Is this a discovery?
If (ii) someone “constructs a proof” that on average offside rule A will result in higher scoring games than offside rule B, then is this a discovery?
If the answer to one or both questions is yes, then is it still ok to regard football as a construction? Personally I have little problem with this.
If the Universe had been such that no one came up with the game of football, could (i) and/or (ii) be said to exist in that Universe?
And how would we apply this line of thought to e.g. Fermat’s Last Theorem, and the question whether mathematics is a construction, and in what sense does it exist?