18 ideas
17596 | Coherence problems have positive and negative restraints; solutions maximise constraint satisfaction [Thagard] |
Full Idea: A coherence problem is a set of elements connected by positive and negative restraints, and a solution consists of partitioning the elements into two sets (accepted and rejected) in a way that maximises satisfaction of the constraints. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.42) | |
A reaction: I'm enthusiastic about this, as it begins to clarify the central activity of epistemology, which is the quest for best explanations. |
17597 | Coherence is explanatory, deductive, conceptual, analogical, perceptual, and deliberative [Thagard] |
Full Idea: I propose that there are six main kinds of coherence: explanatory, deductive, conceptual, analogical, perceptual, and deliberative. ...Epistemic coherence is a combination of the first five kinds, and ethics adds the sixth. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.43) | |
A reaction: Wonderful. Someone is getting to grips with the concept of coherence, instead of just whingeing about how vague it is. |
17598 | Explanatory coherence needs symmetry,explanation,analogy,data priority, contradiction,competition,acceptance [Thagard] |
Full Idea: Informally, a theory of explanatory coherence has the principles of symmetry, explanation, analogy, data priority, contradiction, competition and acceptance. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.44) | |
A reaction: [Thagard give a concise summary of his theory here] Again Thagard makes a wonderful contribution in an area where most thinkers are pessimistic about making any progress. His principles are very plausible. |
17602 | Verisimilitude comes from including more phenomena, and revealing what underlies [Thagard] |
Full Idea: A scientific theory is progressively approximating the truth if it increases its explanatory coherence by broadening to more phenomena and deepening by investigating layers of mechanisms. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) |
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. |
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. |
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. |
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 |
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. |
17601 | Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard] |
Full Idea: Both rationalists (who start with a priori truths and make deductions) and empiricists (starting with indubitable sense data and what follows) would guarantee truth, but neither even begins to account for scientific knowledge. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.46) | |
A reaction: Thagard's answer, and mine, is inference to the best explanation, but goes beyond both the a priori truths and the perceptions. |
17600 | Bayesian inference is forced to rely on approximations [Thagard] |
Full Idea: It is well known that the general problem with Bayesian inference is that it is computationally intractable, so the algorithms used for computing posterior probabilities have to be approximations. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) | |
A reaction: Thagard makes this sound devastating, but then concedes that all theories have to rely on approximations, so I haven't quite grasped this idea. He gives references. |
17599 | The best theory has the highest subjective (Bayesian) probability? [Thagard] |
Full Idea: On the Bayesian view, the best theory is the one with the highest subjective probability, given the evidence as calculated by Bayes's theorem. | |
From: Paul Thagard (Coherence: The Price is Right [2012], p.45) |
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? |