11 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] |
22868 | The value and truth of knowledge are measured by success in activity [Dewey] |
22865 | Habits constitute the self [Dewey] |
6029 | Whoever knows future causes knows everything that will be [Cicero] |
22871 | The good people are those who improve; the bad are those who deteriorate [Dewey] |
22876 | Democracy is the development of human nature when it shares in the running of communal activities [Dewey] |
22875 | Democracy is not just a form of government; it is a mode of shared living [Dewey] |
22874 | Individuality is only developed within groups [Dewey] |