Combining Texts

All the ideas for 'talk', 'Pragmatism - eight lectures' and 'Investigations in the Foundations of Set Theory I'

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


35 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]
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 / 1. Set Theory
We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo]
Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg]
Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy]
Set theory can be reduced to a few definitions and seven independent axioms [Zermelo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy]
Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
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 / 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 / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
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]