Combining Texts

All the ideas for 'The Sign of Four', 'An Axiomatization of Set Theory' and 'Panpsychism'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
     Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong.
     From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
All the axioms for mathematics presuppose set theory [Neumann]
     Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory.
     From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2
     A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this.
8. Modes of Existence / B. Properties / 7. Emergent Properties
Emergent properties appear at high levels of complexity, but aren't explainable by the lower levels [Nagel]
     Full Idea: The supposition that a diamond or organism should truly have emergent properties is that they appear at certain complex levels of organisation, but are not explainable (even in principle) in terms of any more fundamental properties of the system.
     From: Thomas Nagel (Panpsychism [1979], p.186)
14. Science / C. Induction / 1. Induction
If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle]
     Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth.
     From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6)
     A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible.
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
Given the nature of heat and of water, it is literally impossible for water not to boil at the right heat [Nagel]
     Full Idea: Given what heat is and what water is, it is literally impossible for water to be heated beyond a certain point at normal atmospheric pressure without boiling.
     From: Thomas Nagel (Panpsychism [1979], p.186)