6 ideas
17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity. | |
From: Georg Kreisel (Hilbert's Programme [1958], 05) |
17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously. | |
From: Georg Kreisel (Hilbert's Programme [1958], 06) | |
A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job. |
8406 | Not all explanations are causal, but if a thing can be explained at all, it can be explained causally [Sanford] |
Full Idea: Although not all explanations are causal, anything which can be explained in any way can be explained causally. | |
From: David H. Sanford (Causation [1995], p.79) | |
A reaction: A nice bold claim with which I am in sympathy, but he would have a struggle proving it. Does this imply that causal explanations are basic, or in some way superior? Note that functional explanations would thus have underlying causal explanations. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
8407 | A totality of conditions necessary for an occurrence is usually held to be jointly sufficient for it [Sanford] |
Full Idea: A totality of conditions necessary for an occurrence is jointly sufficient for it. This is a widely held but controversial view, and it is not a logical truth. | |
From: David H. Sanford (Causation [1995], p.82) | |
A reaction: This wouldn't work for an impossible occurrence. What are the necessary conditions to produce a large planet made of uranium? One of them would have to be a naturally impossible necessity. |
17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |
Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points. | |
From: Georg Kreisel (Hilbert's Programme [1958], 13) | |
A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one. |