Combining Texts

All the ideas for 'works', 'Theories of Everything' and 'Modal Logic'

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

26 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
14970 Normal system K has five axioms and rules [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
14971 D is valid on every serial frame, but not where there are dead ends [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
14972 S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14973 In S5 all the long complex modalities reduce to just three, and their negations [Cresswell]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
14976 Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
13007 Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
14974 A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
10. Modality / A. Necessity / 4. De re / De dicto modality
14975 A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / b. Heat
20624 Work degrades into heat, but not vice versa [Close]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / c. Conservation of energy
20623 First Law: energy can change form, but is conserved overall [Close]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / d. Entropy
20625 Third Law: total order and minimum entropy only occurs at absolute zero [Close]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
20622 All motions are relative and ambiguous, but acceleration is the same in all inertial frames [Close]
20628 The electric and magnetic are tightly linked, and viewed according to your own motion [Close]
27. Natural Reality / B. Modern Physics / 1. Relativity / b. General relativity
20635 The general relativity equations relate curvature in space-time to density of energy-momentum [Close]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / a. Electrodynamics
20642 Photon exchange drives the electro-magnetic force [Close]
20627 Electric fields have four basic laws (two by Gauss, one by Ampère, one by Faraday) [Close]
20630 Light isn't just emitted in quanta called photons - light is photons [Close]
20637 In general relativity the energy and momentum of photons subjects them to gravity [Close]
20629 Electro-magnetic waves travel at light speed - so light is electromagnetism! [Close]
20632 In QED, electro-magnetism exists in quantum states, emitting and absorbing electrons [Close]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
20639 Quantum fields contain continual rapid creation and disappearance [Close]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
20641 Electrons get their mass by interaction with the Higgs field [Close]
20631 Dirac showed how electrons conform to special relativity [Close]
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
20626 Modern theories of matter are grounded in heat, work and energy [Close]
27. Natural Reality / B. Modern Physics / 5. Unified Models / a. Electro-weak unity
20633 The Higgs field is an electroweak plasma - but we don't know what stuff it consists of [Close]
27. Natural Reality / C. Space / 6. Space-Time
20640 Space-time is indeterminate foam over short distances [Close]