1) By definition my set contains only things that exist (non-contradictory). That excludes Russell's set. No Russell's set, no problem. In other words this set is defined like: containing everything that does not lead to a contradiction somehow. It should be clear that such a set is clean of problems by definition alone, don't u think? — Pippen
I agreed that your argument is stronger without trying to define the empty set as the complement of the set of everything, since the latter provably doesn't exist. In any event, you are still misunderstanding Russell's argument. There is no claim that the set of all sets contains sets that don't exist. We start with YOUR claim that there is a set of all sets that DO exist, and we immediately derive a contradiction. But again, you don't need this in your argument. Just posit the empty set if you must. But now you just produced something from nothing.
2) I think nothing has to be the empty set very naturally since otherwise only sets with members could be available that obviously couldn't serve as nothingness. — Pippen
There's an analogy. Suppose we deny infinite sets. We all have an intuition that there are infinitely many counting numbers 1, 2, 3, 4, ... (with or without zero, I don't care). That does not give us an infinite set; only infinitely many individuals.
The axiom of infinity says that there is a SET containing all the natural numbers. That's a huge leap beyond merely saying that there are infinitely many natural numbers.
Likewise, I can perfectly well imagine an empty universe. But now you have a SET that is empty; and that is a thing that you claim exists. You are going beyond the idea of emptiness to the idea that there is a CONTAINER for the emptiness that also happens to be a SET. So you have made an extra ontological assumption; not only that nothing exists; but that nothing is CONTAINED in a SET. That's a lot more ontological baggage than a merely empty universe.
3. You are right that the empty set is itself a thing and just basically postulated. But as I wrote in my note: that's how we have to interpret nothingness, there's no better way. — Pippen
Just say the universe is empty. Because if you put the emptiness in a SET, that's a huge additional assumption. It is an act of creation out of nothing! You start with nothing and now you have a set! You just defeated your own argument, didn't you? You created the empty set out of nothing.
We simply cannot postualte a further-going nothingness since it would lead to contradictions/falseness. What we mean when refering to "nothing" is the empty set — Pippen
But NO. The empty set is not nothing. It's a particular set. We've been over this. You start with nothing; and a moment later you have a SET containing nothing. That's a huge leap of creation. Out of nothing.
(or e.g. in logic the conjunction ~p1 & ~p2 & ...), that's "our" nothing, — Pippen
Lost me there, what are p1 and p2 etc?
beyond that is just a brainf*ck that doesn't mean anything, — Pippen
Beyond what? Are you insulting your own argument? You lost me here too.
just like when we talk about the universal set that SEEMS alright but isn't (as Russell showed). — Pippen
This last paragraph got a little tangled I think. Let's go back to the key point. You have an empty universe. Now you have a SET containing that emptiness. Where did the set come from? Isn't that a creation out of nothing?
To make this more concrete, isn't the empty set just an idea? And if it's an idea, who is the mind having that idea? If you are a Platonist who believes that the empty set exists independently of minds, that's perfectly fine with me ... but if the empty set exists, it's not nothing. It's the empty set. I guess I can't say that anymore, I've said it several times already. The empty set is a particular thing.
The empty set CONTAINS nothing; but the empty set itself IS something. It's the empty set. To prove that, we can form the set containing the empty set, {∅}. That's a set containing exactly one element, namely ∅. That shows that ∅ is something. It's something that can be a member of a set! By your own definition it exists. Since things that don't exist can't be members of sets. I agree with you about that.