```Date: Jan 29, 2013 9:52 PM
Author: William Elliot
Subject: Re: A philosophical interlude into sets and mathematics

On Tue, 29 Jan 2013, Zuhair wrote:To curtain the ad infinitum:"Get ready.  Get set.  Go!"> A set is a singular entity that corresponds to a totality of singular > entities or otherwise signifies their absence.> > So set-hood is about framing plurality of singular entities within a > singular frame.> > A set may be understood as a 'name' for some plurality of singular > entities. But this would lead to immense naming under standard setting > of ZFC, since this would obviously lead to "infinite" naming procedures, > and even 'uncountably' so which is something not easy to grasp.> > Another way of understanding sets is in a more 'active' manner, so > unlike the above rather 'passive' context, we rather think of sets as > 'collectors' and the pluralities they collect as 'collections' of course > of singular entities. Clearly a collector is a 'singular' entity, so > this confers with the above rather abstract definition of sets.> > Of course the 'collector' setting doesn't naturally explain > Extensionality. An aggressive fix would be to understand sets as > "Essential" collectors, which postulates the existence of a 'collector' > for each collectible plurality such that> > EVERY collector of the same plurality must 'involve' it to be able to > collect that plurality. Under such reasoning it would be natural to > assume uniqueness of those kinds of collectors. So ZFC for example would > be understood to be about collectors of infinite collections, and not > about immense kind of descriptive procedural discipline.> > So for example under the essential collector explanation of sets, one > would say that ZFC claims the existence of 'uncountably' many essential > collectors of pluralities (i.e. collections) of natural numbers, most of > which already exceeds our 'finite' human vocabulary, and even exceeds a > 'countably' infinite vocabulary.> > The collector interpretation despite being somehow far fetched still can > explain a lot of what is going in set/class theories in a flawless > spontaneous manner. It is very easy to interpret for example non well > foundedness, also it is easy to understand non extensional versions, > even the set theoretic paradoxes are almost naively interpreted.> > Of course as far as interpret-ability of what sets stands for this is > not a fixed issue, one is left free to choose any suitable > interpretation that enable him to best understand what's going on in > various set/class theories and different manipulations and scenarios > involved.> > That was a philosophical interlude into what sets are. On can postulate > the 'possibility' of Ontologically extending our physical world with the > world of sets and even consider all possibilities of so extending it. A > minimal requirement for such 'possibility' setting is of course to have > a 'consistent' record about such assumptionally existing entities, since > inconsistent record virtually rule out having such possibilities.> > Would mathematics be the arena of such Ontological extension? How would > that relate to increasing our interaction with the known physical world?
```