21 ideas
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| Full Idea: Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], n 13) |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| Full Idea: In the superior realist and simple theory of types, the place of the axiom of reducibility is not taken by the axiom of classes, Zermelo's Aussonderungsaxiom. | |
| From: report of Kurt Gödel (Russell's Mathematical Logic [1944], p.140-1) by Bernard Linsky - Russell's Metaphysical Logic 6.1 n3 | |
| A reaction: This is Zermelo's Axiom of Separation, but that too is not an axiom of standard ZFC. |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| Full Idea: 'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.447) | |
| A reaction: He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes. |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| Full Idea: One may, on good grounds, deny that reference to a totality necessarily implies reference to all single elements of it or, in other words, that 'all' means the same as an infinite logical conjunction. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.455) |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448) | |
| A reaction: [compressed] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
| Full Idea: The generalized Continuum Hypothesis says that there exists no cardinal number between the power of any arbitrary set and the power of the set of its subsets. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| Full Idea: It has turned out that the solution of certain arithmetical problems requires the use of assumptions essentially transcending arithmetic. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.449) | |
| A reaction: A nice statement of the famous result, from the great man himself, in the plainest possible English. |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| Full Idea: Classes and concepts may be conceived of as real objects, ..and are as necessary to obtain a satisfactory system of mathematics as physical bodies are necessary for a satisfactory theory of our sense perceptions, with neither case being about 'data'. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.456) | |
| A reaction: Note that while he thinks real objects are essential for mathematics, be may not be claiming the same thing for our knowledge of logic. If logic contains no objects, then how could mathematics be reduced to it, as in logicism? |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| Full Idea: Impredicative definitions are admitted into ordinary mathematics. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) | |
| A reaction: The issue is at what point in building an account of the foundations of mathematics (if there be such, see Putnam) these impure definitions should be ruled out. |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| Full Idea: If you define qualia as intrinsic properties of experiences considered in isolation from all their causes and effects, logically independent of all dispositional properties, then they are logically guaranteed to elude all broad functional analysis. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.8) | |
| A reaction: This is a good point - it seems daft to reify qualia and imagine them dangling in mid-air with all their vibrant qualities - but that is a long way from saying there is nothing more to qualia than functional roles. Functions must be exlained too. |
| 7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
| Full Idea: All the work done by the imagined homunculus in the Cartesian Theater must be distributed among various lesser agencies in the brain, none of which is conscious. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
| A reaction: Dennett's account crucially depends on consciousness being much more fragmentary than most philosophers claim it to be. It is actually full of joints, which can come apart. He may be right. |
| 7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
| Full Idea: As long as your homunculi are more stupid and ignorant than the intelligent agent they compose, the nesting of homunculi within homunculi can be finite, bottoming out, eventually, with agents so unimpressive they can be replaced by machines. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.6) | |
| A reaction: [Dennett first proposed this in 'Brainstorms' 1978]. This view was developed well by Lycan. I rate it as one of the most illuminating ideas in the modern philosophy of mind. All complex systems (like aeroplanes) have this structure. |
| 7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
| Full Idea: I don't maintain, of course, that human consciousness does not exist; I maintain that it is not what people often think it is. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.3) | |
| A reaction: I consider Dennett to be as near as you can get to an eliminativist, but he is not stupid. As far as I can see, the modern philosopher's bogey-man, the true total eliminativist, simply doesn't exist. Eliminativists usually deny propositional attitudes. |
| 7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
| Full Idea: Neuro-science matters because - and only because - we have discovered that the many different neuromodulators and other chemical messengers that diffuse throughout the brain have functional roles that make important differences. | |
| From: Daniel C. Dennett (Sweet Dreams [2005], Ch.1) | |
| A reaction: I agree with Dennett that this is the true ground for pessimism about spectacular breakthroughs in artificial intelligence, rather than abstract concerns about irreducible features of the mind like 'qualia' and 'rationality'. |
| 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. |