Philosophy of Mathematics
Putnam made a significant contribution to philosophy of mathematics in the Quine–Putnam "indispensability argument" for mathematical realism. This argument is considered by Stephen Yablo to be one of the most challenging arguments in favor of the acceptance of the existence of abstract mathematical entities, such as numbers and sets. The form of the argument is as follows.
- One must have ontological commitments to all entities that are indispensable to the best scientific theories, and to those entities only (commonly referred to as "all and only").
- Mathematical entities are indispensable to the best scientific theories. Therefore,
- One must have ontological commitments to mathematical entities.
The justification for the first premise is the most controversial. Both Putnam and Quine invoke naturalism to justify the exclusion of all non-scientific entities, and hence to defend the "only" part of "all and only". The assertion that "all" entities postulated in scientific theories, including numbers, should be accepted as real is justified by confirmation holism. Since theories are not confirmed in a piecemeal fashion, but as a whole, there is no justification for excluding any of the entities referred to in well-confirmed theories. This puts the nominalist who wishes to exclude the existence of sets and non-Euclidean geometry, but to include the existence of quarks and other undetectable entities of physics, for example, in a difficult position.
Putnam holds the view that mathematics, like physics and other empirical sciences, uses both strict logical proofs and "quasi-empirical" methods. For example, Fermat's last theorem states that for no integer are there positive integer values of x, y, and z such that . Before this was proven for all in 1995 by Andrew Wiles, it had been proven for many values of n. These proofs inspired further research in the area, and formed a quasi-empirical consensus for the theorem. Even though such knowledge is more conjectural than a strictly proven theorem, it was still used in developing other mathematical ideas.
Read more about this topic: Hilary Putnam
Famous quotes containing the words philosophy of, philosophy and/or mathematics:
“Frankly, I do not like the idea of conversations to define the term “unconditional surrender.” ... The German people can have dinned into their ears what I said in my Christmas Eve speech—in effect, that we have no thought of destroying the German people and that we want them to live through the generations like other European peoples on condition, of course, that they get rid of their present philosophy of conquest.”
—Franklin D. Roosevelt (1882–1945)
“La superstition met le monde entier en flammes; la philosophie les éteint. Superstition sets the whole world in flames; philosophy quenches them.”
—Voltaire [François Marie Arouet] (1694–1778)
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o’ th’ day
The clock doth strike, by algebra.”
—Samuel Butler (1612–1680)