Combining Texts

All the ideas for 'Leibniz: Guide for the Perplexed', 'Axiomatic Theories of Truth (2005 ver)' and 'Particle Physics'

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

25 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
15647 Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
15649 In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
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]
15648 Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
15656 Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15657 To prove the consistency of set theory, we must go beyond set theory [Halbach]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
15652 We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
15651 Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
19347 Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
21202 The strong force has a considerably greater range than the weak force [Martin,BR]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / c. Conservation of energy
21211 If an expected reaction does not occur, that implies a conservation law [Martin,BR]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / a. Electrodynamics
21209 Electron emit and reabsorb photons, which create and reabsorb virtual electrons and positrons [Martin,BR]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
21201 A 'field' is just a region to which points can be assigned in space and time [Martin,BR]
21212 The Higgs field, unlike others, has a nozero value in a state without particles [Martin,BR]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
21205 Many physicists believe particles have further structure, if only we could see it [Martin,BR]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
21203 Uncertainty allows very brief violations of energy conservation - even shorter with higher energies [Martin,BR]
21207 The Exclusion Principle says no two fermions occupy the same state, with the same numbers [Martin,BR]
27. Natural Reality / B. Modern Physics / 4. Standard Model / b. Standard model
21204 The standard model combines theories of strong interaction, and electromagnetic and weak interaction [Martin,BR]
27. Natural Reality / B. Modern Physics / 4. Standard Model / c. Particle properties
21208 Eletrons don't literally 'spin', because they are point-like [Martin,BR]
21210 Virtual particles surround any charged particle [Martin,BR]
21206 The properties of a particle are determined by its quantum numbers and its mass [Martin,BR]
27. Natural Reality / B. Modern Physics / 5. Unified Models / b. String theory
21213 String theory only has one free parameter (tension) - unlike the standard model with 19 [Martin,BR]
27. Natural Reality / F. Chemistry / 2. Modern Elements
21200 An 'element' is what cannot be decomposed by chemistry [Martin,BR]