11 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. |
| 20327 | Modern attention has moved from the intrinsic properties of art to its relational properties [Lamarque/Olson] |
| Full Idea: In modern discussions, rather than look for intrinsic properties of objects, including aesthetic or formal properties, attention has turned to extrinsic or relational properties, notably of a social, historical, or 'institutional' nature. | |
| From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 1) | |
| A reaction: Lots of modern branches of philosophy have made this move, which seems to me like a defeat. We want to know why things have the relations they do. Just mapping the relations is superficial Humeanism. |
| 20326 | Early 20th cent attempts at defining art focused on significant form, intuition, expression, unity [Lamarque/Olson] |
| Full Idea: In the early twentieth century there were numerous attempts at defining the essence art. Significant form, intuition, the expression of emotion, organic unity, and other notions, were offered to this end. | |
| From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 1) | |
| A reaction: As far as I can see the whole of aesthetics was demolished in one blow by Marcel Duchamp's urinal. Artists announce: we will tell you what art is; you should just sit and listen. Compare the invention of an anarchic sport. |
| 20330 | The dualistic view says works of art are either abstract objects (types), or physical objects [Lamarque/Olson] |
| Full Idea: The dualistic view of the arts holds that works of art come in two fundamentally different kinds: those that are abstract entities, i.e. types, and those that are physical objects (tokens). | |
| From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 2) | |
| A reaction: Paintings are the main reason for retaining physical objects. Strawson 1974 argues that paintings are only physical because we cannot yet perfectly reproduce them. I agree. Works of art are types, not tokens. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 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. |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |