Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Mathematical logic and theory of types' and 'Real Essentialism'

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


32 ideas

2. Reason / D. Definition / 5. Genus and Differentia
'Animal' is a genus and 'rational' is a specific difference [Oderberg]
Definition distinguishes one kind from another, and individuation picks out members of the kind [Oderberg]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
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
The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
The Aristotelian view is that numbers depend on (and are abstracted from) other things [Oderberg]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell]
Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave]
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
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
A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock]
Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock]
Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
Being is substantial/accidental, complete/incomplete, necessary/contingent, possible, relative, intrinsic.. [Oderberg]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
If tropes are in space and time, in what sense are they abstract? [Oderberg]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
We need to distinguish the essential from the non-essential powers [Oderberg]
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
Empiricists gave up 'substance', as unknowable substratum, or reducible to a bundle [Oderberg]
9. Objects / D. Essence of Objects / 1. Essences of Objects
Essences are real, about being, knowable, definable and classifiable [Oderberg, by PG]
9. Objects / D. Essence of Objects / 3. Individual Essences
Nominalism is consistent with individual but not with universal essences [Oderberg]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Essentialism is the main account of the unity of objects [Oderberg]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Essence is not explanatory but constitutive [Oderberg]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Properties are not part of an essence, but they flow from it [Oderberg]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Could we replace essence with collections of powers? [Oderberg]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Leibniz's Law is an essentialist truth [Oderberg]
10. Modality / B. Possibility / 4. Potentiality
Bodies have act and potency, the latter explaining new kinds of existence [Oderberg]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Realism about possible worlds is circular, since it needs a criterion of 'possible' [Oderberg]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Necessity of identity seems trivial, because it leaves out the real essence [Oderberg]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Rigid designation has at least three essentialist presuppositions [Oderberg]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
26. Natural Theory / A. Speculations on Nature / 3. Natural Function
Essence is the source of a thing's characteristic behaviour [Oderberg]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
What makes Parmenidean reality a One rather than a Many? [Oderberg]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
The real essentialist is not merely a scientist [Oderberg]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
The reductionism found in scientific essentialism is mistaken [Oderberg]