7 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. |
| 22518 | The actual must be possible, because it occurred [Aristotle] |
| Full Idea: Actual events are evidently possible, otherwise they would not have occurred. | |
| From: Aristotle (The Poetics [c.347 BCE], 1451b18) | |
| A reaction: [quoted online by Peter Adamson] Seems like common sense, but it's important to have Aristotle assert it. |
| 16566 | Poetry is more philosophic than history, as it concerns universals, not particulars [Aristotle] |
| Full Idea: Poetry is something more philosophic and of graver import than history, since its statements are rather of universals, whereas those of history are singulars. | |
| From: Aristotle (The Poetics [c.347 BCE], 1451b05) | |
| A reaction: Hm. Characters in great novels achieve universality by being representated very particularly. Great depth of mind seems required to be a poet, but less so for a historian (though there is, I presume, no upward limit on the possible level of thought). |
| 16746 | Principles of things are not hidden features of forms, but the laws by which they were formed [Newton] |
| Full Idea: The (active) principles I consider not as occult qualities, supposed to result from the specific forms of things, but as general laws of nature, by which the things themselves are formed. | |
| From: Isaac Newton (Queries to the 'Opticks' [1721], q 31), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 23.6 | |
| A reaction: This is the external, 'imposed' view of laws (with the matter passive) at its most persuasive. If laws arise out the stuff (as I prefer to think), what principles went into the formulation of the stuff? |