Combining Texts

Ideas for 'works', 'Intros to Russell's 'Essays in Analysis'' and 'Mathematics: Form and Function'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox
Sets always exceed terms, so all the sets must exceed all the sets [Lackey]
     Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets.
     From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127)
     A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom.
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / c. Burali-Forti's paradox
It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey]
     Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1.
     From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127)
     A reaction: Formulated by Burali-Forti in 1897.