Combining Texts

All the ideas for 'Completeness of Axioms of Logic', 'Free Will as Involving Determinism' and 'Letters to Bentley'

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


10 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
We can talk of 'innumerable number', about the infinite points on a line [Newton]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Not all infinites are equal [Newton]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
Determinism threatens free will if actions can be causally traced to external factors [Foot]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
Not all actions need motives, but it is irrational to perform troublesome actions with no motive [Foot]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
People can act out of vanity without being vain, or even vain about this kind of thing [Foot]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
The principles of my treatise are designed to fit with a belief in God [Newton]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
I do not pretend to know the cause of gravity [Newton]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
The motions of the planets could only derive from an intelligent agent [Newton]
That gravity should be innate and essential to matter is absurd [Newton]