46 ideas
| 6161 | Structuralism is neo-Kantian idealism, with language playing the role of categories of understanding [Rowlands] |
| Full Idea: Structuralism is a form of neo-Kantian idealism, in which the job of creating Kant's phenomenal world has been taken over by language instead of forms of sensibility and categories of the understanding. | |
| From: Mark Rowlands (Externalism [2003], Ch.3) | |
| A reaction: A helpful connection, which explains my aversion to any attempt at understanding the world simply by analysing language, either in its ordinary usage, or in its underlying logical form. |
| 15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
| Full Idea: If the arbitrarily given axioms do not contradict each other with all their consequences, then they are true and the things defined by the axioms exist. For me this is the criterion of truth and existence. | |
| From: David Hilbert (Letter to Frege 29.12.1899 [1899]), quoted by R Kaplan / E Kaplan - The Art of the Infinite 2 'Mind' | |
| A reaction: If an axiom says something equivalent to 'fairies exist, but they are totally undetectable', this would seem to avoid contradiction with anything, and hence be true. Hilbert's idea sounds crazy to me. He developed full Formalism later. |
| 6163 | If bivalence is rejected, then excluded middle must also be rejected [Rowlands] |
| Full Idea: If you reject the principle of bivalence (that a proposition is either determinately true or false), then statements are also not subject to the Law of Excluded Middle (P or not-P). | |
| From: Mark Rowlands (Externalism [2003], Ch.3) | |
| A reaction: I think Rowlands is wrong about this. Excluded Middle could be purely syntacti, or its semantics could be 'True or Not-True'. Only bivalent excluded middle introduces 'True or False'. Compare Idea 4752. |
| 18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
| Full Idea: Taking the principle of Excluded Middle away from the mathematician would be the same, say, as prohibiting the astronomer from using the telescope or the boxer from using his fists. | |
| From: David Hilbert (The Foundations of Mathematics [1927], p.476), quoted by Ian Rumfitt - The Boundary Stones of Thought 9.4 | |
| A reaction: [p.476 in Van Heijenoort] |
| 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. |
| 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. |
| 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. |
| 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. |
| 13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
| Full Idea: One of Hilbert's aims in 'The Foundations of Geometry' was to eliminate number [as measure of lengths and angles] from geometry. | |
| From: report of David Hilbert (Foundations of Geometry [1899]) by William D. Hart - The Evolution of Logic 2 | |
| A reaction: Presumably this would particularly have to include the elimination of ratios (rather than actual specific lengths). |
| 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. |
| 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]) |
| 9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
| Full Idea: Hilbert's geometrical axioms were existential in character, asserting the existence of certain geometrical objects (points and lines). Euclid's postulates do not assert the existence of anything; they assert the possibility of certain constructions. | |
| From: report of David Hilbert (Foundations of Geometry [1899]) by Charles Chihara - A Structural Account of Mathematics 01.1 | |
| A reaction: Chihara says geometry was originally understood modally, but came to be understood existentially. It seems extraordinary to me that philosophers of mathematics can have become more platonist over the centuries. |
| 18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
| Full Idea: In his formal investigation of Euclidean geometry, Hilbert uncovered congruence axioms that implicitly played a role in Euclid's proofs but were not explicitly recognised. | |
| From: report of David Hilbert (Foundations of Geometry [1899]) by Horsten,L/Pettigrew,R - Mathematical Methods in Philosophy 2 | |
| A reaction: The writers are offering this as a good example of the benefits of a precise and formal approach to foundational questions. It's hard to disagree, but dispiriting if you need a PhD in maths before you can start doing philosophy. |
| 18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
| Full Idea: Hilbert's formulation of the Euclidean theory is of special interest because (besides being rigorously axiomatised) it does not employ the real numbers in the axioms. | |
| From: report of David Hilbert (Foundations of Geometry [1899]) by Hartry Field - Science without Numbers 3 | |
| A reaction: Notice that this job was done by Hilbert, and not by the fictionalist Hartry Field. |
| 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. |
| 17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
| Full Idea: The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130) | |
| A reaction: Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'. |
| 17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
| Full Idea: In the traditional exposition of the laws of logic certain fundamental arithmetic notions are already used, for example in the notion of set, and to some extent also of number. Thus we turn in a circle, and a partly simultaneous development is required. | |
| From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.131) | |
| A reaction: If the Axiom of Infinity is meant, it may be possible to purge the arithmetic from the logic. Then the challenge to derive arithmetic from it becomes rather tougher. |
| 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. |
| 22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
| Full Idea: Hilbert proposed to circuvent the paradoxes by means of the doctrine (already proposed by Poincaré) that in mathematics consistency entails existence. | |
| From: report of David Hilbert (On the Concept of Number [1900], p.183) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 19 'Exist' | |
| A reaction: Interesting. Hilbert's idea has struck me as weird, but it makes sense if its main motive is to block the paradoxes. Roughly, the idea is 'it exists if it isn't paradoxical'. A low bar for existence (but then it is only in mathematics!). |
| 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. |
| 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. |
| 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 |
| 6155 | Supervenience is a one-way relation of dependence or determination between properties [Rowlands] |
| Full Idea: Supervenience is essentially a one-way relation of dependence or determination, …which holds, in the first instance, between properties. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: This definition immediately shows why supervenient properties are in danger of being epiphenomenal (i.e. causally irrelevant). Carefully thought about the notion of a 'one-way' relation will, I think, make it more obscure rather than clearer. |
| 6154 | It is argued that wholes possess modal and counterfactual properties that parts lack [Rowlands] |
| Full Idea: Some have argued that a mereological whole should not be identified with the sum of its parts on the grounds that the former possess certain properties - specifically modal and (perhaps) counterfactual properties - that the latter lacks. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: I am not convinced that modal and counterfactual claims should count as properties. If my pen is heated it melts (a property), but if my pen were intelligent it could do philosophy. Intelligence is a property, but the situation isn't. |
| 6157 | Tokens are dated, concrete particulars; types are their general properties or kinds [Rowlands] |
| Full Idea: Tokens are dated, concrete, particular occurrences or instances; types are the general properties that these occurrences exemplify or the kinds to which they belong. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: It might be said that types are sets, of which tokens are the members. The question of 'general properties' raises the question of whether universals must exist to make kinds possible. |
| 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. |
| 6159 | Strong idealism is the sort of mess produced by a Cartesian separation of mind and world [Rowlands] |
| Full Idea: Neo-Kantian idealism, and the excesses of recent versions of it, are precisely the sort of mess one can get oneself into through an uncritical acceptance of the dichotomizing of mind and world along Cartesian internalist lines. | |
| From: Mark Rowlands (Externalism [2003], Ch.3) | |
| A reaction: I am unconvinced that internalism about the mind (that its contents can be defined without reference to anything external) leads to this disastrous split. We don't have to abandon the links between an internal mind and the world. |
| 6152 | Minds are rational, conscious, subjective, self-knowing, free, meaningful and self-aware [Rowlands] |
| Full Idea: The apparent features of mind which are not obviously physical include: rationality, thought, consciousness, subjectivity, infallible first-person knowledge, freedom, meaning and self-awareness. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: A helpful list, some of which can be challenged. Ryle challenges first-person infallibility. Hume challenges self-awareness. Quine challenges meaning. Lots of people (e.g. Spinoza) challenge freedom. The Churchlands seem to challenge consciousness. |
| 6173 | Content externalism implies that we do not have privileged access to our own minds [Rowlands] |
| Full Idea: Content externalism threatens the idea of first-person authority in all its forms, and does so because it calls into question the idea that the access we have to our own mental states is privileged in the way required for such authority. | |
| From: Mark Rowlands (Externalism [2003], Ch.7) | |
| A reaction: I am inclined to respond by saying that since we clearly have privileged access to our own minds, that means there must be something wrong with content externalism. |
| 6174 | If someone is secretly transported to Twin Earth, others know their thoughts better than they do [Rowlands] |
| Full Idea: If someone knew that a thinker had, without realising it, been transported to Twin Earth, they would almost certainly be a higher authority on the content of the thinker's thoughts than would the thinker. | |
| From: Mark Rowlands (Externalism [2003], Ch.8) | |
| A reaction: They would certainly be a higher authority on the truth of the thinker's thoughts, but only in the way that you might think I hold a diamond when I know it is a club. If the thinker believes it is H2O, the fact that it isn't is irrelevant to content. |
| 6158 | Supervenience of mental and physical properties often comes with token-identity of mental and physical particulars [Rowlands] |
| Full Idea: One often finds a supervenience thesis concerning the relation between mental and physical properties combined with a token identity theory concerning the relation between mental and physical particulars. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: This brings out the important clarifying point that supervenience is said to be between properties, not substances. The point is that supervenience will always cry out for an explanation, preferably a sensible one. |
| 6168 | The content of a thought is just the meaning of a sentence [Rowlands] |
| Full Idea: The content of the thought that the sky is blue is simply the meaning of the sentence "The sky is blue". | |
| From: Mark Rowlands (Externalism [2003], Ch.5) | |
| A reaction: This seems to imply that it is logically impossible for a non-language-speaker, such as a chimpanzee, to think that the sky is the same colour as the water. If we allow propositions, we might be able to keep meanings without the sentences. |
| 6167 | Action is bodily movement caused by intentional states [Rowlands] |
| Full Idea: An action is a bodily movement that is caused by intentional states such as beliefs, desires and so on. | |
| From: Mark Rowlands (Externalism [2003], Ch.5) | |
| A reaction: A useful definition, and clearly one that has no truck with attempts at giving behaviourist definitions of action. The definition of a 'moral action' needs to be built on this one. Particular types of belief and desire, presumably. |
| 6177 | Moral intuition seems unevenly distributed between people [Rowlands] |
| Full Idea: The faculty of moral intuition seems to be unevenly distributed between people. | |
| From: Mark Rowlands (Externalism [2003], Ch.11) | |
| A reaction: This would be a good argument if it was thought that the source of moral intuitions was divine, but people vary enormously in their intuitions about maths, about character, about danger. If you believe in any intuition at all, you must accept its variety. |
| 6156 | The 17th century reintroduced atoms as mathematical modes of Euclidean space [Rowlands] |
| Full Idea: The seventeenth century revolution reintroduced the classical concept of the atom in somewhat new attire as an essentially mathematical entity whose primary qualities could be precisely quantified as modes or aspects of Euclidean space. | |
| From: Mark Rowlands (Externalism [2003], Ch.2) | |
| A reaction: Obviously this very abstract view of atoms didn't last, once they began to identify specific physical atoms, such as oxygen. This view fits in with Newton's use of pure (abstract) points such as the 'centre of gravity'. |
| 6170 | Natural kinds are defined by their real essence, as in gold having atomic number 79 [Rowlands] |
| Full Idea: Part of what it means to be a natural kind is that they are defined by a real essence, a constitution that marks them out as the substance they are (as water is essentially H2O, and gold essentially has atomic number 79). | |
| From: Mark Rowlands (Externalism [2003], Ch.6) | |
| A reaction: A 'real essence' would be the opposite of a 'conventional essence', which is just a human way of seeing things. |
| 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. |
| 6178 | It is common to see the value of nature in one feature, such as life, diversity, or integrity [Rowlands] |
| Full Idea: In recent environmental philosophy it is common to see the value of nature identified with one or another natural feature of the environment: life, diversity, ecosystemic integrity and so on. | |
| From: Mark Rowlands (Externalism [2003], Ch.11) | |
| A reaction: This thought seems to be asking for the Open Question argument. What is so good about life, or diversity? Our strongest intuition must be that the survival of the ecosystem, and whatever makes that possible, is the highest value. |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
| Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
| From: Herodotus (The Histories [c.435 BCE], 2.123.2) |