Combining Texts

All the ideas for 'works', 'Sets, Aggregates and Numbers' and 'On 'Insolubilia' and their solution'

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


9 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
The 'no classes' theory says the propositions just refer to the members [Russell]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / d. Richard's paradox
Richard's puzzle uses the notion of 'definition' - but that cannot be defined [Russell]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
Vicious Circle: what involves ALL must not be one of those ALL [Russell]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau]
Nothing is 'intrinsically' numbered [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau]
You can ask all sorts of numerical questions about any one given set [Yourgrau]