Combining Texts

Ideas for 'works', 'Replies on 'Limits of Abstraction'' and 'Concepts and Counting'

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 / e. Iterative sets
There is no stage at which we can take all the sets to have been generated [Fine,K]
     Full Idea: There is no stage at which we can take all the sets to have been generated, since the set of all those sets which have been generated at a given stage will itself give us something new.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
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.
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
We might combine the axioms of set theory with the axioms of mereology [Fine,K]
     Full Idea: We might combine the standard axioms of set theory with the standard axioms of mereology.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)