Combining Texts

All the ideas for 'Later Letters to Dedekind', 'On the Principles of Indiscernibles' and 'Two treatises'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]
     Full Idea: Cantor gives informal versions of the axioms of ZF as ways of getting from one set to another.
     From: report of George Cantor (Later Letters to Dedekind [1899]) by John Lake - Approaches to Set Theory 1.6
     A reaction: Lake suggests that it should therefore be called CZF.
9. Objects / C. Structure of Objects / 4. Quantity of an Object
Quantity is the capacity to be divided [Digby]
     Full Idea: Quantity …is divisibility, or a capacity to be divided into parts.
     From: Kenelm Digby (Two treatises [1644], I.2.8), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 04.1
     A reaction: 'Quantity' is scholastic philosophy is a concept we no longer possess. Without quantity, a thing might potentially exist at a spaceless point. Quantity is what spreads things out. See Pasnau Ch. 4.
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / b. Corpuscles
Colours arise from the rarity, density and mixture of matter [Digby]
     Full Idea: The origin of all colours in bodies is plainly deduced out of the various degrees of rarity and density, variously mixed and compounded.
     From: Kenelm Digby (Two treatises [1644], I.29.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.5
     A reaction: We are still struggling with this question, though I think the picture is gradually become clear, once you get the hang of the brain. Easy! See Idea 17396.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
The concept of an existing thing must contain more than the concept of a non-existing thing [Leibniz]
     Full Idea: There must be more in the concept of a thing which exists than in that of one which does not exist.
     From: Gottfried Leibniz (On the Principles of Indiscernibles [1696], p.134)