Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'Set Theory and Its Philosophy' and 'An Outline of Philosophy'

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

35 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
10702 Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
10713 Usually the only reason given for accepting the empty set is convenience [Potter]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13044 Infinity: There is at least one limit level [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
10708 Nowadays we derive our conception of collections from the dependence between them [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
13546 The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10707 Mereology elides the distinction between the cards in a pack and the suits [Potter]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10704 We can formalize second-order formation rules, but not inference rules [Potter]
5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions
10703 Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
10712 If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
17882 It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter]
8. Modes of Existence / A. Relations / 1. Nature of Relations
13076 Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
13043 A relation is a set consisting entirely of ordered pairs [Potter]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
13102 If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne]
13103 Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
13104 Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
13100 Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
13042 If dependence is well-founded, with no infinite backward chains, this implies substances [Potter]
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
13068 We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
13069 The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
13041 Collections have fixed members, but fusions can be carved in innumerable ways [Potter]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
13072 Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne]
17080 Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne]
9. Objects / E. Objects over Time / 12. Origin as Essential
13101 Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne]
10. Modality / A. Necessity / 1. Types of Modality
10709 Priority is a modality, arising from collections and members [Potter]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
13081 Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
13071 We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
21740 I doubt whether ethics is part of philosophy [Russell]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
21741 'You ought to do p' primarily has emotional content, expressing approval [Russell]
22. Metaethics / B. Value / 2. Values / g. Love
21746 Unlike hate, all desires can be satisfied by love [Russell]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
21747 Goodness is a combination of love and knowledge [Russell]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
21743 In wartime, happiness is hating the enemy, because it gives the war a purpose [Russell]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / b. Basis of virtue
21742 Originally virtue was obedience, to gods, government, or custom [Russell]
23. Ethics / D. Deontological Ethics / 4. Categorical Imperative
21745 Act so as to produce harmonious rather than discordant desires [Russell]
25. Social Practice / D. Justice / 3. Punishment / d. Reform of offenders
21744 Legally curbing people's desires is inferior to improving their desires [Russell]
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
22891 We could be aware of time if senses briefly vibrated, extending their experience of movement [Russell, by Bardon]