40 ideas
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 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] |