Combining Texts

Ideas for 'Classical Cosmology (frags)', 'Replies on 'Limits of Abstraction'' and 'On Platonism in Mathematics'

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 / F. Set Theory ST / 8. Critique of Set Theory
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
     Full Idea: Very few things in set theory remain valid in intuitionist mathematics.
     From: Paul Bernays (On Platonism in Mathematics [1934])
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)