18 ideas
| 19336 | Wisdom involves the desire to achieve perfection [Leibniz] |
| Full Idea: The wiser one is, the more one is determined to do that which is most perfect. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.151) | |
| A reaction: Debatable. 'Perfectionism' is a well-known vice in many areas of life. Life is short, and the demands on us are many. Skilled shortcuts and compromises are one hallmark of genius, and presumably also of wisdom. |
| 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. |
| 7696 | Leibniz first asked 'why is there something rather than nothing?' [Leibniz, by Jacquette] |
| Full Idea: The historical honour of having first raised the question "Why is there something rather than nothing?" belongs to Leibniz. | |
| From: report of Gottfried Leibniz (On the Ultimate Origination of Things [1697]) by Dale Jacquette - Ontology Ch.3 | |
| A reaction: I presume that people before Leibniz may well have had the thought, but not bothered to even articulate it, because there seemed nothing to say by way of answer, other than some reference to the inscrutable will of God. |
| 19341 | There must be a straining towards existence in the essence of all possible things [Leibniz] |
| Full Idea: Since something rather than nothing exists, there is a certain urge for existence, or (so to speak) a straining toward existence in possible things or in possibility or essence itself; in a word, essence in and of itself strives for existence. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.150) | |
| A reaction: Thus 'essence precedes existence'. Not sure I understand this, but at least it places an active power at the root of everything (though Leibniz probably sees that as divine). The Big Bang triggered by a 'quantum fluctuation'? |
| 19428 | Because something does exist, there must be a drive in possible things towards existence [Leibniz] |
| Full Idea: From the very fact that something exists rather than nothing, we recognise that there is in possible things, that is, in the very possibility or essence, a certain exigent need of existence, and, so to speak, some claim to existence. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347) | |
| A reaction: I love the fact that Leibniz tried to explain why there is something rather than nothing. Bede Rundle and Dale Jacquette are similar heroes. As Leibniz tells us, contradictions have no claim to existence, but non-contradictions do. |
| 5047 | The world is physically necessary, as its contrary would imply imperfection or moral absurdity [Leibniz] |
| Full Idea: Although the world is not metaphysically necessary, such that its contrary would imply a contradiction or logical absurdity, it is necessary physically, that is, determined in such a way that its contrary would imply imperfection or moral absurdity. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.139) | |
| A reaction: How does Leibniz know things like this? The distinction between 'metaphysical' necessity and 'natural' (what he calls 'physical') necessity is a key idea. But natural necessity is controversial. See 'Essentialism'. |
| 9312 | Consciousness is reductively explained either by how it represents, or how it is represented [Kriegel/Williford] |
| Full Idea: The two main competitors for reductive theories of consciousness are the representational theory (conscious if it represents in the right way), and higher-order monitoring (conscious if it is represented in the right way). | |
| From: U Kriegel / K Williford (Intro to 'Self-Representational Consciousness' [2006], Intro) | |
| A reaction: Presumably there are also neuroscientists hunting for physical functions which might generate consciousness. The two mentioned here are rivals at one level of discourse. Both views may be simplistic, if complex teams of activities are involved. |
| 9313 | Experiences can be represented consciously or unconsciously, so representation won't explain consciousness [Kriegel/Williford] |
| Full Idea: On the assumption that any environmental feature can be represented either consciously or unconsciously, it is unclear how the mere representation of such a feature can render the representing state conscious. | |
| From: U Kriegel / K Williford (Intro to 'Self-Representational Consciousness' [2006], §1) | |
| A reaction: The authors are rejecting simple representation as the key, in favour of a distinctive sort of self-representation. I'm inclined to think that consciousness results from multiple co-ordinated layers of representation etc., which has no simple account. |
| 9315 | Red tomato experiences are conscious if the state represents the tomato and itself [Kriegel/Williford] |
| Full Idea: The self-representational theory of consciousness says that when one has a conscious experience as of a red tomato, one is in an internal state that represents both a red tomato and itself. | |
| From: U Kriegel / K Williford (Intro to 'Self-Representational Consciousness' [2006], §1) | |
| A reaction: This seems to be avoiding the concept of 'higher-order', and yet that seems the only way to describe it - thought steps outside of itself, generating a level of meta-thought. I think that's the way to go. Philosophy is about-fifth level. |
| 9316 | How is self-representation possible, does it produce a regress, and is experience like that? [Kriegel/Williford] |
| Full Idea: The difficulties with a self-representational view of consciousness are how self-representation of mental states could be possible, whether it leads to an infinite regress, and whether it can capture the actual phenomenology of experience. | |
| From: U Kriegel / K Williford (Intro to 'Self-Representational Consciousness' [2006], §3) | |
| A reaction: [compressed] All of these objections strike me as persuasive, especially the first one. I'm not sure I know what self-representation is. Mirrors externally represent, and they can't represent themselves. Two mirrors together achieve something.. |
| 9314 | Unfortunately, higher-order representations could involve error [Kriegel/Williford] |
| Full Idea: A problem for explaining consciousness by higher-order representations is that, like their first-order counterparts, they can misrepresent; there could be a subjective impression of being in a conscious state without actually being in any conscious state. | |
| From: U Kriegel / K Williford (Intro to 'Self-Representational Consciousness' [2006], §1) | |
| A reaction: It sounds plausible that this is a logical possibility, but how do you assess whether it is an actual or natural possibility? Are we saying that higher-order representations are judgments, which could be true or false? Hm. |
| 19343 | We follow the practical rule which always seeks maximum effect for minimum cost [Leibniz] |
| Full Idea: In practical affairs one always follows the decision rule in accordance with which one ought to seek the maximum or the minimum: namely, one prefers the maximum effect at the minimum cost, so to speak. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.150) | |
| A reaction: Animals probably do that too, and even water sort of obeys the rule when it runs downhill. |
| 19429 | The principle of determination in things obtains the greatest effect with the least effort [Leibniz] |
| Full Idea: There is always in things a principle of determination which is based on consideration of maximum and minimum, such that the greatest effect is obtained with the least, so to speak, expenditure. | |
| From: Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347) | |
| A reaction: This is obvious in human endeavours. Leibniz applied it to physics, producing a principle that shortest paths are always employed. It has a different formal name in modern physics, I think. He says if you make an unrestricted triangle, it is equilateral. |