15 ideas
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 13083 | The essence is the necessary properties, and the concept includes what is contingent [Leibniz] |
| 2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
| 2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
| 2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
| 2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
| 2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
| 2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
| 2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
| 2708 | An 'ought' statement implies universal application [Hare] |
| 2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
| 2710 | Moral judgements must invoke some sort of principle [Hare] |