Combining Texts

All the ideas for 'works', 'Later Letters to Dedekind' and 'works'

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


3 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 / 8. Parts of Objects / a. Parts of objects
Class membership is not transitive, unlike being part of a part of the whole [Lesniewski, by George/Van Evra]
     Full Idea: Lesniewski distinguished the part-whole relationship from class membership. Membership is not transitive: if s is an element of t, and t of u, then s is not an element of u, whereas a part of a part is a part of the whole.
     From: report of Stanislaw Lesniewski (works [1916]) by George / Van Evra - The Rise of Modern Logic 7
     A reaction: If I am a member of a sports club, and my club is a member of the league, I am not thereby a member of the league (so clubs are classes, not wholes). This distinction is clearly fairly crucial in ontology.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle]
     Full Idea: Kierkegaard insisted that the most important aspect of a human being is not reason, but passion.
     From: report of Søren Kierkegaard (works [1845]) by Clare Carlisle - Kierkegaard: a guide for the perplexed Intro
     A reaction: Hume comes to mind for a similar view, but in character Hume was far more rational than Kierkegaard.