Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Intro to 'The Reason's Proper Study'' and 'The Possibility of Metaphysics'

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

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
A set is a 'number of things', not a 'collection', because nothing actually collects the members [Lowe]
     Full Idea: A set is 'a number of things', not a 'collection'. Nothing literally 'collects' the members of a set, such as the set of planets of the sun, unless it be a Fregean 'concept' under which they fall.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.6)
     A reaction: I'm tempted to say that the sun has collected a set of planets (they're the ones that rotate around it). Why can't we have natural sets, which have been collected by nature? A question of the intension, as well as the extension....
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
I don't believe in the empty set, because (lacking members) it lacks identity-conditions [Lowe]
     Full Idea: It is not clear to me that the empty set has well-defined identity-conditions. A set has these only to the extent that its members do - but the empty set has none.
     From: E.J. Lowe (The Possibility of Metaphysics [1998], 12.3 n8)
     A reaction: The empty set is widely used by those who base their metaphysics of maths on sets. It defines zero, and hence is the starting poing for Peano's Postulates (Idea 5897). It might not have identity in itself, but you know where you have arrived after 2 - 2.