10 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] |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
7257 | All modern social systems seem to be conspiracies of the rich [More,T] |
7254 | If you try to get elected, you should be permanently barred from seeking office [More,T] |
7255 | Only Utopians fail to see glory in warfare [More,T] |
7253 | In Utopia, legal euthanasia is considered honourable [More,T] |
7256 | In Utopia, the Supreme Being is identical with Nature [More,T] |