Combining Texts

All the ideas for 'Reply to Foucher', 'Set Theory and related topics (2nd ed)' and 'Propositions'

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

7 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes
8920 Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz]
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]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
19406 I strongly believe in the actual infinite, which indicates the perfections of its author [Leibniz]
19. Language / D. Propositions / 1. Propositions
9452 Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
9453 Sentences saying the same with the same rigid designators may still express different propositions [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]