14 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| Full Idea: I uphold the belief that for clear questions posed by reason, reason can also find clear answers. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Koellner - On the Question of Absolute Undecidability 1.5 | |
| A reaction: [written in 1961] This contradicts the implication normally taken from his much earlier Incompleteness Theorems. |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| Full Idea: Gödel proved the completeness of standard formalizations of first-order logic, including Frege's original one. However, an implication of his famous theorem on the incompleteness of arithmetic is that second-order logic is incomplete. | |
| From: report of Kurt Gödel (works [1930]) by Michael Dummett - The Philosophy of Mathematics 3.1 | |
| A reaction: This must mean that it is impossible to characterise arithmetic fully in terms of first-order logic. In which case we can only characterize the features of abstract reality in general if we employ an incomplete system. We're doomed. |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| Full Idea: At that time (c.1930) a concept of objective mathematical truth as opposed to demonstrability was viewed with greatest suspicion and widely rejected as meaningless. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 28.2 | |
| A reaction: [quoted from a letter] This is the time of Ramsey's redundancy account, and before Tarski's famous paper of 1933. It is also the high point of Formalism, associated with Hilbert. |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| Full Idea: Gödel was quick to point out that his original incompleteness theorems did not produce instances of absolute undecidability and hence did not undermine Hilbert's conviction that for every precise mathematical question there is a discoverable answer. | |
| From: report of Kurt Gödel (works [1930]) by Peter Koellner - On the Question of Absolute Undecidability Intro | |
| A reaction: The normal simplistic view among philosophes is that Gödel did indeed decisively refute the optimistic claims of Hilbert. Roughly, whether Hilbert is right depends on which axioms of set theory you adopt. |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| Full Idea: Eventually Gödel ...expressed the hope that there might be a generalised completeness theorem according to which there are no absolutely undecidable sentences. | |
| From: report of Kurt Gödel (works [1930]) by Peter Koellner - On the Question of Absolute Undecidability Intro | |
| A reaction: This comes as a bit of a shock to those who associate him with the inherent undecidability of reality. |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| Full Idea: The concept of truth of sentences in a language cannot be defined in the language. This is the true reason for the existence of undecidable propositions in the formal systems containing arithmetic. | |
| From: Kurt Gödel (works [1930]), quoted by Peter Smith - Intro to Gödel's Theorems 21.6 | |
| A reaction: [from a letter by Gödel] So they key to Incompleteness is Tarski's observations about truth. Highly significant, as I take it. |
| 12899 | The timid student has knowledge without belief, lacking confidence in their correct answer [Lewis] |
| Full Idea: I allow knowledge without belief, as in the case of the timid student who knows the answer but has no confidence that he has it right, and so does not believe what he knows. | |
| From: David Lewis (Elusive Knowledge [1996], p.429) | |
| A reaction: [He cites Woozley 1953 for the timid student] I don't accept this example (since my views on knowledge are rather traditional, I find). Why would the student give that answer if they didn't believe it? Sustained timid correctness never happens. |
| 12897 | To say S knows P, but cannot eliminate not-P, sounds like a contradiction [Lewis] |
| Full Idea: If you claim that S knows that P, and yet grant that S cannot eliminate a certain possibility of not-P, it certainly seems as if you have granted that S does not after all know that P. To speak of fallible knowledge just sounds contradictory. | |
| From: David Lewis (Elusive Knowledge [1996], p.419) | |
| A reaction: Starting from this point, fallibilism seems to be a rather bold move. The only sensible response seems to be to relax the requirement that not-P must be eliminable. Best: in one epistemic context P, in another not-P. |
| 12898 | Justification is neither sufficient nor necessary for knowledge [Lewis] |
| Full Idea: I don't agree that the mark of knowledge is justification, first because justification isn't sufficient - your true opinion that you will lose the lottery isn't knowledge, whatever the odds; and also not necessary - for what supports perception or memory? | |
| From: David Lewis (Elusive Knowledge [1996]) | |
| A reaction: I don't think I agree. The point about the lottery is that an overwhelming reason will never get you to knowing that you won't win. But good reasons are coherent, not statistical. If perceptions are dubious, justification must be available. |
| 12895 | Knowing is context-sensitive because the domain of quantification varies [Lewis, by Cohen,S] |
| Full Idea: The context-sensitivity of 'knows' is a function of contextual restrictions on the domain of quantification. | |
| From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended p.68 | |
| A reaction: I think the shifting 'domain of quantification' is one of the most interesting features of ordinary talk. Or, more plainly. 'what are you actually talking about?' is the key question in any fruitful dialogue. Sophisticated speakers tacitly shift domain. |
| 19562 | We have knowledge if alternatives are eliminated, but appropriate alternatives depend on context [Lewis, by Cohen,S] |
| Full Idea: S knows P if S's evidence eliminates every alternative. But the nature of the alternatives depends on context. So for Lewis, the context sensitivity of 'knows' is a function of contextual restrictions ln the domain of quantification. | |
| From: report of David Lewis (Elusive Knowledge [1996]) by Stewart Cohen - Contextualism Defended (and reply) 1 | |
| A reaction: A typical modern attempt to 'regiment' a loose term like 'context'. That said, I like the idea. I'm struck by how the domain varies during a conversation (as in 'what we are talking about'). Domains standardly contain 'objects', though. |
| 23104 | Dworkin believed we should promote equality, to increase autonomy [Dworkin, by Kekes] |
| Full Idea: Egalitarians believe that most often it is by promoting equality that autonomy is increased; this is the egalitarianism of such liberals as Ronald Dworkin. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977]) by John Kekes - Against Liberalism 05.1 | |
| A reaction: Not my idea of equality. The whole point is to ascribe reasonable equality to everyone, including those with a limited capacity for autonomy. Equality is a consequence of universal respect. |
| 23257 | We can treat people as equals, or actually treat them equally [Dworkin, by Grayling] |
| Full Idea: Dworkin distinguishes between treating people as equals, that is, 'with equal concern and respect', and treating them equally. This latter can be unjust. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977]) by A.C. Grayling - The Good State 2 | |
| A reaction: The big difference I see between them is that the first is mere words, and the second is actions. Cf. 'thoughts and prayers' after US school shootings. How about equal entitlements, all things being equal? |
| 18621 | Treating people as equals is the one basic value of all plausible political theories [Dworkin, by Kymlicka] |
| Full Idea: Dworkin suggests that every plausible political theory has the same ultimate value, which is equality - in the more abstract and fundamental sense of treating people 'as equals'. | |
| From: report of Ronald Dworkin (Taking Rights Seriously [1977], 179-83) by Will Kymlicka - Contemporary Political Philosophy (1st edn) | |
| A reaction: I associate this idea with Kant (who says they are equal by virtue of their rationality), so that's a pretty influential idea. I would associate the main challenge to this with Nietzsche. |