Combining Texts

All the ideas for 'Propositions', 'History of Ancient Art' and 'A Note on the entscheidungsproblem'

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
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
The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
5. Theory of Logic / K. Features of Logics / 7. Decidability
Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]
19. Language / D. Propositions / 1. Propositions
Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
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
Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]
21. Aesthetics / B. Nature of Art / 4. Art as Expression
Art aims only at beauty, of form, of idea, and (above all) of expression [Winckelmann, by Tolstoy]