Combining Texts

All the ideas for 'Letters to Des Bosses', 'Reference and Essence: seven appendices' and 'Principles of Arithmetic, by a new method'

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

20 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
12780 We can grasp the wisdom of God a priori [Leibniz]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
13949 All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano]
18113 PA concerns any entities which satisfy the axioms [Peano, by Bostock]
17634 Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
15653 We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
17635 Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
12774 Without a substantial chain to link monads, they would just be coordinated dreams [Leibniz]
12777 Monads do not make a unity unless a substantial chain is added to them [Leibniz]
12782 Monads control nothing outside of themselves [Leibniz]
7. Existence / D. Theories of Reality / 10. Vagueness / g. Degrees of vagueness
14742 It can't be indeterminate whether x and y are identical; if x,y is indeterminate, then it isn't x,x [Salmon,N]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
12778 There is active and passive power in the substantial chain and in the essence of a composite [Leibniz]
12783 Primitive force is what gives a composite its reality [Leibniz]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
12775 Things seem to be unified if we see duration, position, interaction and connection [Leibniz]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
12776 Every substance is alive [Leibniz]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
12753 A substantial bond of powers is needed to unite composites, in addition to monads [Leibniz]
9. Objects / D. Essence of Objects / 12. Essential Parts
12781 A composite substance is a mere aggregate if its essence is just its parts [Leibniz]
10. Modality / B. Possibility / 1. Possibility
12779 There is a reason why not every possible thing exists [Leibniz]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
12785 Truth is mutually agreed perception [Leibniz]
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
18885 Kripke and Putnam made false claims that direct reference implies essentialism [Salmon,N]
28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles
12784 Allow no more miracles than are necessary [Leibniz]