Combining Texts

All the ideas for 'Sweet Dreams', 'Knowledge:Readings in Cont.Epist' and 'Elements of Set Theory'

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

23 ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
13201 ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton]
13204 The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton]
13206 A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
13200 Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton]
13199 The empty set may look pointless, but many sets can be constructed from it [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
13203 The singleton is defined using the pairing axiom (as {x,x}) [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13202 Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13205 We can only define functions if Choice tells us which items are involved [Enderton]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
3756 Perception, introspection, testimony, memory, reason, and inference can give us knowledge [Bernecker/Dretske]
12. Knowledge Sources / B. Perception / 7. Causal Perception
3757 Causal theory says true perceptions must be caused by the object perceived [Bernecker/Dretske]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
3759 You can acquire new knowledge by exploring memories [Bernecker/Dretske]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
3752 Justification can be of the belief, or of the person holding the belief [Bernecker/Dretske]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
3753 Foundationalism aims to avoid an infinite regress [Bernecker/Dretske]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
3754 Infallible sensations can't be foundations if they are non-epistemic [Bernecker/Dretske]
13. Knowledge Criteria / C. External Justification / 1. External Justification
3755 Justification is normative, so it can't be reduced to cognitive psychology [Bernecker/Dretske]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
3761 Modern arguments against the sceptic are epistemological and semantic externalism, and the focus on relevance [Bernecker/Dretske]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
3760 Predictions are bound to be arbitrary if they depend on the language used [Bernecker/Dretske]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
7658 Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
7655 The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
7657 Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
7656 I don't deny consciousness; it just isn't what people think it is [Dennett]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
7654 What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett]
18. Thought / C. Content / 6. Broad Content
3758 Semantic externalism ties content to the world, reducing error [Bernecker/Dretske]