Combining Texts

All the ideas for 'Pragmatism - eight lectures', 'Set Theory' and 'Externalism/Internalism'

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


40 ideas

3. Truth / A. Truth Problems / 9. Rejecting Truth
Truth is just a name for verification-processes [James]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
In many cases there is no obvious way in which ideas can agree with their object [James]
3. Truth / D. Coherence Truth / 1. Coherence Truth
Ideas are true in so far as they co-ordinate our experiences [James]
New opinions count as 'true' if they are assimilated to an individual's current beliefs [James]
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
True ideas are those we can assimilate, validate, corroborate and verify (and false otherwise) [James]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Choice: ∀A ∃R (R well-orders A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
Set Existence: ∃x (x = x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Constructibility: V = L (all sets are constructible) [Kunen]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
A 'thing' is simply carved out of reality for human purposes [James]
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
'Substance' is just a word for groupings and structures in experience [James]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Maybe there is plain 'animal' knowledge, and clearly justified 'reflective' knowledge [Vahid]
11. Knowledge Aims / A. Knowledge / 5. Aiming at Truth
Truth is a species of good, being whatever proves itself good in the way of belief [James]
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism accepts any hypothesis which has useful consequences [James]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
Epistemic is normally marked out from moral or pragmatic justifications by its truth-goal [Vahid]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
'Mentalist' internalism seems to miss the main point, if it might not involve an agent's access [Vahid]
Strong access internalism needs actual awareness; weak versions need possibility of access [Vahid]
Maybe we need access to our justification, and also to know why it justifies [Vahid]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
Internalism in epistemology over-emphasises deliberation about beliefs [Vahid]
13. Knowledge Criteria / C. External Justification / 1. External Justification
Externalism may imply that identical mental states might go with different justifications [Vahid]
13. Knowledge Criteria / C. External Justification / 4. Tracking the Facts
With a counterfactual account of the causal theory, we get knowledge as tracking or sensitive to truth [Vahid]
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
Externalism makes the acquisition of knowledge too easy? [Vahid]
14. Science / B. Scientific Theories / 2. Aim of Science
Theories are practical tools for progress, not answers to enigmas [James]
14. Science / B. Scientific Theories / 3. Instrumentalism
True thoughts are just valuable instruments of action [James]
Pragmatism says all theories are instrumental - that is, mental modes of adaptation to reality [James]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
We return to experience with concepts, where they show us differences [James]
28. God / A. Divine Nature / 3. Divine Perfections
If there is a 'greatest knower', it doesn't follow that they know absolutely everything [James]
28. God / A. Divine Nature / 4. Divine Contradictions
It is hard to grasp a cosmic mind which produces such a mixture of goods and evils [James]
28. God / B. Proving God / 1. Proof of God
If the God hypothesis works well, then it is true [James]
28. God / B. Proving God / 3. Proofs of Evidence / c. Teleological Proof critique
The wonderful design of a woodpecker looks diabolical to its victims [James]
Things with parts always have some structure, so they always appear to be designed [James]
28. God / B. Proving God / 3. Proofs of Evidence / d. Religious Experience
Private experience is the main evidence for God [James]
29. Religion / C. Spiritual Disciplines / 3. Buddhism
Nirvana means safety from sense experience, and hindus and buddhists are just afraid of life [James]