11 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). |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 3785 | You can't separate acts from the people performing them [Glover] |
| Full Idea: A mistake of consequentialists is to treat actions as though they can somehow be isolated from the people performing them. | |
| From: Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Five) | |
| A reaction: I agree. The weather produces consequences. Morality is about people. Crocodiles, for example, are exempt. |
| 3786 | Aggression in defence may be beneficial but morally corrupting [Glover] |
| Full Idea: Forming the intention to use nuclear retaliation if attacked may both be the best way to avoid the catastrophe of nuclear war and at the same time be morally corrupting. | |
| From: Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Five) | |
| A reaction: A famous moment in 2017 when Jeremy Corbyn refused to say he would be willing to use the weapons, if elected. It would be hard to sustain a determination to do it, and then reject it at the crucial moment. |
| 3784 | Duty prohibits some acts, whatever their consequences [Glover] |
| Full Idea: The deontological view is that some acts are absolutely prohibited, regardless of consequences. | |
| From: Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Five) |
| 3782 | Satisfaction of desires is not at all the same as achieving happiness [Glover, by PG] |
| Full Idea: Objections to utilitarianism as maximisation of preferences: faded past desires or the desires of the dead; obtaining desires and happiness are different; fewer desires are easier to satisfy; pain is good if it can be removed. | |
| From: report of Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Two) by PG - Db (ideas) |
| 3787 | Rule-utilitarianism is either act-utilitarianism, or not really utilitarian [Glover] |
| Full Idea: Rule-utilitarianism seems either to collapse into act-utilitarianism, or else it is only partly utilitarian. | |
| From: Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Six) |
| 3783 | How can utilitarianism decide the ideal population size? [Glover] |
| Full Idea: There are deep problems for utilitarianism in trying to work out what the ideal population size would be. | |
| From: Jonathan Glover (Introductions to Utilitarianism and its Critics [1990], Pt Four) |