Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'First-Order Logic' and 'The Central Questions of Philosophy'

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

23 ideas

2. Reason / E. Argument / 3. Analogy
5331 You can't infer that because you have a hidden birth-mark, everybody else does [Ayer]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
10282 Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10283 A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
10284 There are three different standard presentations of semantics [Hodges,W]
10285 I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10288 Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
10289 Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
10287 If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10286 A 'set' is a mathematically well-behaved class [Hodges,W]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
2611 It is currently held that quantifying over something implies belief in its existence [Ayer]
9. Objects / D. Essence of Objects / 3. Individual Essences
16520 We see properties necessary for a kind (in the definition), but not for an individual [Ayer]
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
2613 The theory of other minds has no rival [Ayer]
5328 Originally I combined a mentalistic view of introspection with a behaviouristic view of other minds [Ayer]
5330 Physicalism undercuts the other mind problem, by equating experience with 'public' brain events [Ayer]
16. Persons / B. Nature of the Self / 5. Self as Associations
5326 Qualia must be united by a subject, because they lead to concepts and judgements [Ayer]
5325 Is something an 'experience' because it relates to other experiences, or because it relates to a subject? [Ayer]
16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body
5324 Bodily identity and memory work together to establish personal identity [Ayer]
16. Persons / C. Self-Awareness / 2. Knowing the Self
5322 Self-consciousness is not basic, because experiences are not instrinsically marked with ownership [Ayer]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / c. Inadequacy of mental continuity
5327 Temporal gaps in the consciousness of a spirit could not be bridged by memories [Ayer]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
5329 Why shouldn't we say brain depends on mind? Better explanation! [Ayer]
19. Language / D. Propositions / 6. Propositions Critique
2610 Talk of propositions is just shorthand for talking about equivalent sentences [Ayer]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
7861 Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]
6660 Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]