14 ideas
| 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) |
| 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) |
| 18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
| Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
| From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
| 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] |
| 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) |
| 20937 | The state should produce higher civilisations for all, in tune with the economic apparatus [Gramsci] |
| Full Idea: The role of the State is always that of creating new and higher types of civilisation; of adapting the 'civilisation' and the morality of the broades popular masses to the necessities of the continuous development of the economic apparatus of production. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Collective') | |
| A reaction: This makes education virtually the prime role of the state. Reminiscent of Sir John Reith's original dream, in the 1930s, for the BBC. Many marxists feel that the economy is in direct conflict with morality and civilisation. |
| 20935 | Eventually political parties lose touch with the class they represent, which is dangerous [Gramsci] |
| Full Idea: At a certain point in their lives, social classes become detached from their traditional parties. In that particular form ...the parties are no longer recognised by their class as its exopression. ...The field is then open for violent solutions. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Parties') | |
| A reaction: Left wing parties pursue ideologies that don't connect with the actual current interests of the working class, and righ wing parties are taken over by rich elites who don't value safe traditonal communities. (This thought is resonant in the 2018 UK). |
| 20936 | Caesarism emerges when two forces in society are paralysed in conflict [Gramsci] |
| Full Idea: Caesarism (as the emergence of a 'heroic' personality) expresses a situation in which the forces in conflict balance each other in a catastrophic manner ...which can only terminate in their reciprocal destruction. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Caesarism') | |
| A reaction: He goes on to distinguish progressive and reactionary versions of Caesarism. Gramsci's interest is in the circumstances that throw up such people. Marx had identified 'Bonapartism'. |
| 20941 | Totalitarian parties cut their members off from other cultural organisations [Gramsci] |
| Full Idea: A totalitarian party ensures that members find in that particular party all the satisfactions that they formerly found in a multiplicity of organisations. They break the threads that bind them to extraneous cultural organisms. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Organisation') | |
| A reaction: British parties traditionally had a 'club house', where you could do most of your socialising. Presumably Nazis left the church, and various interest groups. |
| 20939 | What is the function of a parliament? Does it even constitute a part of the State structure? [Gramsci] |
| Full Idea: The question has to be asked: do parliaments, even in fact constitute a part of the State structure? In other words, what is the real function? | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Parliament') | |
| A reaction: Nice question. In the UK it is only the cabinet which has active power. Backbench MPs are usually very frustrated, especially if their party has a comfortable majority, and their vote is not precious. They are privileged lobbyists. |
| 20938 | Liberalism's weakness is its powerful rigid bureaucracy [Gramsci] |
| Full Idea: Liberalism's weakness is the bureacracy - the crystallisation of the leading personnel - which exercises power, and at a certain point it becomes a caste. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'Hegemony') | |
| A reaction: This sounds more like what is called 'the Establishment' in Britain, which is the hidden controllers of power, rather than the administrators (whose role is only despised by right-wingers). |
| 20940 | Perfect political equality requires economic equality [Gramsci] |
| Full Idea: The idea that complete and perfect political equality cannot exist without economic equality ...remains correct. | |
| From: Antonio Gramsci (Selections from Prison Notebooks [1971], 2 'The State') | |
| A reaction: In the west we are living in a period (2018) when the top 0.1% of the wealthy are racing away, creating huge inequality. Their wealth controls the media, and it seems unrestrainable. The belief that we live in a 'democracy' is an illusion. |