15 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. |
21506 | A coherence theory of justification can combine with a correspondence theory of truth [Bonjour] |
Full Idea: There is no manifest absurdity in combining a coherence theory of justification with a correspondence theory of truth. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.1) | |
A reaction: His point is to sharply (and correctly) distinguish coherent justification from a coherence theory of truth. Personally I would recommend talking of a 'robust' theory of truth, without tricky commitment to 'correspondence' between very dissimilar things. |
21509 | There will always be a vast number of equally coherent but rival systems [Bonjour] |
Full Idea: On any plausible conception of coherence, there will always be many, probably infinitely many, different and incompatible systems of belief which are equally coherent. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5) | |
A reaction: If 'infinitely many' theories are allowed, that blocks the coherentist hope that widening and precisifying the system will narrow down the options and offer some verisimilitude. If we stick to current English expression, that should keep them finite. |
21503 | Empirical coherence must attribute reliability to spontaneous experience [Bonjour] |
Full Idea: An empirical coherence theory needs, for the beliefs of a cognitive system to be even candidates for empirical justification, that the system must contain laws attributing a high degree of reliability to a variety of spontaneous cognitive beliefs. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 7.1) | |
A reaction: Wanting such a 'law' seems optimistic, and not in the spirit of true coherentism, which can individually evaluate each experiential belief. I'm not sure Bonjour's Observation Requirement is needed, since it is incoherent to neglect observations. |
21511 | A well written novel cannot possibly match a real belief system for coherence [Bonjour] |
Full Idea: It is not even minimally plausible that a well written novel ...would have the degree of coherence required to be a serious alternative to anyone's actual system of beliefs. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5) | |
A reaction: This seems correct. 'Bleak House' is wonderfully consistent, but its elements are entirely verbal, and nothing occupies the space between the facts that are described. And Lady Dedlock is not in Debrett. I think this kills a standard objection. |
21510 | The objection that a negated system is equally coherent assume that coherence is consistency [Bonjour] |
Full Idea: Sometimes it is said that if one has an appropriately coherent system, an alternative system can be produced simply be negating all of the components of the first system. This would only be so if coherence amounted simply to consistency. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5) | |
A reaction: I associate Russell with this original objection to coherentism. I formerly took this to be a serious problem, and am now relieved to see that it clearly isn't. |
21505 | A coherent system can be justified with initial beliefs lacking all credibility [Bonjour] |
Full Idea: It is simply not necessary in order for [the coherence] view to yield justification to suppose that cognitively spontaneous beliefs have some degree of initial or independent credibility. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 7.2) | |
A reaction: This is thoroughly and rather persuasively criticised by Erik Olson. But he always focuses on the coherence of a 'system' with multiple beliefs. I take the credibility of each individual belief to need coherent assessment against a full background. |
21504 | The best explanation of coherent observations is they are caused by and correspond to reality [Bonjour] |
Full Idea: The best explanation for a stable system of beliefs which rely on observation is that the beliefs are caused by what they depict, and the system roughly corresponds to the independent reality it describes. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 8.3) | |
A reaction: [compressed] Anyone who links best explanation to coherence (and to induction) warms the cockles of my heart. Erik Olson offers a critique, but doesn't convince me. The alternative is to find a better explanation (than reality), or give up. |
21508 | Anomalies challenge the claim that the basic explanations are actually basic [Bonjour] |
Full Idea: The distinctive significance of anomalies lies in the fact that they undermine the claim of the allegedly basic explanatory principles to be genuinely basic. | |
From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.3) | |
A reaction: This seems plausible, suggesting that (rather than an anomaly flatly 'falsifying' a theory) an anomaly may just demand a restructuring or reconceptualising of the theory. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
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. |