Combining Texts

All the ideas for 'Second Philosophy', 'Essays on Intellectual Powers 3: Memory' and 'Model Theory'

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

25 ideas

2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10594 Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
9. Objects / E. Objects over Time / 1. Objects over Time
1350 Continuity is needed for existence, otherwise we would say a thing existed after it ceased to exist [Reid]
9. Objects / E. Objects over Time / 13. No Identity over Time
21322 We treat slowly changing things as identical for the sake of economy in language [Reid]
9. Objects / F. Identity among Objects / 1. Concept of Identity
21320 Identity is familiar to common sense, but very hard to define [Reid]
1367 Identity can only be affirmed of things which have a continued existence [Reid]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
23644 Without memory we could have no concept of duration [Reid]
23643 We all trust our distinct memories (but not our distinct imaginings) [Reid]
15. Nature of Minds / A. Nature of Mind / 5. Unity of Mind
1356 A person is a unity, and doesn't come in degrees [Reid]
16. Persons / A. Concept of a Person / 2. Persons as Responsible
1359 Personal identity is the basis of all rights, obligations and responsibility [Reid]
16. Persons / A. Concept of a Person / 3. Persons as Reasoners
21319 I can hardly care about rational consequence if it wasn't me conceiving the antecedent [Reid]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / a. Memory is Self
21323 The identity of a thief is only known by similarity, but memory gives certainty in our own case [Reid]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / c. Inadequacy of mental continuity
21321 Memory reveals my past identity - but so does testimony of other witnesses [Reid]
21324 If consciousness is transferable 20 persons can be 1; forgetting implies 1 can be 20 [Reid]
21325 Boy same as young man, young man same as old man, old man not boy, if forgotten! [Reid]
21327 If a stolen horse is identified by similitude, its identity is not therefore merely similitude [Reid]
1366 If consciousness is personal identity, it is continually changing [Reid]
16. Persons / D. Continuity of the Self / 7. Self and Thinking
1352 Thoughts change continually, but the self doesn't [Reid]