10 ideas
| 17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
| Full Idea: The facts of geometry order themselves into a geometry, the facts of arithmetic into a theory of numbers, the facts of statics, electrodynamics into a theory of statics, electrodynamics, or the facts of the physics of gases into a theory of gases. | |
| From: David Hilbert (Axiomatic Thought [1918], [03]) | |
| A reaction: This is the confident (I would say 'essentialist') view of axioms, which received a bit of a setback with Gödel's Theorems. I certainly agree that the world proposes an order to us - we don't just randomly invent one that suits us. |
| 17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
| Full Idea: If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions. | |
| From: David Hilbert (Axiomatic Thought [1918], [09]) | |
| A reaction: Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others. |
| 17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
| Full Idea: It is necessary to study the essence of mathematical proof itself if one wishes to answer such questions as the one about decidability in a finite number of operations. | |
| From: David Hilbert (Axiomatic Thought [1918], [53]) |
| 17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
| Full Idea: The linearity of the equation of the plane and of the orthogonal transformation of point-coordinates is completely adequate to produce the whole broad science of spatial Euclidean geometry purely by means of analysis. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This remark comes from the man who succeeded in producing modern axioms for geometry (in 1897), so he knows what he is talking about. We should not be wholly pessimistic about Hilbert's ambitious projects. He had to dig deeper than this idea... |
| 17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
| Full Idea: The laws of calculation and the rules of integers suffice for the construction of number theory. | |
| From: David Hilbert (Axiomatic Thought [1918], [05]) | |
| A reaction: This is the confident Hilbert view that the whole system can be fully spelled out. Gödel made this optimism more difficult. |
| 16721 | Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans] |
| Full Idea: Every alteration in secondary qualities is caused by some alteration made in the primary qualities. | |
| From: Giles of Orleans (On 'Generation and Corruption' [1270], I.6c) | |
| A reaction: Pasnau calls this the 'supervenience' thesis, here with the addition of causation. Was this doctrine retained by Locke and Boyle? |
| 7906 | When the Buddha reached the highest level of insight, he could detect no self in the world [Ashvaghosha] |
| Full Idea: The great Buddha passed through the eight stages of Transic insight, and quickly reached their highest point. From the summit of the world downwards he could detect no self anywhere. | |
| From: Ashvaghosha (Buddhacarita [c.50], XIV) | |
| A reaction: In the manner of Nietzsche, I am inclined to say that they find what they want to find, because that is their value. They want to get rid of the self, and dream of a mode in which existence continues without it. Is Buddhism opposed to human life? |
| 17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |
| Full Idea: By pushing ahead to ever deeper layers of axioms ...we also win ever-deeper insights into the essence of scientific thought itself, and become ever more conscious of the unity of our knowledge. | |
| From: David Hilbert (Axiomatic Thought [1918], [56]) | |
| A reaction: This is the less fashionable idea that scientific essentialism can also be applicable in the mathematic sciences, centring on the project of axiomatisation for logic, arithmetic, sets etc. |
| 7905 | The Buddha sought ultimate reality and the final goal of existence in his meditations [Ashvaghosha] |
| Full Idea: Next the Boddhisatva, possessed of great skill in Transic meditation, put himself into a trance, intent on discerning both the ultimate reality of things and the final goal of existence. | |
| From: Ashvaghosha (Buddhacarita [c.50], XIV.2) | |
| A reaction: The ontological and teleological goals of the Buddha were identical to the goals of the ancient Greek philosophers, and even we have teleological aims in our study of evolution. I would expect better results from the western approach. |
| 7904 | The first stage of trance is calm amidst applied and discursive thinking [Ashvaghosha] |
| Full Idea: The first stage of trance is calm amidst applied and discursive thinking. | |
| From: Ashvaghosha (Buddhacarita [c.50], V.11) | |
| A reaction: Personally I am not sure that I would want to go any further that the first stage, since the elimination of discursive thinking seems to me to be approaching death. To pursue intense thinking very calmly I take to be the ideal of all western philosophers. |