Combining Texts

All the ideas for 'Propositions', 'On the Frame of Reference' and 'Set Theory and the Continuum Hypothesis'

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

---

7 ideas

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 / G. Quantification / 4. Substitutional Quantification

10009

Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism

14248

We could accept the integers as primitive, then use sets to construct the rest [Cohen]

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]