Combining Texts

All the ideas for 'Propositions', 'Minds, Brains and Science' and 'A Plea for Substitutional Quantification'

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

11 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9470 Modal logic is not an extensional language [Parsons,C]
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
9469 Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
9468 On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
17. Mind and Body / C. Functionalism / 7. Chinese Room
2427 Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers]
7389 A program won't contain understanding if it is small enough to imagine [Dennett on Searle]
7390 If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle]
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]