31 ideas
12801 | Coherentists seek relations among beliefs that are simple, conservative and explanatory [Foley] |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
12800 | Externalists want to understand knowledge, Internalists want to understand justification [Foley] |
12802 | We aren't directly pragmatic about belief, but pragmatic about the deliberation which precedes it [Foley] |
12803 | Justification comes from acceptable procedures, given practical constraints [Foley] |
21181 | Relativity and Quantum theory give very different accounts of forces [Hesketh] |
21183 | Thermodynamics introduced work and entropy, to understand steam engine efficiency [Hesketh] |
21199 | Spinning electric charge produces magnetism, so all fermions are magnets [Hesketh] |
21191 | Photons are B and W° bosons, linked by the Higgs mechanism [Hesketh] |
21189 | Electrons may have smaller components, bound by a new force [Hesketh] |
21180 | Electrons are fundamental and are not made of anything; they are properties without size [Hesketh] |
21182 | Quantum mechanics is our only theory, and is very precise, and repeatedly confirmed [Hesketh] |
21184 | Physics was rewritten to explain stable electron orbits [Hesketh] |
21187 | Virtual particles can't be measured, and can ignore the laws of physics [Hesketh] |
21185 | Colour charge is positive or negative, and also has red, green or blue direction [Hesketh] |
21194 | The Standard Model omits gravity, because there are no particles involved [Hesketh] |
21195 | In Supersymmetry the Standard Model simplifies at high energies [Hesketh] |
21197 | Standard Model forces are one- two- and three-dimensional [Hesketh] |
21188 | Quarks and leptons have a weak charge, for the weak force [Hesketh] |
21186 | Quarks rush wildly around in protons, restrained by the gluons [Hesketh] |
21192 | Neutrinos only interact with the weak force, but decays produce them in huge numbers [Hesketh] |
21196 | To combine the forces, they must all be the same strength at some point [Hesketh] |
21190 | 'Space' in physics just means location [Hesketh] |
21193 | The universe is 68% dark energy, 27% dark matter, 5% regular matter [Hesketh] |
21198 | If a cosmic theory relies a great deal on fine-tuning basic values, it is probably wrong [Hesketh] |