Combining Texts

All the ideas for 'New Foundations for Mathematical Logic', 'Remarks on the forces of inorganic Nature' and 'The Philosophy of Leibniz'

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


3 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
All philosophy should begin with an analysis of propositions [Russell]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
27. Natural Reality / A. Classical Physics / 1. Mechanics / d. Gravity
Gravity isn't a force, because it produces effects without diminishing [Mayer]