Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'First-Order Logic' and 'A Study of Concepts'

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

23 ideas

2. Reason / D. Definition / 13. Against Definition
12585 Most people can't even define a chair [Peacocke]
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]
12. Knowledge Sources / B. Perception / 1. Perception
12581 Perceptual concepts causally influence the content of our experiences [Peacocke]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
12579 Perception has proto-propositions, between immediate experience and concepts [Peacocke]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
12586 Consciousness of a belief isn't a belief that one has it [Peacocke]
18. Thought / D. Concepts / 1. Concepts / b. Concepts in philosophy
18568 Philosophy should merely give necessary and sufficient conditions for concept possession [Peacocke, by Machery]
18571 Peacocke's account of possession of a concept depends on one view of counterfactuals [Peacocke, by Machery]
18572 Peacocke's account separates psychology from philosophy, and is very sketchy [Machery on Peacocke]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
12577 Possessing a concept is being able to make judgements which use it [Peacocke]
12578 A concept is just what it is to possess that concept [Peacocke]
12587 Employing a concept isn't decided by introspection, but by making judgements using it [Peacocke]
18. Thought / D. Concepts / 4. Structure of Concepts / b. Analysis of concepts
12584 An analysis of concepts must link them to something unconceptualized [Peacocke]
18. Thought / D. Concepts / 4. Structure of Concepts / f. Theory theory of concepts
9335 Concepts are constituted by their role in a group of propositions to which we are committed [Peacocke, by Greco]
19. Language / B. Reference / 1. Reference theories
9336 A concept's reference is what makes true the beliefs of its possession conditions [Peacocke, by Horwich]
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]