22 ideas
12461 | We believe all mathematical problems are solvable [Hilbert] |
Full Idea: The thesis that every mathematical problem is solvable - we are all convinced that it really is so. | |
From: David Hilbert (On the Infinite [1925], p.200) | |
A reaction: This will include, for example, Goldbach's Conjecture (every even is the sum of two primes), which is utterly simple but with no proof anywhere in sight. |
12456 | I aim to establish certainty for mathematical methods [Hilbert] |
Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods. | |
From: David Hilbert (On the Infinite [1925], p.184) | |
A reaction: This is the clearest statement of the famous Hilbert Programme, which is said to have been brought to an abrupt end by Gödel's Incompleteness Theorems. |
9633 | No one shall drive us out of the paradise the Cantor has created for us [Hilbert] |
Full Idea: No one shall drive us out of the paradise the Cantor has created for us. | |
From: David Hilbert (On the Infinite [1925], p.191), quoted by James Robert Brown - Philosophy of Mathematics | |
A reaction: This is Hilbert's famous refusal to accept any account of mathematics, such as Kant's, which excludes actual infinities. Cantor had laid out a whole glorious hierarchy of different infinities. |
12460 | We extend finite statements with ideal ones, in order to preserve our logic [Hilbert] |
Full Idea: To preserve the simple formal rules of ordinary Aristotelian logic, we must supplement the finitary statements with ideal statements. | |
From: David Hilbert (On the Infinite [1925], p.195) | |
A reaction: I find very appealing the picture of mathematics as rooted in the physical world, and then gradually extended by a series of 'idealisations', which should perhaps be thought of as fictions. |
12462 | Only the finite can bring certainty to the infinite [Hilbert] |
Full Idea: Operating with the infinite can be made certain only by the finitary. | |
From: David Hilbert (On the Infinite [1925], p.201) | |
A reaction: See 'Compactness' for one aspect of this claim. I think Hilbert was fighting a rearguard action, and his idea now has few followers. |
12455 | The idea of an infinite totality is an illusion [Hilbert] |
Full Idea: Just as in the limit processes of the infinitesimal calculus, the infinitely large and small proved to be a mere figure of speech, so too we must realise that the infinite in the sense of an infinite totality, used in deductive methods, is an illusion. | |
From: David Hilbert (On the Infinite [1925], p.184) | |
A reaction: This is a very authoritative rearguard action. I no longer think the dispute matters much, it being just a dispute over a proposed new meaning for the word 'number'. |
12457 | There is no continuum in reality to realise the infinitely small [Hilbert] |
Full Idea: A homogeneous continuum which admits of the sort of divisibility needed to realise the infinitely small is nowhere to be found in reality. | |
From: David Hilbert (On the Infinite [1925], p.186) | |
A reaction: He makes this remark as a response to Planck's new quantum theory (the year before the big works of Heisenberg and Schrödinger). Personally I don't see why infinities should depend on the physical world, since they are imaginary. |
12459 | The subject matter of mathematics is immediate and clear concrete symbols [Hilbert] |
Full Idea: The subject matter of mathematics is the concrete symbols themselves whose structure is immediately clear and recognisable. | |
From: David Hilbert (On the Infinite [1925], p.192) | |
A reaction: I don't think many people will agree with Hilbert here. Does he mean token-symbols or type-symbols? You can do maths in your head, or with different symbols. If type-symbols, you have to explain what a type is. |
18112 | Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert] |
Full Idea: We can conceive mathematics to be a stock of two kinds of formulas: first, those to which the meaningful communications of finitary statements correspond; and secondly, other formulas which signify nothing and which are ideal structures of our theory. | |
From: David Hilbert (On the Infinite [1925], p.196), quoted by David Bostock - Philosophy of Mathematics 6.1 |
11993 | Jones may cease to exist without some simple property, but that doesn't make it essential [Kung] |
Full Idea: If Jones ceases to be a father, or ceases to be over eight years old, he will cease to exist, yet these properties surely do not belong essentially to him. | |
From: Joan Kung (Aristotle on Essence and Explanation [1977], II) | |
A reaction: This seems to correct, though I would doubt whether either of these count as true properties, in the causal sense I prefer. If being 'over 8' is a property, how many 'over n' or 'under m' properties does he have? One for each quantum moment? |
11997 | A property may belong essentially to one thing and contingently to another [Kung] |
Full Idea: It is possible that a property may belong essentially to one thing and contingently to another. | |
From: Joan Kung (Aristotle on Essence and Explanation [1977], III) | |
A reaction: Thus a love of blues music may be part of your essence, but only a minor part of me. Sounds right. Spin or charge are part of the essence of an electron, but only contingently part of a child's top. |
11992 | Aristotelian essences underlie a thing's existence, explain it, and must belong to it [Kung] |
Full Idea: Three essentialist claims are labelled 'Aristotelian': the thing would cease to exist without the property; an essential property is explanatory; and it is such that it must belong to everything to which it belongs. | |
From: Joan Kung (Aristotle on Essence and Explanation [1977], Intro) | |
A reaction: She says the second one is indispensable, and that it rules out the third one. My working assumption, like hers, is that the second one is the key part of the game, because Aristotle wanted to explain things. |
9636 | My theory aims at the certitude of mathematical methods [Hilbert] |
Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods. | |
From: David Hilbert (On the Infinite [1925], p.184), quoted by James Robert Brown - Philosophy of Mathematics Ch.5 | |
A reaction: This dream is famous for being shattered by Gödel's Incompleteness Theorem a mere six years later. Neverless there seem to be more limited certainties which are accepted in mathematics. The certainty of the whole of arithmetic is beyond us. |
11995 | Some peripheral properties are explained by essential ones, but don't themselves explain properties [Kung] |
Full Idea: There will be demonstrated properties at the edge of the system, so to speak. They will be explained in terms of the essential properties of the basic entities and principles of the science, but will themselves not be explanatory of further properties. | |
From: Joan Kung (Aristotle on Essence and Explanation [1977], II) | |
A reaction: This is an important line of thought which needs clarification. We can't glibly say that essences are what explain the other properties. Some properties do more than others to explain subsequent dependent properties. |
11996 | Some non-essential properties may explain more than essential-but-peripheral ones do [Kung] |
Full Idea: It seems highly likely that some non-essential properties may explain more about the individual or about things of his kind than the peripheral properties. | |
From: Joan Kung (Aristotle on Essence and Explanation [1977], II) | |
A reaction: Another important issue, if one is defending the explanatory role of essences. It is not only essences which explain. A key question is whether we endorse individual essences as well as generic ones. I think we should. They explain the details. |
21833 | Research suggest that we overrate conscious experience [Flanagan] |
Full Idea: The emerging consensus is that we probably overrate the power of conscious experience in our lives. Freud, of course, said the same thing for different reasons. | |
From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
A reaction: [He cites Pockett, Banks and Gallagher 2006]. Freud was concerned with big deep secrets, but the modern view concerns ordinary decisions and perceptions. An important idea, which should incline us all to become Nietzscheans. |
21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
Full Idea: There is still some hope for something like identity theory for sensations. But almost no one believes that strict identity theory will work for more complex mental states. Strict identity is stronger than type neurophysicalism. | |
From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
A reaction: It is so hard to express the problem. What needs to be explained? How can one bunch of neurons represent many different things? It's not like computing. That just transfers the data to brains, where the puzzling stuff happens. |
21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
Full Idea: Morality is 'normative' in the sense that it consists of the extraction of 'good' or 'excellent' practices from common practices. | |
From: Owen Flanagan (The Really Hard Problem [2007], 4 'Naturalism') | |
A reaction: I take normativity not be the mere labelling of certain things as 'good', but as a way of responding to that fact, with some sort of motivation. |
21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
Full Idea: Two explanations came forward in the neo-Darwinian synthesis. Altruism is either 1) person-based reciprocal altruism, or 2) gene-based kin altruism. | |
From: Owen Flanagan (The Really Hard Problem [2007], 2 'Darwin') | |
A reaction: Flanagan obviously thinks there is also 'genuine psychological atruism'. Presumably we don't explain mathematics or music or the desire to travel as either contracts or genetics, so we have other explanations available. |
21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
Full Idea: It would be nice if I could advance the case for Eudaimonics - empirical enquiry into the nature, causes, and constituents of flourishing, …and the case for some ways of living and being as better than others. | |
From: Owen Flanagan (The Really Hard Problem [2007], 4 'Normative') | |
A reaction: Things seem to be moving in that direction. Lots of statistics about happiness have been appearing. |
21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
Full Idea: What Marx called 'alienation' is the widespread condition of not being able to discover what one wants, or not being remotely positioned to achieve. | |
From: Owen Flanagan (The Really Hard Problem [2007], 2 'Expanding') | |
A reaction: I took alienation to concern people's relationship to the means of production in their trade. On Flanagan's definition I would expect almost everyone aged under 20 to count as alienated. |
21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |
Full Idea: Buddhism rejected the idea of a creator God, and the unchanging self [atman]. They accept the appearance-reality distinction, reward for virtue [karma], suffering defining our predicament, and that liberation [nirvana] is possible through wisdom. | |
From: Owen Flanagan (The Really Hard Problem [2007], 3 'Buddhism') | |
A reaction: [Compressed] Flanagan is an analytic philosopher and a practising Buddhist. Looking at a happiness map today which shows Europeans largely happy, and Africans largely miserable, I can see why they thought suffering was basic. |