5 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. |
| 16721 | Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans] |
| Full Idea: Every alteration in secondary qualities is caused by some alteration made in the primary qualities. | |
| From: Giles of Orleans (On 'Generation and Corruption' [1270], I.6c) | |
| A reaction: Pasnau calls this the 'supervenience' thesis, here with the addition of causation. Was this doctrine retained by Locke and Boyle? |
| 16591 | Prime matter is nothing but its parts [Vanini] |
| Full Idea: The whole of prime matter, considered as prime matter, is nothing other than its parts. | |
| From: Julio Cesare Vanini (Amphitheatrum [1615], Ex 5:p.28), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.2 | |
| A reaction: This is a late scholastic writer rejecting the traditional (and obscure) prime matter with the new corpuscularian approach. It signals the end of the Greek concept of matter. |
| 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. |