16 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] |
17471 | Using mechanisms as explanatory schemes began in chemistry [Weisberg/Needham/Hendry] |
17472 | Thick mechanisms map whole reactions, and thin mechanism chart the steps [Weisberg/Needham/Hendry] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
17465 | Lavoisier's elements included four types of earth [Weisberg/Needham/Hendry] |
17468 | Over 100,000,000 compounds have been discovered or synthesised [Weisberg/Needham/Hendry] |
17470 | Water molecules dissociate, and form large polymers, explaining its properties [Weisberg/Needham/Hendry] |
17473 | It is unlikely that chemistry will ever be reduced to physics [Weisberg/Needham/Hendry] |
17474 | Quantum theory won't tell us which structure a set of atoms will form [Weisberg/Needham/Hendry] |
17475 | For temperature to be mean kinetic energy, a state of equilibrium is also required [Weisberg/Needham/Hendry] |
17469 | 'H2O' just gives the element proportions, not the microstructure [Weisberg/Needham/Hendry] |
17467 | Isotopes (such as those of hydrogen) can vary in their rates of chemical reaction [Weisberg/Needham/Hendry] |
17466 | Mendeleev systematised the elements, and also gave an account of their nature [Weisberg/Needham/Hendry] |