Combining Texts

All the ideas for 'Propositions', 'Phil of Mathematics and Natural Science' and 'Intro to III: Quantifiers'

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

8 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
9465 Substitutional universal quantification retains truth for substitution of terms of the same type [Jacquette]
9466 Nominalists like substitutional quantification to avoid the metaphysics of objects [Jacquette]
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]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
10246 The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl]