12 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets. |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2 | |
| A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy. |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'. | |
| From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
| A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro). |
| 15312 | We get the idea of power by abstracting from ropes, magnets and electric shocks [Priestley] |
| Full Idea: A rope sustains weight, a magnet attracts iron, a charged electrical jar gives a shock, and from these and other similar observations, we get the idea of power, universally and abstractly considered. | |
| From: Joseph Priestley (Theological and other works [1790], p.191), quoted by Harré,R./Madden,E.H. - Causal Powers 9.II.B | |
| A reaction: I agree with this, in that we appear to be observing powers directly, and are not observing something which can then be reduced to non-powers. Nature just can't be a set of inert structures, with forces 'imposed' on them. |
| 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. |
| 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. |
| 15311 | Attraction or repulsion are not imparted to matter, but actually constitute it [Priestley] |
| Full Idea: Attraction or repulsion appear to me not to be properly what is imparted to matter, but what really makes it what it is, in so much that, without it, it would be nothing at all. | |
| From: Joseph Priestley (Theological and other works [1790], p.237), quoted by Harré,R./Madden,E.H. - Causal Powers 9.II.B | |
| A reaction: This is music to the ears of anyone who thinks that powers are the fundamentals of nature (like me). |