Combining Texts

All the ideas for 'Idealism: a critical survey', 'Proof that every set can be well-ordered' and 'The iterative conception of Set'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy]
     Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception.
     From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / e. Countable infinity
Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine]
     Full Idea: Zermelo realised that the Axiom of Choice (based on arbitrary functions) could be used to 'count', in the Cantorian sense, those collections that had given Cantor so much trouble, which restored a certain unity to set theory.
     From: report of Ernst Zermelo (Proof that every set can be well-ordered [1904]) by Shaughan Lavine - Understanding the Infinite I
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing]
     Full Idea: I think it is wrong to tie down the advocates of the coherence theory to a precise definition. ...It would be altogether unreasonable to demand that the moral ideal should be exhaustively defined, and the same may be true of the ideal of thought.
     From: A.C. Ewing (Idealism: a critical survey [1934], p.231), quoted by Erik J. Olsson - Against Coherence 7.6
     A reaction: I strongly agree. It is not a council of despair. I think the criteria of coherence can be articulated quite well (e.g by Thagard), and the virtues of enquiry can also be quite well specified (e.g. by Zagzebski). Very dissimilar evidence must cohere.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing]
     Full Idea: Without a detailed account, coherence is reduced to the mere muttering of the word 'coherence', which can be interpreted so as to cover all arguments, but only by making its meaning so wide as to rob it of almost all significance.
     From: A.C. Ewing (Idealism: a critical survey [1934], p.246), quoted by Erik J. Olsson - Against Coherence 2.2
     A reaction: I'm a fan of coherence, but it is a placeholder, involving no intrinsic or detailed theory. I just think it points to the reality of how we make judgements, especially practical ones. We can categorise the inputs, and explain the required virtues.