15 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] |
23429 | The environment needs localised politics, with its care for the land [Dobson] |
23424 | An ideology judges things now, and offers an ideal, with a strategy for reaching it [Dobson] |
23426 | Ecologism is often non-liberal, by claiming to know other people's best interests [Dobson] |
23427 | Socialism can be productive and centralised, or less productive and decentralised [Dobson] |
23428 | Difference feminists say women differ fundamentally from men [Dobson] |
23422 | For the environment, affluence and technology matter as much as population size [Dobson] |
23425 | Ecologism says growth must be reduced, and efficiency is not enough [Dobson] |
23430 | A million years is a proper unit of political time [Dobson] |
23423 | We currently value the present fourteen times more highly than the future [Dobson] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |