17 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. |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
| From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
| 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) |
| 5998 | From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ] |
| Full Idea: Diodorus' Master Argument inferred that since what is past (i.e. true in the past) is necessary, and the impossible cannot follow from the possible, that therefore if something neither is nor ever will be the case, then it is impossible. | |
| From: report of Diodorus Cronus (fragments/reports [c.300 BCE]) by Michael J. White - Diodorus Cronus | |
| A reaction: The argument is, apparently, no longer fully clear, but it seems to imply determinism, or at least a rejection of the idea that free will and determinism are compatible. (Epictetus 2.19) |
| 20832 | The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus] |
| Full Idea: The Master Argument: these conflict 1) what is past and true is necessary, 2) the impossible does not follow from the possible, 3) something possible neither is nor will be true. Hence only that which is or will be true is possible. | |
| From: report of Diodorus Cronus (fragments/reports [c.300 BCE]) by Epictetus - The Discourses 2.19.1 | |
| A reaction: [Epictetus goes on to discuss views about which of the three should be given up] It is possible there will be a sea fight tomorrow; tomorrow comes, and no sea fight; so there was necessarily no sea fight; so the impossible followed from the possible. |
| 14304 | Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus] |
| Full Idea: The connected (proposition) is true when it begins with true and neither could nor can end with false. | |
| From: Diodorus Cronus (fragments/reports [c.300 BCE]), quoted by Stephen Mumford - Dispositions 03.4 | |
| A reaction: [Mumford got the quote from Bochenski] This differs from the truth-functional account because it says nothing about when the antecedent is false, which fits in also with the 'supposition' view, where A is presumed. This idea adds necessity. |
| 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. |
| 6024 | Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius] |
| Full Idea: No one says or thinks anything ambiguous, and nothing should be held to be being said beyond what the speaker thinks he is saying. | |
| From: report of Diodorus Cronus (fragments/reports [c.300 BCE]) by Aulus Gellius - Noctes Atticae 11.12.2 | |
| A reaction: A key argument in favour of propositions, implied in this remark, is that propositions are never ambiguous, though the sentences expressing them may be |
| 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) |