6 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. |
| 22236 | The big question of the Renaissance was how to govern everything, from the state to children [Foucault] |
| Full Idea: How to govern was one of the fundamental question of the fifteenth and sixteenth century. ...How to govern children, the poor and beggars, how to govern the family, a house, how to govern armies, different groups, cities, states, and govern one's self. | |
| From: Michel Foucault (What is Critique? [1982], p.28), quoted by Johanna Oksala - How to Read Foucault 9 | |
| A reaction: A nice example of Foucault showing how things we take for granted (techniques of control) have been slowly learned, and then taught as standard. Of course, the Romans knew how to govern an army. |
| 4398 | An event causes another just if the second event would not have happened without the first [Lewis, by Psillos] |
| Full Idea: Lewis gives an account of causation in terms of counterfactual conditionals (roughly, an event c causes an event e iff if c had not happened then e would not have happened either). | |
| From: report of David Lewis (works [1973]) by Stathis Psillos - Causation and Explanation Intro | |
| A reaction: This feels wrong to me. It is a version of Humean constant conjunction, but counterfactuals are too much a feature of our minds, and not sufficiently a feature of the world, to do this job. Tricky. |