29 ideas
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| 17536 | If it can't be expressed mathematically, it can't occur in nature? [Heisenberg] |
| 17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
| 17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
| 17545 | Quantum theory shows that exact science does not need dogmatic realism [Heisenberg] |
| 17538 | Quantum theory does not introduce minds into atomic events [Heisenberg] |
| 17534 | A 'probability wave' is a quantitative version of Aristotle's potential, a mid-way type of reality [Heisenberg] |
| 17553 | We can retain the idea of 'substance', as indestructible mass or energy [Heisenberg] |
| 17544 | Basic particles have a mathematical form, which is more important than their substance [Heisenberg] |
| 17550 | We give a mathematical account of a system of natural connections in order to clarify them [Heisenberg] |
| 17549 | Seven theories in science: mechanics, heat, electricity, quantum, particles, relativity, life [Heisenberg, by PG] |
| 17540 | Energy is that which moves, and is the substance from which everything is made [Heisenberg] |
| 17541 | Energy is an unchanging substance, having many forms, and causing all change [Heisenberg] |
| 17548 | Maxwell introduced real fields, which transferred forces from point to point [Heisenberg] |
| 17533 | Radiation interference needs waves, but radiation photoelectric effects needs particles [Heisenberg] |
| 17532 | An atom's stability after collisions needs explaining (which Newton's mechanics can't do) [Heisenberg] |
| 17537 | Position is complementary to velocity or momentum, so the whole system is indeterminate [Heisenberg] |
| 17551 | It was formerly assumed that electromagnetic waves could not be a reality in themselves [Heisenberg] |
| 17543 | So-called 'empty' space is the carrier of geometry and kinematics [Heisenberg] |
| 17552 | In relativity the length of the 'present moment' is relative to distance from the observer [Heisenberg] |