9 ideas
22752 | Reasoning is impossible without a preconception [Sext.Empiricus] |
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] |
22754 | Saying the good is useful or choiceworth or happiness-creating is not the good, but a feature of it [Sext.Empiricus] |
22755 | Like a warming fire, what is good by nature should be good for everyone [Sext.Empiricus] |
22756 | If a desire is itself desirable, then we shouldn't desire it, as achieving it destroys it [Sext.Empiricus] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |