6 ideas
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20646 | Helmholtz used 'energy' to mathematically link heat, light, electricity and magnetism [Helmholtz, by Watson] |
20973 | All forces conserve the sum of kinetic and potential energy [Helmholtz, by Papineau] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |