10 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] |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
17402 | Mendeleev saw three principles in nature: matter, force and spirit (where the latter seems to be essence) [Mendeleev, by Scerri] |
17399 | Elements don't survive in compounds, but the 'substance' of the element does [Mendeleev] |
17400 | Mendeleev focused on abstract elements, not simple substances, so he got to their essence [Mendeleev, by Scerri] |
17401 | Mendeleev had a view of elements which allowed him to overlook some conflicting observations [Mendeleev] |