Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'Farewell to Reality: fairytale physics' and 'Problems in Personal Identity'

expand these ideas     |    start again     |     specify just one area for these texts

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

3299	In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie]

27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields

21730

A 'field' is a property with a magnitude, distributed across all of space and time [Baggott]

21731

Fields can be 'scalar', or 'vector', or 'tensor', or 'spinor' [Baggott]

27. Natural Reality / B. Modern Physics / 4. Standard Model / b. Standard model

21732

The current standard model requires 61 particles [Baggott]