6 ideas
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
Full Idea: The difficulties historically attributed to the axiom of choice are probably better ascribed to the law of excluded middle. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: The law of excluded middle was a target for the intuitionists, so presumably the debate went off in that direction. |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
Full Idea: If experience shows that some aspect of the physical world fails to instantiate a certain mathematical structure, one will modify the theory by sustituting a different structure, while the original structure doesn't lose its status as part of mathematics. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §2) | |
A reaction: This seems to be a beautifully simple and powerful objection to the Quinean idea that mathematics somehow only gets its authority from physics. It looked like a daft view to begin with, of course. |
20945 | Belief is no more rational than is tasting and smelling [Hamann] |
Full Idea: Belief happens as little in terms of reasons as tasting and smelling. | |
From: J.G. Hamann (works [1770], v2:74), quoted by Andrew Bowie - Introduction to German Philosophy | |
A reaction: That is one idea definitively expressed! I take it as only a partial truth. Beliefs happen as a result of observation and experience. But someone can draw our attention to something (and we can hunt it out ourselves), which is giving a reason for belief. |
12709 | Motion is not absolute, but consists in relation [Leibniz] |
Full Idea: In reality motion is not something absolute, but consists in relation. | |
From: Gottfried Leibniz (On Motion [1677], A6.4.1968), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3 | |
A reaction: It is often thought that motion being relative was invented by Einstein, but Leibniz wholeheartedly embraced 'Galilean relativity', and refused to even consider any absolute concept of motion. Acceleration is a bit trickier than velocity. |
7666 | God is not a mathematician, but a poet [Hamann, by Berlin] |
Full Idea: Hamann's fundamental doctrine was that God was not a geometer, not a mathematician, but a poet. | |
From: report of J.G. Hamann (works [1770]) by Isaiah Berlin - The Roots of Romanticism Ch.3 | |
A reaction: [This idea is wonderfully expressed by D.H.Lawrence in his poem 'Red Geranium and Godly Mignonette]. The idea becomes attractive when you ask whether God would need to do mathematics. |