14 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] |
15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
15087 | Conceptual necessities are made true by all concepts [Hale] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |