8 ideas
| 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. |
| 3271 | We can't control our own beliefs [Nagel] |
| Full Idea: Our beliefs are always due to factors outside of our control. | |
| From: Thomas Nagel (Moral Luck [1976], p.27) |
| 3272 | Moral luck can arise in character, preconditions, actual circumstances, and outcome [Nagel] |
| Full Idea: Moral luck involves one's character, the antecedent circumstances of the act, the actual circumstances of the act, and the outcome of the act. | |
| From: Thomas Nagel (Moral Luck [1976], p.28) | |
| A reaction: Meaning, I take it, that there can be luck in any one of those four. A neat slicing up that doesn't quite fit the real world, where things flow. Helpful, though. |
| 8140 | God is love [John] |
| Full Idea: God is love. | |
| From: St John (23: First Epistle of John [c.90], 4.16) | |
| A reaction: Used by Ayer as an example of meaningless religious language (see Idea 5209). One might translate it as 'the existence of God is a necessary condition for the existence of love in the universe'. Like matter is needed for gravity. Not totally meaningless! |
| 8139 | If you love the world, then you do not love the Father [John] |
| Full Idea: Love not the world, neither the things that are in the world. If any man love the world, the love of the Father is not in him. | |
| From: St John (23: First Epistle of John [c.90], 2.15) | |
| A reaction: This strikes me as an essentially wicked teaching, and one step on the road to suicide. The rejection of life is the worst aspect of all religions - surely it is obvious that we should try to make the best of life, not turn our backs on it? |