Combining Texts

All the ideas for 'works (all lost)', 'Individuals without Sortals' and 'What are Sets and What are they For?'

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

31 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
1749 If all laws were abolished, philosophers would still live as they do now [Aristippus elder]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
14240 The empty set is something, not nothing! [Oliver/Smiley]
14239 The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
14241 We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
14242 Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
14243 The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
14234 If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
14237 We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
14245 Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / d. Counting via concepts
17518 Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers]
17516 If counting needs a sortal, what of things which fall under two sortals? [Ayers]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
14246 If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
14247 Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
17520 Events do not have natural boundaries, and we have to set them [Ayers]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
17519 To express borderline cases of objects, you need the concept of an 'object' [Ayers]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
17510 Speakers need the very general category of a thing, if they are to think about it [Ayers]
17522 We use sortals to classify physical objects by the nature and origin of their unity [Ayers]
17515 Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers]
17511 Recognising continuity is separate from sortals, and must precede their use [Ayers]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
17517 Could the same matter have more than one form or principle of unity? [Ayers]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
17513 If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers]
9. Objects / D. Essence of Objects / 5. Essence as Kind
17523 Sortals basically apply to individuals [Ayers]
9. Objects / E. Objects over Time / 5. Temporal Parts
17521 You can't have the concept of a 'stage' if you lack the concept of an object [Ayers]
17514 Temporal 'parts' cannot be separated or rearranged [Ayers]
9. Objects / F. Identity among Objects / 1. Concept of Identity
17509 Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers]
9. Objects / F. Identity among Objects / 3. Relative Identity
17512 If diachronic identities need covering concepts, why not synchronic identities too? [Ayers]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / h. Against ethics
3558 Only the Cyrenaics reject the idea of a final moral end [Aristippus elder, by Annas]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
5835 The road of freedom is the surest route to happiness [Aristippus elder, by Xenophon]
23. Ethics / A. Egoism / 3. Cyrenaic School
1751 Pleasure is the good, because we always seek it, it satisfies us, and its opposite is the most avoidable thing [Aristippus elder, by Diog. Laertius]
3018 People who object to extravagant pleasures just love money [Aristippus elder, by Diog. Laertius]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
1755 Errors result from external influence, and should be corrected, not hated [Aristippus elder, by Diog. Laertius]