11 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. |
| 23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
| Full Idea: Individuals and objects have a real essence, or constitution of nature, from which all their qualities flow: but this essence our faculties do not comprehend. They are therefore incapable of definition. | |
| From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
| A reaction: Aha - he's one of us! I prefer the phrase 'essential nature' of an object, which is understood, I think, by everyone. I especially like the last bit, directed at those who mistakenly think that Aristotle identified the essence with the definition. |
| 11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
| Full Idea: Reid pointed out how easily conceivable mathematical and geometric impossibilities are. | |
| From: report of Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], IV.III) by George Molnar - Powers 11.3 | |
| A reaction: The defence would be that you have to really really conceive them, and the only way the impossible can be conceived is by blurring it at the crucial point, or by claiming to conceive more than you actually can |
| 23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
| Full Idea: An individual is expressed by a proper name, or by a general word joined to distinguishing circumstances; if unknown, it may be pointed out to the senses; when beyond the reach of the senses it may be picked out by an imperfect but true description. | |
| From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
| A reaction: [compressed] If Putnam, Kripke and Donnellan had read this paragraph they could have save themselves a lot of work! I take reference to be the activity of speakers and writers, and these are the main tools of the trade. |
| 23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |
| Full Idea: The meaning of a word (such as 'felony') is the thing conceived; and that meaning is the conception affixed to it by those who best understand the language. | |
| From: Thomas Reid (Essays on Intellectual Powers 4: Conception [1785], 1) | |
| A reaction: He means legal experts. This is precisely that same as Putnam's account of the meaning of 'elm tree'. His discussion here of reference is the earliest I have encountered, and it is good common sense (for which Reid is famous). |
| 1422 | God's existence is either necessary or impossible, and no one has shown that the concept of God is contradictory [Malcolm] |
| Full Idea: God's existence is either impossible or necessary. It can be the former only if the concept of such a being is self-contradictory or in some way logically absurd. Assuming that this is not so, it follows that He necessarily exists. | |
| From: Norman Malcolm (Anselm's Argument [1959], §2) | |
| A reaction: The concept of God suggests paradoxes of omniscience, omnipotence and free will, so self-contradiction seems possible. How should we respond if the argument suggests God is necessary, but evidence suggests God is highly unlikely? |