Combining Texts

All the ideas for 'fragments/reports', 'Letter to Menoeceus' and 'Mathematical logic and theory of types'

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

27 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
14052 Begin philosophy when you are young, and keep going when you are old [Epicurus]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
11064 Classes can be reduced to propositional functions [Russell, by Hanna]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
6407 The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10418 Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
10047 Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
23478 Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
21718 Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
18126 A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
18128 Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
18124 Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
16. Persons / F. Free Will / 6. Determinism / b. Fate
14062 Sooner follow mythology, than accept the 'fate' of natural philosophers [Epicurus]
16. Persons / F. Free Will / 7. Compatibilism
1837 We should not refer things to irresponsible necessity, but either to fortune or to our own will [Epicurus]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
1836 Prudence is more valuable than philosophy, because it avoids confusions of the soul [Epicurus]
20. Action / C. Motives for Action / 4. Responsibility for Actions
14061 Our own choices are autonomous, and the basis for praise and blame [Epicurus]
22. Metaethics / B. Value / 2. Values / e. Death
14054 Fearing death is absurd, because we are not present when it occurs [Epicurus]
14053 It is absurd to fear the pain of death when you are not even facing it [Epicurus]
14055 The wisdom that produces a good life also produces a good death [Epicurus]
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
14057 All pleasures are good, but it is not always right to choose them [Epicurus]
14058 Pleasure is the goal, but as lack of pain and calm mind, not as depraved or greedy pleasure [Epicurus]
1833 Pleasure is the first good in life [Epicurus]
22. Metaethics / C. The Good / 1. Goodness / i. Moral luck
14063 Sooner a good decision going wrong, than a bad one turning out for the good [Epicurus]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
14059 The best life is not sensuality, but rational choice and healthy opinion [Epicurus]
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
1835 True pleasure is not debauchery, but freedom from physical and mental pain [Epicurus]
22. Metaethics / C. The Good / 3. Pleasure / c. Value of pleasure
14056 We only need pleasure when we have the pain of desire [Epicurus]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / b. Basis of virtue
14060 Prudence is the greatest good, and more valuable than philosophy, because it produces virtue [Epicurus]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]