Combining Texts

All the ideas for 'Propositions', 'Intros to Russell's 'Essays in Analysis'' and 'Grundlagen (Foundations of Theory of Manifolds)'

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

---

9 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

15946

Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine]

5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive

9455	Maybe proper names have the content of fixing a thing's category [Bealer]

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions

9454	The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox

21554

Sets always exceed terms, so all the sets must exceed all the sets [Lackey]

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / c. Burali-Forti's paradox

21553

It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers

15911

Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine]

19. Language / D. Propositions / 1. Propositions

9453	Sentences saying the same with the same rigid designators may still express different propositions [Bealer]

9452	Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]

19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense

9451	Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]