18 ideas
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |
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] |