13 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
24162 | Planck introduced the idea that energy can be quantized [Baggott] |
21731 | Fields can be 'scalar', or 'vector', or 'tensor', or 'spinor' [Baggott] |
21730 | A 'field' is a property with a magnitude, distributed across all of space and time [Baggott] |
24163 | Free electrons have clouds of virtual particles, arising from field interaction [Baggott] |
24161 | Thermodynamics sees nature as a continuous flow of energy, as radiation and as substance [Baggott] |
21732 | The current standard model requires 61 particles [Baggott] |
24160 | Particle measurements don't seem to reflect their reality [Baggott] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |