14 ideas
| 3269 | If your life is to be meaningful as part of some large thing, the large thing must be meaningful [Nagel] |
| Full Idea: Those seeking to give their lives meaning usually envision a role in something larger than themselves, …but such a role can't confer significance unless that enterprise is itself significant. | |
| From: Thomas Nagel (The Absurd [1971], §3) | |
| A reaction: Which correctly implies that this way of finding meaning for one's life is doomed. |
| 8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
| Full Idea: Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought. | |
| From: report of David Hilbert (works [1900], 6.7) by Michčle Friend - Introducing the Philosophy of Mathematics | |
| A reaction: I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault. |
| 10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
| Full Idea: The solid philosophical attitude that I think is required for the grounding of pure mathematics is this: In the beginning was the sign. | |
| From: David Hilbert (works [1900]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Why did people invent those particular signs? Presumably they were meant to designate something, in the world or in our experience. |
| 10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
| Full Idea: Hilbert replaced a semantic construal of inconsistency (that the theory entails a statement that is necessarily false) by a syntactic one (that the theory formally derives the statement (0 =1 ∧ 0 not-= 1). | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: Finding one particular clash will pinpoint the notion of inconsistency, but it doesn't seem to define what it means, since the concept has very wide application. |
| 10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
| Full Idea: Hilbert's project was to establish the consistency of classical mathematics using just finitary means, to convince all parties that no contradictions will follow from employing the infinitary notions and reasoning. | |
| From: report of David Hilbert (works [1900]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This is the project which was badly torpedoed by Gödel's Second Incompleteness Theorem. |
| 19419 | Not all of perception is accompanied by consciousness [Leibniz] |
| Full Idea: I do not think that the Cartesians have ever proved or can prove that every perception is accompanied by consciousness. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.195) | |
| A reaction: This idea is very important in Leibniz, because non-conscious or barely conscious thoughts and perceptions explain a huge amount about behaviour, reality and morality. |
| 3270 | Justifications come to an end when we want them to [Nagel] |
| Full Idea: Justifications come to an end when we are content to have them end. | |
| From: Thomas Nagel (The Absurd [1971], §3) | |
| A reaction: This is the correct account, with the vital proviso that where justification comes to an end is usually a social matter. Robinson Crusoe doesn't care whether he 'knows' - he just acts on his beliefs. |
| 19421 | Souls act as if there were no bodies, and bodies act as if there were no souls [Leibniz] |
| Full Idea: Everything takes place in souls as if there were no body, and everything takes place in bodies as if there were no souls. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.198) | |
| A reaction: I don't think I have ever encountered a modern thinker who accepts this view. Leibniz rejected Occasionalism, but his account depends entirely on the role of God, to set up the pre-established harmony. Why would God do that? |
| 19420 | Death and generation are just transformations of an animal, augmented or diminished [Leibniz] |
| Full Idea: Death, like generation, is only the transformation of the same animal, which is sometimes augmented and sometimes diminished. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.195) | |
| A reaction: Leibniz has a very unusual view of death, since neither minds nor their bodies can ever be wholly destroyed. Death is a kind of shrinking. I suspect that he was wrong about that. |
| 3268 | If a small brief life is absurd, then so is a long and large one [Nagel] |
| Full Idea: If life is absurd because it only lasts seventy years, wouldn't it be infinitely absurd if it lasted for eternity? And if we are absurd because we are small, would we be any less absurd if we filled the universe? | |
| From: Thomas Nagel (The Absurd [1971], §1) |
| 19416 | Not all of matter is animated, any more than a pond full of living fish is animated [Leibniz] |
| Full Idea: It must not be said that each portion of matter is animated, just as we do not say that a pond full of fishes is an animated body, although a fish is. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.190) | |
| A reaction: This is a particularly clear picture of the role of monads in matter. Monads are attached to bodies, which are entirely inanimate, but monads suffuse matter and give it its properties, like particularly bubbly champagne. Cf Idea 19422. |
| 19422 | Every particle of matter contains organic bodies [Leibniz] |
| Full Idea: There is no particle of matter which does not contain organic bodies. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.198) | |
| A reaction: Cf Idea 19416. There seems to be an interaction problem here (solved, presumably, by pre-established harmony). The organic bodies are there to explain the active behaviour of matter, but the related matter seems intrinsically inert. |
| 19418 | Mechanics shows that all motion originates in other motion, so there is a Prime Mover [Leibniz] |
| Full Idea: The maxim that there is no motion which has not its origin in another motion, according to the laws of mechanics, leads us again to the Prime Mover. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.194) | |
| A reaction: This is Leibniz's endorsement (uncredited) to Aquinas's First Way. It is hard to see how the laws of mechanics could have anything to say about the origin of movement. And doesn't the law say that the motions of God need a mover? |
| 19417 | All substances are in harmony, even though separate, so they must have one divine cause [Leibniz] |
| Full Idea: My system of Pre-established Harmony furnishes a new proof of God's existence, since it is manifest that the agreement of so many substances, of which the one has no influence upon the other, could only come from a general cause on which they all depend. | |
| From: Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.192) | |
| A reaction: Adjacent harmony seems self-explanatory, but remote harmony is interesting evidence for God. Hence modern quantum non-locality should make us all wonder whether there is a deeper explanation. |