Q
Qoeleth
Guest
I suppose if “nothing” is defined as “not something”, then the original assumption (that if nothing is not X, X must be something), hold true.No, it is *very *basic logic. If there are three possibilities that collectively exhaust a set (say A, B, and C) then
not A implies B or C
However the original proof requires
not A implies B
How to define “something”? “Something that exists” seems like a flawed definition, I agree, since it uses the term it seeks to define.
Could you propose a definition of “something”?