15 ideas
17641 | Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell] |
Full Idea: Any new discovery as to mathematical method and principles is likely to upset a great deal of otherwise plausible philosophising, as well as to suggest a new philosophy which will be solid in proportion as its foundations in mathematics are securely laid. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.283) | |
A reaction: This is a manifesto for modern analytic philosophy. I'm not convinced, especially if a fictionalist view of maths is plausible. What Russell wants is rigour, but there are other ways of getting that. Currently I favour artificial intelligence. |
21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
Full Idea: Metaphysics is the most general attempt to make sense of things. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
17638 | If one proposition is deduced from another, they are more certain together than alone [Russell] |
Full Idea: Two obvious propositions of which one can be deduced from the other both become more certain than either in isolation; thus in a complicated deductive system, many parts of which are obvious, the total probability may become all but absolute certainty. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.279) | |
A reaction: Thagard picked this remark out, in support of his work on coherence. |
17632 | Non-contradiction was learned from instances, and then found to be indubitable [Russell] |
Full Idea: The law of contradiction must have been originally discovered by generalising from instances, though, once discovered, it was found to be quite as indubitable as the instances. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.274) |
13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
Full Idea: Weak Limitation of Size: If there are no more Fs than Gs and the Gs form a collection, then Fs form a collection. Strong Limitation of Size: A property F fails to be collectivising iff there are as many Fs as there are objects. | |
From: report of George Boolos (Iteration Again [1989]) by Michael Potter - Set Theory and Its Philosophy 13.5 |
17629 | Which premises are ultimate varies with context [Russell] |
Full Idea: Premises which are ultimate in one investigation may cease to be so in another. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.273) |
17630 | The sources of a proof are the reasons why we believe its conclusion [Russell] |
Full Idea: In mathematics, except in the earliest parts, the propositions from which a given proposition is deduced generally give the reason why we believe the given proposition. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.273) |
17640 | Finding the axioms may be the only route to some new results [Russell] |
Full Idea: The premises [of a science] ...are pretty certain to lead to a number of new results which could not otherwise have been known. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.282) | |
A reaction: I identify this as the 'fruitfulness' that results when the essence of something is discovered. |
17627 | It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell] |
Full Idea: It is an apparent absurdity in proceeding ...through many rather recondite propositions of symbolic logic, to the 'proof' of such truisms as 2+2=4: for it is plain that the conclusion is more certain than the premises, and the supposed proof seems futile. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.272) | |
A reaction: Famously, 'Principia Mathematica' proved this fact at enormous length. I wonder if this thought led Moore to his common sense view of his own hand - the conclusion being better than the sceptical arguments? |
17628 | Arithmetic was probably inferred from relationships between physical objects [Russell] |
Full Idea: When 2 + 2 =4 was first discovered, it was probably inferred from the case of sheep and other concrete cases. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.272) |
17637 | The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell] |
Full Idea: Even where there is the highest degree of obviousness, we cannot assume that we are infallible - a sufficient conflict with other obvious propositions may lead us to abandon our belief, as in the case of a hallucination afterwards recognised as such. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.279) | |
A reaction: This approach to fallibilism seems to arise from the paradox that undermined Frege's rather obvious looking axioms. After Peirce and Russell, fallibilism has become a secure norm of modern thought. |
21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |
17639 | Believing a whole science is more than believing each of its propositions [Russell] |
Full Idea: Although intrinsic obviousness is the basis of every science, it is never, in a fairly advanced science, the whole of our reason for believing any one proposition of the science. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.279) |
17631 | Induction is inferring premises from consequences [Russell] |
Full Idea: The inferring of premises from consequences is the essence of induction. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.274) | |
A reaction: So induction is just deduction in reverse? Induction is transcendental deduction? Do I deduce the premises from observing a lot of white swans? Hm. |
17633 | The law of gravity has many consequences beyond its grounding observations [Russell] |
Full Idea: The law of gravitation leads to many consequences which could not be discovered merely from the apparent motions of the heavenly bodies. | |
From: Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.275) |