9 ideas
16676 | Why use more things when fewer will do? [William of Ockham] |
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] |
22076 | Being is only perceptible to itself as becoming [Schelling] |
22074 | We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling] |
22075 | Only idealism has given us the genuine concept of freedom [Schelling] |
16675 | Every extended material substance is composed of parts distant from one another [William of Ockham] |