Boolean Logic cannot deal with infinitely many objects

[Organic]

Hi Hurkyl,

Then what is the definition of the set concept?

What is the definition of the content concept?

What is the definition of the number concept?

What is the definition of belonging?

 

[master_coda]

Originally posted by Organic
There is no such a thing like "Empty set".

All we have is the set concept, and its name is given by its content.

We cannot separate between a set's name and its content's property,
as you wrongly show in your example.

Ultimately, this is why your math is worthless. The name of the set is arbitrary. Call it the empty set. Call it \varnothing. Call it xerfniernisetjilsegtilnerilsneirk. It doesn't matter.

Saying "the empty set should contain emptiness because it's name is the empty set" doesn't mean anything. Math isn't about what you think should be true.

Math is about taking definitions and applying logic to them to see what conclusions you can try. If you aren't willing to define things, than you can't do math. It's as simple as that.

 

[Hurkyl]

A "set" is an object in ZFC. (or substitute your favorite set theory)

I have no idea what "content" is because that's your idea and you haven't defined it.

As for "number" you're going to have to be more specific; e.g. do you mean real number?

 

[Organic]

master_coda

Emptiness=

x=Emptiness

the set A such that x not in A is always true, regardless of what x is.

A cannot be defined without x property.

 

[Organic]

Hurkyl,

A "set" is an object in ZFC.

x='set'

y='member'

A x is an object in ZFC.
A y is an object in ZFC.

How can i distinguish between them by your definition?

 

[Hurkyl]

Everything in ZFC is a set, including members of other sets.

(There are other set theories, including some very similar to ZFC, where sets can contain things that aren't sets)

 

[master_coda]

Originally posted by Organic

x='set'

y='member'

A x is an object in ZFC.
A y is an object in ZFC.

How can i distinguish between them by your definition?

x is a set if it can be constructed using the axioms of ZFC. y is a set if it can be constructed using the axioms of ZFC.

If y is not a set, then x is not equal to y.

If y is a set, then you can determine if x and y are equal using the axiom of extensionality.

Of course, in ZFC everything is a set, so the case of "y is not a set" doesn't actually matter.

 

[Organic]

So, set is an object in ZFC.

Then what is an object?

 

[Hurkyl]

Then what is an object?

As used here, it's just a descriptive English word, and not a mathematical term. (Actually, so is "set" in this case, though in, say, Category Theory or NBG "set" is actually a mathematical term)

 

[Organic]

Hukyl,

Also "set" is just an Enlgish word.

Therefore we are in a circular definition like:

... a set is an object is a set is an object is ...

 

[Hurkyl]

However, the axioms of ZFC are not just english words; they clearly define what one may do with sets.

 

[Organic]

Hurkyl,

Emptiness=

x=Emptiness

the set A such that x not in A is always true, regardless of what x is.

A cannot be defined without x property.

Please tell me what is A?

 

[master_coda]

Originally posted by Organic
Hurkyl,

Emptiness=

x=Emptiness

the set A such that x not in A is always true, regardless of what x is.

A cannot be defined without x property.

Please tell me what is A?

A is the empty set. We don't need to know the properties of x, since the definition of A doesn't mention any of the properties of x. If the definition said somewhere "x must have property y" then we would need to know something about x. But the definition doesn't depend on what x is.

 

[Organic]

master_coda,

The definition is fine, but A's name depends on x property.

So, here is my question again:

Emptiness=

x=Emptiness

the set A such that x not in A is always true, regardless of what x is.

A cannot be defined without x property.

Please tell me what is A?

 

[Hurkyl]

\varnothing is defined by:

\forall x: x \notin \varnothing

This is well defined, because one can prove that:

<br /> \forall y: \left(<br /> ( \forall x: x \notin y ) \Rightarrow y = \varnothing<br /> \right)<br />


IOW if A is a set such that for all x, x \notin A, then A = \varnothing.

 

[master_coda]

You can name A whatever you want. The name is just an arbitrary label. If you don't like calling it the empty set, then call it whatever you want. Just make it clear that your name for it is a label for the thing mathematicians call the empty set.

There is only one set that satisifies the definition
\forall x\colon(x\notin\varnothing)

 

[Organic]

So to get A as an Empty set we have to define it like that:

if A is a set such that for all x,x not in A, then A={}(=Empty set) .

But:

Emptiness=

All x=Emptiness

What is set A?

 

[master_coda]

Originally posted by Organic
But:

Emptiness=

All x=Emptiness

What is set A?

I don't understand what you're asking.

 

[Organic]

to get A as an Empty set we have to define it like that:

COND='all x' Or COND='any x'

if A is a set such that for COND,x not in A, then A={}(=Empty set) .


Do you agree with both COND?

 

[master_coda]

Originally posted by Organic
to get A as an Empty set we have to define it like that:

COND='all x' Or COND='any x'

if A is a set such that for COND,x not in A, then A={}(=Empty set) .


Do you agree with both COND?

Yes.

 

[Organic]

Ok,

So to get A as an Empty set we have to define it like that:

if A is a set such that for any x,x not in A, then A={}(=Empty set) .

But:

Emptiness=

Any x=Emptiness

Then what is set A?

 

[master_coda]

Ah, I see what you're saying.

If you have no x, then you have nothing. Not even the empty set. There is no A.

That's why the ZFC axioms include the axiom of the empty set. It asserts that the empty set exists.

 

[Organic]

Bravoooo !


And the opposite concept of Emptiness is Fullness.

 

[master_coda]

But we don't have to worry about not having any x. Because we know that empty set exists.

And I believe its been mentioned before...you can't define things with "opposite". The idea of opposite depends a great deal on context, so without supplying one, you can't use it.

 

[Organic]

But there is another point of view on x.

Like in a computer program x can be a variable of some value.

Therefore if x= , then x as a variable exists, but without any content.

Emptiness=

Any x=No Emptiness

Now, to get A as an Empty set we have to define it like that:

if A is a set such that for any x-content,x-content not in A, then A={}(=Empty set) .

But:

Emptiness=

Any x=Emptiness

Then what is set A?

Answer: Set A is a non-empty set.

 

[master_coda]

Why would we want to define the set A in such a way?

Besides, what does it mean for something to exist, but have no content?


I certainly hope you aren't thinking that variables in math are anything like variables on a computer. They're two very different concepts that unfortunately use the same name.

 

[Organic]

{} exists but has no content.

 

[master_coda]

Then what is x-content supposed to be?

 

[Organic]

In the x computer-model x is like a temporary container that delivers its content to the final destination, which is some set.

The deliverd thing is called x-content, which defines set's property.

 

[master_coda]

You can't really use such a computer model to describe math. Computers have a concept of time. Math doesn't.

Variables in math do not change over time.