17 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. |
| 2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
| Full Idea: There are convictions which are common to most societies; but there are others which are not, and no way is given by intuitionists of telling which are the authoritative data. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.454) | |
| A reaction: It seems unfair on intuitionists to say they haven't given a way to evaluate such things, given that they have offered intuition. The issue is what exactly they mean by 'intuition'. |
| 2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
| Full Idea: If it comes to deciding what intuitions and dispositions to cultivate, we cannot rely on the intuitions themselves, as intuitionists do. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.461) | |
| A reaction: Makes intuitionists sound a bit dim. Surely Hume identifies dispositions (such as benevolence) which should be cultivated, because they self-evidently improve social life? |
| 2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
| Full Idea: Emotivists concluded too hastily that because naturalism and intuitionism are false, you cannot reason about moral questions, because they assumed that the only questions you can reason about are factual ones. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: Personally I have a naturalistic view of ethics (based on successful functioning, as indicated by Aristotle), so not my prob. Why can't we reason about expressive emotions? We reason about art. |
| 2708 | An 'ought' statement implies universal application [Hare] |
| Full Idea: In any 'ought' statement there is implicit a principle which says that the statement applies to all precisely similar situations. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.456) | |
| A reaction: No two situations can ever be 'precisely' similar. Indeed, 'precisely similar' may be an oxymoron (at least for situations). Kantians presumably like this idea. |
| 2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
| Full Idea: Non-descriptivists (e.g. prescriptivists) reject descriptivism in its naturalist or intuitionist form, because they are both destined to collapse into relativism. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.453) | |
| A reaction: I'm not clear from this why prescriptism would not also turn out to be relativist, if it includes evaluations along with facts. |
| 2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
| Full Idea: Ethical descriptivism is the view that ethical sentence-meaning is wholly determined by truth-conditions. …Prescriptivists think there is a further element of meaning, which expresses prescriptions or evaluations or attitudes which we assent to. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.452) | |
| A reaction: Not sure I understand either of these. If all meaning consists of truth-conditions, that will apply to ethics. If meaning includes evaluations, that will apply to non-ethics. |
| 2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
| Full Idea: Prescriptivists claim that there are rules of reasoning which govern non-descriptive as well as descriptive speech acts. The standard example is possible logical inconsistency between contradictory prescriptions. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: The example doesn't seem very good. Inconsistency can appear in any area of thought, but that isn't enough to infer full 'rules of reasoning'. I could desire two incompatible crazy things. |
| 2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
| Full Idea: Prescriptivists hold that moral judgements commit the speaker to motivations and actions, but non-moral facts by themselves do not do this. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.459) | |
| A reaction: Surely hunger motivates to action? I suppose the key word is 'commit'. But lazy people are allowed to make moral judgements. |
| 2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
| Full Idea: Universal prescriptivists hold that 'ought'-judgements are prescriptive like plain imperatives, but differ from them in being universalisable. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.457) | |
| A reaction: Sounds a bit tautological. Which comes first, the normativity or the universalisability? |
| 2710 | Moral judgements must invoke some sort of principle [Hare] |
| Full Idea: To make moral judgements is implicitly to invoke some principle, however specific. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.458) |
| 6581 | Hume thought (unlike Locke) that property is a merely conventional relationship [Hume, by Fogelin] |
| Full Idea: Hume thought (in contrast to Locke) that property reflects a conventional (rather than natural) relationship determined by the laws that protect people from having things taken from them. | |
| From: report of David Hume (Nine political essays [1741]) by Robert Fogelin - Walking the Tightrope of Reason Ch.3 | |
| A reaction: It seems pretty obvious that the idea of property was invented by the powerful, to protect their gains against the weak. I suspect that you might till a piece of land simply in order to assert ownership of it, just as you might bring in colonists. |
| 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. |