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. |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |
Full Idea: We select as designatum that individual which will make the largest possible number of statements true. | |
From: N.L. Wilson (Substances without Substrata [1959]), quoted by Willard Quine - Word and Object II.§13 n | |
A reaction: From the Quine's reference, it sounds as if Wilson was the originator of the well-known principle of charity, later taken up by Davidson. If so, he should be famous, because it strikes me as a piece of fundamental and important wisdom. |
9284 | Reasons are 'internal' if they give a person a motive to act, but 'external' otherwise [Williams,B] |
Full Idea: Someone has 'internal reasons' to act when the person has some motive which will be served or furthered by the action; if this turns out not to be so, the reason is false. Reasons are 'external' when there is no such condition. | |
From: Bernard Williams (Internal and External Reasons [1980], p.101) | |
A reaction: [compressed] An external example given is a family tradition of joining the army, if the person doesn't want to. Williams says (p.111) external reason statements are actually false, and a misapplication of the concept of a 'reason to act'. See Idea 8815. |