17 ideas
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michčle Friend - Introducing the Philosophy of Mathematics 2.4 | |
| A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions. |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations | |
| A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject. |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4 |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10 |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl) | |
| A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass. |
| 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. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |