Combining Texts

Ideas for 'works', 'De modo distinguendi phaenomena' and 'The Ways of Paradox'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The set scheme discredited by paradoxes is actually the most natural one [Quine]
     Full Idea: Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit.
     From: Willard Quine (The Ways of Paradox [1961], p.16)
     A reaction: You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach.
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
     Full Idea: In the case of Russell's antinomy, the tacit and trusted pattern of reasoning that is found wanting is this: for any condition you can formulate, there is a class whose members are the things meeting the condition.
     From: Willard Quine (The Ways of Paradox [1961], p.11)
     A reaction: This is why Russell's Paradox is so important for set theory, which in turn makes it important for the foundations of mathematics.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.