8 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. |
| 8808 | Involuntary beliefs can still be evaluated [Feldman/Conee] |
| Full Idea: Examples confirm that beliefs may be both involuntary and subject to epistemic evaluation. | |
| From: R Feldman / E Conee (Evidentialism [1985], II) | |
| A reaction: This is an extremely important point, which summarises the situation with beliefs that arise from (apparent) immediate perception. A belief cannot possibly be knowledge if it has been triggered, but no effort was made to evaluate it. |
| 8807 | Evidentialism is the view that justification is determined by the quality of the evidence [Feldman/Conee] |
| Full Idea: What we call 'evidentialism' is the view that the epistemic justification of a belief is determined by the quality of the believer's evidence for the belief. | |
| From: R Feldman / E Conee (Evidentialism [1985], I) | |
| A reaction: The immediate question is whether the believer knows the quality of their evidence. A detective might not recognise the crucial clue (like the dog not barking). The definition of 'quality' had better not turn out to be circular. Forgotten evidence? |
| 8809 | Beliefs should fit evidence, and if you ought to believe it, then you are justified [Feldman/Conee] |
| Full Idea: One epistemically ought to have the doxastic attitudes that fit one's evidence. Being epistemically obligatory is equivalent to being epistemically justified. | |
| From: R Feldman / E Conee (Evidentialism [1985], III) | |
| A reaction: It is normal for someone to refuse to accept something, when another person believes the evidence is overwhelming. Evaluation of evidence must include an assessment of what other evidence might turn up. |
| 8810 | If someone rejects good criticism through arrogance, that is irrelevant to whether they have knowledge [Feldman/Conee] |
| Full Idea: If an arrogant young physicist refuses to recognise valid criticisms from a senior colleague, his or her character has nothing to do with the epistemic status of their belief in the theory. | |
| From: R Feldman / E Conee (Evidentialism [1985], III) | |
| A reaction: This rejects the idea that epistemic justification is essentially a matter of virtues and vices of character. That view is a version of reliabilism, and hence of externalism. I agree with the criticism, but epistemic virtues are still significant. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
| 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. |