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. |
| 17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
| Full Idea: The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130) | |
| A reaction: Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'. |
| 17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
| Full Idea: In the traditional exposition of the laws of logic certain fundamental arithmetic notions are already used, for example in the notion of set, and to some extent also of number. Thus we turn in a circle, and a partly simultaneous development is required. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.131) | |
| A reaction: If the Axiom of Infinity is meant, it may be possible to purge the arithmetic from the logic. Then the challenge to derive arithmetic from it becomes rather tougher. |
| 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. |
| 19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |
| Full Idea: The entire intellectual purport of any symbol consists in the total of all modes of rational conduct which, conditionally upon all the possible different circumstances and desires, would ensue upon the acceptance of the symbol. | |
| From: Charles Sanders Peirce (Issues of Pragmaticism [1905], EP ii.246), quoted by Danielle Macbeth - Pragmatism and Objective Truth p.169 n1 | |
| A reaction: Macbeth says pragmatism is founded on this theory of meaning, rather than on a theory of truth. I don't see why the causes of a symbol shouldn't be as much a part of its meaning as the consequences are. |