27 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) |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 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. |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
| A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
| 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? |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
| A reaction: Each expansion brings a limitation, but then you can expand again. |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
| 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. |
| 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. |
| 23262 | Experience, sympathy and history are sensible grounds for laying claim to rights [Grayling] |
| Full Idea: Personal experience, social sympathies, and history together licence laying claim to rights …which we see to make good mutual as well as individual sense. | |
| From: A.C. Grayling (The Good State [2020], 6) | |
| A reaction: There are no such thing as natural rights, but there are clearly natural grounds on which it is very reasonable to base a claim for legal rights. If positive rights are just arbitrary, or expressions of power struggles, that is crazy. |
| 23263 | Politics is driven by power cliques [Grayling] |
| Full Idea: What drives political history is power cliques. | |
| From: A.C. Grayling (The Good State [2020], Conc) | |
| A reaction: A simple ideas which strikes me as accurate. Alternative views are that power is universally distributed (Foucault), or that power resides in a social class (Marx). Grayling's idea strikes me as more accurate. Each class has its cliques. |
| 23255 | It is essential for democracy that voting is free and well informed [Grayling] |
| Full Idea: A necessary condition for democracy to be realised is that the act of voting should be free and informed. | |
| From: A.C. Grayling (The Good State [2020], p.25) | |
| A reaction: The requirement that voters should be well informed has become an increasing modern problem, because the media are owned by the wealthy, and false rumours can spread at lightning speed. |
| 23254 | Democracies should require a supermajority for major questions [Grayling] |
| Full Idea: A threshhold or supermajority bar (such as 60%) is the appropriate way to deal with highly consequential questions. | |
| From: A.C. Grayling (The Good State [2020], p.23) | |
| A reaction: This seems to be a very conservative view, because rejection of a major change is a decision in favour of the status quo. Would this rule apply equally to abolishing capital punishment and to reintroducing it? |
| 23260 | A cap on time of service would restrict party control and career ambitions [Grayling] |
| Full Idea: A method by which legislators can be rendered independent of both party control and career ambitions is a cap on the amount of time they can serve as legislators. | |
| From: A.C. Grayling (The Good State [2020], 4) | |
| A reaction: The time of service must allow for learning the job, and then using the wisdom of experience. Presumably some career ambitions are needed if we are to have leaders. Not all party discipline is bad; great achievements are hard without it. |
| 23253 | Majority decisions are only acceptable if the minority interests are not vital [Grayling] |
| Full Idea: A majority being in favour of some course of action is the acceptable means of reaching decisions when no vital interest of a minority is endangered. | |
| From: A.C. Grayling (The Good State [2020], 1) | |
| A reaction: This is generally accepted in extreme cases, such as the majority voting to exterminate the minority. The difficulty is to decide what is a 'vital' interest, and to get the majority to care about it. |
| 23256 | Liberty and equality cannot be reconciled [Grayling] |
| Full Idea: Liberty and equality appear to be irresolvable contradictions. | |
| From: A.C. Grayling (The Good State [2020], 2) | |
| A reaction: [He particularly cites Isaiah Berlin for this view] Hm. The liberty of one is the liberty of all. I don't think I would feel that my liberty was unreasonably infringed if I lived in a society of imposed equality. The greedy hate equality the most. |
| 23258 | The very concept of democracy entails a need for justice [Grayling] |
| Full Idea: The concept of democracy - embodying the principles of participation and equal concern - entails that social justice is a mandatory aim. | |
| From: A.C. Grayling (The Good State [2020], 2) | |
| A reaction: The idea that democracy entails participation in any direct way is what the right wing reject. Sustained participation would presumably entail various sorts of justice. |
| 23259 | There should be separate legislative, executive and judicial institutions [Grayling] |
| Full Idea: The obvious solution is where the legislative, executive and judicial powers are exercised by different institutions, distinguished by function. The executive is answerable to the legislative, and the judicial is controlled by neither. | |
| From: A.C. Grayling (The Good State [2020], 3) | |
| A reaction: Separation by institution, rather than merely by separate individuals exercising the powers. I agree (with Popper etc) that institutions are the way to secure long-term success and justice. Grayling says the judiciary must not paralyse government. |
| 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) |