9 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] |
23647 | Objects have an essential constitution, producing its qualities, which we are too ignorant to define [Reid] |
11958 | Impossibilites are easily conceived in mathematics and geometry [Reid, by Molnar] |
16861 | A false theory could hardly rival the explanatory power of natural selection [Darwin] |
23646 | Reference is by name, or a term-plus-circumstance, or ostensively, or by description [Reid] |
23645 | A word's meaning is the thing conceived, as fixed by linguistic experts [Reid] |