Combining Texts

All the ideas for 'Propositions', 'New Foundations for Mathematical Logic' and 'On 'Generation and Corruption''

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

7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9879 NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
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]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
16721 Changes in secondary qualities are caused by changes in primary qualities [Giles of Orleans]
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]