26 ideas
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [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] |
17465 | Lavoisier's elements included four types of earth [Weisberg/Needham/Hendry] |
21236 | Instead of gravitational force, we now have a pervasive gravitational field [Farmelo] |
21235 | The Schrödinger waves are just the maths of transforming energy values to positions [Farmelo] |
21234 | Experiments show that fundamental particles of one type are identical [Farmelo] |
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] |