14 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. |
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) |
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) |
19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
Full Idea: The main issue with learning possibility from conceivability concerns how we can be confident that we have conceived things to the relevant level of depth required for the scenario to actually be a presentation or manifestation of a genuine possibility. | |
From: Anand Vaidya (The Epistemology of Modality [2015], 1.2.2) | |
A reaction: [He cites Van Inwagen 1998 for this idea] The point is that ignorant imagination can conceive of all sorts of absurd things which are seen to be impossible when enough information is available. We can hardly demand a criterion for this. |
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. |
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) |
16697 | Time is independent of motion, because God could stop everything for a short or long time [Crathorn, by Pasnau] |
Full Idea: Suppose God annihilates everything, and then creates something new. The vacant interval could last a shorter or longer time, so there are facts about time independent of facts about motion. | |
From: report of William Crathorn (Sentences [1335], I.16, concl.2) by Robert Pasnau - Metaphysical Themes 1274-1671 18.2 | |
A reaction: Not very persuasive if God is in some way 'timeless'. Crathorn would have loved Shoemaker's argument, where motionless time is the best explanation, rather than a possible explanation. |