13 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] |
| 3626 | Knowing the attributes is enough to reveal a substance [Descartes] |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| 3630 | Our thinking about external things doesn't disprove the existence of innate ideas [Descartes] |
| 3631 | A blind man may still contain the idea of colour [Descartes] |
| 3640 | Possible existence is a perfection in the idea of a triangle [Descartes] |
| 3639 | Necessary existence is a property which is uniquely part of God's essence [Descartes] |