Combining Philosophers

All the ideas for Anaxarchus, Gavin Hesketh and Ernst Zermelo

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


42 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo]
Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg]
Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy]
Set theory can be reduced to a few definitions and seven independent axioms [Zermelo]
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]
Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]
5. Theory of Logic / L. Paradox / 3. Antinomies
The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / e. Countable infinity
Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
We should judge principles by the science, not science by some fixed principles [Zermelo]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
Relativity and Quantum theory give very different accounts of forces [Hesketh]
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / a. Energy
Thermodynamics introduced work and entropy, to understand steam engine efficiency [Hesketh]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / a. Electrodynamics
Photons are B and W° bosons, linked by the Higgs mechanism [Hesketh]
Spinning electric charge produces magnetism, so all fermions are magnets [Hesketh]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
Electrons may have smaller components, bound by a new force [Hesketh]
Electrons are fundamental and are not made of anything; they are properties without size [Hesketh]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
Quantum mechanics is our only theory, and is very precise, and repeatedly confirmed [Hesketh]
Physics was rewritten to explain stable electron orbits [Hesketh]
Virtual particles can't be measured, and can ignore the laws of physics [Hesketh]
27. Natural Reality / B. Modern Physics / 3. Chromodynamics / a. Chromodynamics
Colour charge is positive or negative, and also has red, green or blue direction [Hesketh]
27. Natural Reality / B. Modern Physics / 4. Standard Model / b. Standard model
The Standard Model omits gravity, because there are no particles involved [Hesketh]
In Supersymmetry the Standard Model simplifies at high energies [Hesketh]
Standard Model forces are one- two- and three-dimensional [Hesketh]
27. Natural Reality / B. Modern Physics / 4. Standard Model / c. Particle properties
Quarks and leptons have a weak charge, for the weak force [Hesketh]
27. Natural Reality / B. Modern Physics / 4. Standard Model / e. Protons
Quarks rush wildly around in protons, restrained by the gluons [Hesketh]
27. Natural Reality / B. Modern Physics / 4. Standard Model / f. Neutrinos
Neutrinos only interact with the weak force, but decays produce them in huge numbers [Hesketh]
27. Natural Reality / B. Modern Physics / 5. Unified Models / c. Supersymmetry
To combine the forces, they must all be the same strength at some point [Hesketh]
27. Natural Reality / C. Space / 5. Relational Space
'Space' in physics just means location [Hesketh]
27. Natural Reality / E. Cosmology / 8. Dark Matter
The universe is 68% dark energy, 27% dark matter, 5% regular matter [Hesketh]
27. Natural Reality / E. Cosmology / 9. Fine-Tuned Universe
If a cosmic theory relies a great deal on fine-tuning basic values, it is probably wrong [Hesketh]