ddt
Mafia Penguin
Oh, and look at this thread at ToeQuest.
Oh, and look at this thread at ToeQuest.
No, B is an existing measurement tool that measures the existence of its members, whether they are fusions (in the case of Emptiness or Fullness) or collections (in the case of A).
.Nothing is circular here as long as you distinguish between the EXISTING measurement tool {X} and |{X}|, where |{X}| is the measurement's result of X (where X is a fusion in the case of Emptiness or Fullness, or X is a collection in the case of A).
This is exactly what the ZF axiom of the empty set does.
It defines the empty set by the absence of collections where "absence of collections" is exactly the fusion known as Emptiness.
Furthermore, the axiom of the empty set does not determine the existence of the empty set because by the ZF axiom of the empty set:
"There exists set A such that any set (including A, or in other words, A exists independently of the axiom's description) is not a member of A"
Pay attention to the fact that if A exists because of the axiom of the empty set, then we are using a circular reasoning, where A existence depends on A existence (also please pay attention to the fact that if A is not one the things that are not members of A, then A is not empty).
In order to avoid this circularity, A must exist independently of the axiom, which only describes its properties and does not determine its existence.
So "There exists set A" is a fact of existence that does not depend on the description of the ZF axiom of the empty set, and A existence is used to measure "the absence of collections", which is exactly the fusion known as Emptiness.
You don't understand what a Set is as long as you do not distingush between collection and fusion.
Since cardinality measures the existence of things...
Strangely, you're claiming that over on ToeQuest too. So which is it?ddt tries to hijack the dialog of this thread to another forum.
What does that mean? Please write understandable English.I suggest to avoid from him in doing it.
Someone's got to do the dirty workGenerally ddt is obsessed about my actions in the internet and makes an history list of these actions.
If you don't wish to do that, then your ignorance about collections and fusions is your free choice.
There are merely things you have made up to suit your own fantasy. You have not demonstrated any significance for them.
And what if we try to make something out of nothing? A container with nothing in it is still a container, and the empty collection is correspondingly a collection with no members. But a fusion of nothing is an impossibility: if we try to form a fusion when there is nothing to fuse, we obtain not a trivial object but no object at all.
There is a description.
It can be empty for example " ", or it can be non-empty for example "There exists set A such that …".
The existence of a description does not depend on its content.
On the contrary, the property of a description depends on its content.
The same holds in the case of the ZF axiom of the empty set.
This axiom determines the property of already existing thing, where this existing thing is used to determine the magnitude of existence (the cardinality) of its members.
A more general viewpoint about Sets:
Set is a form of collection, which its members can be collections or their absence (where "the absence of collections" is the particular case of the fusion called Emptiness)
If the member of a set is a collection, then the magnitude of the existence of the member is at least 1.
If the member is a fusion, then the magnitude of the existence of the member is at least 0.
As about collections and fusions, this time real read http://www.internationalskeptics.com/forums/showpost.php?p=4652231&postcount=2483 including th link to Michael Potter's book.
If you don't wish to do that, then your ignorance about collections and fusions is your free choice.
No, you jsfisher, do not find any significance for them.
On the contrary I clearly show in http://www.internationalskeptics.com/forums/showpost.php?p=4652231&postcount=2483 how the distinction between collections and fusions has a profound influence on fundamental things like, for example, the universal quantifier.
In page 22 of Michael Potter's book we find this paragraph:
Empty fusion = "no fusion at all"
Empty collection ≠ "no collection at all"
So in the case of the empty set, the absence of members is defined in terms of fusions, or more precisely, in terms of Empty fusion.
It can be done only if "no fusion at all" is addressed in terms of Set's membership, because "fusion of nothing" is "an impossibility" on its own (if it is not addressed in terms of membership by an existing collection, known as Set)..
On the contrary I clearly show...
You have yet to show any value of this all. This whole "fusion" thing seems conspicuously absent in the more mathematical parts of Potter's book, judging by the wiki page on Scott-Potter set theoryWP. So we're waiting with baited breath to see you show the "profound influence" it has on the universal quantifier. I can't wait to see how you're going to butcher that - thus far you've shown only utter miscomprehension of the notion of axiomatization. Oh, and I see you've managed to misrepresent category theory in the mean time too. Bravo!No, you jsfisher, do not find any significance for them.
On the contrary I clearly show in http://www.internationalskeptics.com/forums/showpost.php?p=4652231&postcount=2483 how the distinction between collections and fusions has a profound influence on fundamental things like, for example, the universal quantifier.
In page 22 of Michael Potter's book we find this paragraph:
Empty fusion = "no fusion at all"
Empty collection ≠ "no collection at all"
So in the case of the empty set, the absence of members is defined in terms of fusions, or more precisely, in terms of Empty fusion.
It can be done only if "no fusion at all" is addressed in terms of Set's membership, because "fusion of nothing" is "an impossibility" on its own (if it is not addressed in terms of membership by an existing collection, known as Set)..
Ho yes it is.A description that does not describe anything is not a description, thus a description is dependent on content (that it describe something) in order to exist as, well, a description.
The axiom describes the property of the empty set, and it does not determine its existence.Again with the misunderstanding and misrepresentation of the axiom of empty set. That axiom defines one thing, surprisingly, the empty set.
Exactly, and this meaning is achieved only by using the notion of fusion as a member of the empty set and not the notion of collection as the member of the empty set.The empty set has no members, that’s its meaning.
Cardinality value can be taken only by using a collection.Why do you continue to try and spew this crap where you insist on giving the empty set some member that you refer to as ‘fusion’, (whatever that is suppose to mean to you) or take the ‘cardinality’ of some set that only has the empty set as a member as some ‘measure its existence’,…
Again, the value of a cardinal is determined by the magnitude of the existence of some set's members, so in the case of B={A}, |{A}| determinates the magnitude of the existence of A, which in this case it is the member of B.which is still just the ‘cardinality’ of that other set and has noting to do with the empty set itself ?
Doron, if you can not accurately describe your use of “collections and fusions” in simple and straight forward terms right here on this thread then the ignorance remains yours. So although you might have read about them in whatever reference you are citing, your history clearly demonstrates that you will apply your own unique and bizarre interpretations and meaning in spite of references you provide. Asking people to waste their time reading your reference when you will typically not adhere to the implications of that reference yet assert some other meaning altogether, again only displays your belief that others are as ignorant as you.
Well thanks Doron, for demonstrating, as usual, you will not adhere to clear statements and inferences of your own reference, but just make up your own bizarre and meaningless interpretation.
The axiom describes the property of the empty set, and it does not determine its existence.
Oh, and I see you've managed to misrepresent category theory in the mean time too. Bravo!
Let's do a fact check on doron's assertion. Here, in its full simplicity, is the Axiom of the Empty Set:
[latex]$$$ \exists x\, \forall y\, \lnot (y \in x) $$$[/latex]
Now, since Doron doesn't "do" math, we can translate the axiom into basic English:
There exists a set that has no members.
You are wrong again, Doron.
In this case you simply do not get the beautiful abstract notion, that the member of { } is exactly the Empty fusion...
...and this is exactly the reason of why the cardinality of the members of the empty set is 0.
Please give some concrete example.