On 04 Jan 2015, at 18:38, John Clark wrote:
On Sat, Jan 3, 2015 'Roger' via Everything List <everything-list@googlegroups.com
> wrote:
> Even if the word "exists" has no use because everything exists, it
seems important to know why everything exists.
Even if the word "klogknee" has no use because everything is
klogknee, is it important to know why everything is klogknee?
That would made "existence" into a property, which is something
usually avoided (in logic and in metaphysics). It leads to confusion
between level and metalevel.
Of course, not everything exists. Some thing does not exist, like a
couple of non null integers x y verifying
2 *( y^2) = x^2.
> How is it that a thing can exist?
How is it that a thing can be klogknee? Before you can figure that
out you must first know what "klogknee" means, and if everything is
klogknee then you don't know because meaning needs contrast.
> What I suggest is that a grouping defining what is contained
within is an existent entity.
I don't understand that.
It is a ciomprehension axiom the set of x such that P(x) exists. Of
course if P(x) is "x does not belong to x", we get Russell's paradox,
and Frege abandoned his theory when discovering this. Then Zermelo
found the way to restrict the comprehension axioms to make it
consistent, and this led to set theories like ZF or NBG.
The idea is to restrict the set {x such that P(x)} by some already
existing set, like the set of x in y such that P(x).
Bruno
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
