14 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. |
| 19566 | Epistemology does not just concern knowledge; all aspects of cognitive activity are involved [Kvanvig] |
| Full Idea: Epistemology is not just knowledge. There is enquiring, reasoning, changes of view, beliefs, assumptions, presuppositions, hypotheses, true beliefs, making sense, adequacy, understanding, wisdom, responsible enquiry, and so on. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'What') | |
| A reaction: [abridged] Stop! I give in. His topic is whether truth is central to epistemology. Rivals seem to be knowledge-first, belief-first, and justification-first. I'm inclined to take justification as the central issue. Does it matter? |
| 19261 | Understanding is seeing coherent relationships in the relevant information [Kvanvig] |
| Full Idea: What is distinctive about understanding (after truth is satisfied) is the internal seeing or appreciating of explanatory and other coherence-inducing relationships in a body of information that is crucial for understanding. | |
| From: Jonathan Kvanvig (The Value of Knowledge and the Pursuit of Understanding [2003], 198), quoted by Anand Vaidya - Understanding and Essence 'Distinction' | |
| A reaction: For me this ticks exactly the right boxes. Coherent explanations are what we want. The hardest part is the ensure their truth. Kvanvig claims this is internal, so we can understand even if, Gettier-style, our external connections are lucky. |
| 19568 | Making sense of things, or finding a good theory, are non-truth-related cognitive successes [Kvanvig] |
| Full Idea: There are cognitive successes that are not obviously truth related, such as the concepts of making sense of the course of experience, and having found an empirically adequate theory. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'Epistemic') | |
| A reaction: He is claiming that truth is not the main aim of epistemology. He quotes Marian David for the rival view. Personally I doubt whether the concepts of 'making sense' or 'empirical adequacy' can be explicated without mentioning truth. |
| 19567 | The 'defeasibility' approach says true justified belief is knowledge if no undermining facts could be known [Kvanvig] |
| Full Idea: The 'defeasibility' approach says that having knowledge requires, in addition to justified true belief, there being no true information which, if learned, would result in the person in question no longer being justified in believing the claim. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], 'Epistemic') | |
| A reaction: I take this to be an externalist view, since it depends on information of which the cognizer may be unaware. A defeater may yet have an undiscovered counter-defeater. The only real defeater is the falsehood of the proposition. |
| 19679 | 'Access' internalism says responsibility needs access; weaker 'mentalism' needs mental justification [Kvanvig] |
| Full Idea: Strong 'access' internalism says the justification must be accessible to the person holding the belief (for cognitive duty, or blame), and weaker 'mentalist' internalism just says the justification must supervene on mental features of the individual. | |
| From: Jonathan Kvanvig (Epistemic Justification [2011], III) | |
| A reaction: [compressed] I think I'm a strong access internalist. I doubt whether there is a correct answer to any of this, but my conception of someone knowing something involves being able to invoke their reasons for it. Even if they forget the source. |
| 19730 | Epistemic virtues: love of knowledge, courage, caution, autonomy, practical wisdom... [Kvanvig] |
| Full Idea: Virtue theorists may focus on the particular habits or virtues of successful cognizers, such as love of knowledge, firmness, courage and caution, humility, autonomy, generosity, and practical wisdom. | |
| From: Jonathan Kvanvig (Virtue Epistemology [2011], III) | |
| A reaction: [He cites Roberts and Wood 2007] It is interesting that most of these virtues do not merely concern cognition. How about diligence, self-criticism, flexibility...? |
| 19731 | If epistemic virtues are faculties or powers, that doesn't explain propositional knowledge [Kvanvig] |
| Full Idea: Conceiving of the virtues in terms of faculties or powers doesn't help at all with the problem of accounting for propositional knowledge. | |
| From: Jonathan Kvanvig (Virtue Epistemology [2011], IV B) | |
| A reaction: It always looks as if epistemic virtues are a little peripheral to the main business of knowledge, which is getting beliefs to be correct and well-founded. Given that epistemic saints make occasional mistakes, talk of virtues can't be enough. |
| 19732 | The value of good means of attaining truth are swamped by the value of the truth itself [Kvanvig] |
| Full Idea: The Swamping Problem is that the value of truth swamps the value of additional features of true beliefs which are only instrumentally related to them. True belief is no more valuable if one adds a feature valuable for getting one to the truth. | |
| From: Jonathan Kvanvig (Virtue Epistemology [2011], IV B) | |
| A reaction: His targets here are reliabilism and epistemic virtues. Kvanvig's implication is that the key to understanding the nature of knowledge is to pinpoint why we value it so much. |
| 19678 | Strong foundationalism needs strict inferences; weak version has induction, explanation, probability [Kvanvig] |
| Full Idea: Strong foundationalists require truth-preserving inferential links between the foundations and what the foundations support, while weaker versions allow weaker connections, such as inductive support, or best explanation, or probabilistic support. | |
| From: Jonathan Kvanvig (Epistemic Justification [2011], II) | |
| A reaction: [He cites Alston 1989] Personally I'm a coherentist about justification, but I'm a fan of best explanation, so I'd vote for that. It's just that best explanation is not a very foundationalist sort of concept. Actually, the strong version is absurd. |
| 19570 | Reliabilism cannot assess the justification for propositions we don't believe [Kvanvig] |
| Full Idea: The most serious problem for reliabilism is that it cannot explain adequately the concept of propositional justification, the kind of justification one might have for a proposition one does not believe, or which one disbelieves. | |
| From: Jonathan Kvanvig (Truth is not the Primary Epistemic Goal [2005], Notes 2) | |
| A reaction: I don't understand this (though I pass it on anyway). Why can't the reliabilist just offer a critique of the reliability of the justification available for the dubious proposition? |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 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. |