16 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
| Full Idea: Biologists don't split living things into a 'structural' level and an 'abstract' level; ..rather, they are organised at many levels, each level 'abstract' with respect to those beneath it, but 'structural' as it realises those levels above it. | |
| From: William Lycan (Introduction - Ontology [1999], p.9) | |
| A reaction: This is a very helpful distinction. Compare Idea 4601. It seems to fit well with the 'homuncular' picture of a hierarchical mind, and explains why there are so many levels of description available for mental life. |
| 5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
| Full Idea: There is such a thing as synthetic and a posteriori identity that is nonetheless genuine identity, as in lightning being electrical discharge, and the Morning Star being Venus. | |
| From: William Lycan (Introduction - Ontology [1999], p.5) | |
| A reaction: It is important to note that although these identities are synthetic a posteriori, that doesn't make them contingent. The early identity theorists like Smart seemed to think that it did. Kripke must be right that they are necessary identities. |
| 22868 | The value and truth of knowledge are measured by success in activity [Dewey] |
| Full Idea: What measures knowledge's value, its correctness and truth, is the degree of its availability for conducting to a successful issue the activities of living beings. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 4:180), quoted by David Hildebrand - Dewey 2 'Critique' | |
| A reaction: Note that this is the measure of truth, not the nature of truth (which James seemed to believe). Dewey gives us a clear and perfect statement of the pragmatic view of knowledge. I don't agree with it. |
| 22865 | Habits constitute the self [Dewey] |
| Full Idea: All habits are demands for certain kinds of activity; and they constitute the self. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 14:22), quoted by David Hildebrand - Dewey 1 'Acts' | |
| A reaction: Not an idea I have encountered elsewhere. He emphasises that habits are not repeated actions, but are dispositions. I'm not clear whether these habits must be conscious. |
| 5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
| Full Idea: Functionalism has three distinct levels of description: a neurophysiological description, a functional description (relative to a program which the brain is realising), and it may have a further mental description. | |
| From: William Lycan (Introduction - Ontology [1999], p.6) | |
| A reaction: I have always thought that the 'levels of description' idea was very helpful in describing the mind/brain. I feel certain that we are dealing with a single thing, so this is the only way we can account for the diverse ways in which we discuss it. |
| 5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
| Full Idea: Some theorists have said that the one-to-one correspondence between the organism and parts of its 'program' is too liberal, and suggest that the state and its functional role are seen teleologically, as functioning 'for' the organism. | |
| From: William Lycan (Introduction - Ontology [1999], p.9) | |
| A reaction: This seems an inevitable development, once the notion of a 'function' is considered. It has to be fitted into some sort of Aristotelian teleological picture, even if the functions are seen subjectively (by what?). Purpose is usually seen as evolutionary. |
| 22871 | The good people are those who improve; the bad are those who deteriorate [Dewey] |
| Full Idea: The bad man is the man who no matter how good he has been is beginning to deteriorate, to grow less good. The good man is the man who no matter how morally unworthy he has been is moving to become better. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:181), quoted by David Hildebrand - Dewey 3 'Reconstruct' | |
| A reaction: Although a slightly improving rat doesn't sound as good as a slightly deteriorating saint, I have some sympathy with this thought. The desire to improve seems to be right at the heart of what makes good character. |
| 22876 | Democracy is the development of human nature when it shares in the running of communal activities [Dewey] |
| Full Idea: Democracy is but a name for the fact that human nature is developed only when its elements take part in directing things which are common, things for the sake of which men and women form groups. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 12:199), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: It is hard to prove that human nature develops when it particpates in groups. If people are excluded from power, their loyalty tends to switch to sub-groups, such as friends in a pub, or a football team. Powerless nationalists baffle me. |
| 22875 | Democracy is not just a form of government; it is a mode of shared living [Dewey] |
| Full Idea: A democracy is more than a form of government; it is primarily a mode of associated living, of conjoint communicated experience | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 9:93), quoted by David Hildebrand - Dewey 4 'Democracy' | |
| A reaction: This precisely pinpoints the heart of the culture wars in 2021. A huge swathe of western populations believe in Dewey's idea, but a core of wealthy right-wingers and their servants only see democracy as the mechanism for obtaining power. |
| 22874 | Individuality is only developed within groups [Dewey] |
| Full Idea: Only in social groups does a person have a chance to develop individuality. | |
| From: John Dewey (The Middle Works (15 vols, ed Boydston) [1910], 15:176), quoted by David Hildebrand - Dewey 4 'Individuals' | |
| A reaction: This is a criticism of both Rawls and Nozick. Rawls's initial choosers don't consult, or have much social background. Nozick's property owners ignore everything except contracts. |
| 5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
| Full Idea: There is now a small but vigorous industry whose purpose is to explicate biological teleology in naturalistic terms, typically in terms of causes. | |
| From: William Lycan (Introduction - Ontology [1999], p.10) | |
| A reaction: This looks like a good strategy. In some sense, it seems clear that the moon has no purpose, but an eyeball has one. Via evolution, one would expect to reduce this to causation. Purposes are real (not subjective), but they are reducible. |