Anonymous
7/21/2025, 4:42:28 PM No.16730222
QRD of the proof:
>everything in the world either EXISTS or DOES NOT EXIST
>everything that EXISTS has some potential to NOT EXIST, and vice versa
>for example 4chan prior to 2003 did NOT EXIST but had potential to EXIST; now it EXISTS but has potential to NOT EXIST e.g. by deleting and turning off
>this potential may be also zero i.e. some things are just not possible
>everything that potentially NOT EXISTS must truly NOT EXIST at some time or other
>if everything in the world has nonzero potential to NOT EXIST, then at some time they must have NOT EXISTED simultaneously;
>but from that moment onwards, nothing would EXIST, a contradiction
>therefore there is something that has zero potential of NOT EXISTING.
>now focus on the set of these things: call them necessary things
>every thing which is necessary has a set of things making it necessary
>this is a well-founded partial order so it has a minimal element
>this minimal element we call God.
I am working on formalizing this proof mathematically hopefully in modal logic, but I am having trouble with certain steps. For one thing I don't see why things that potentially all not exist have to not exist at the same time. For another why can't that time just be in the future? How do we properly formalize the "partial order" part so that it is (a)correct, and (b)expressible in a reasonably straightforward modal logic (or other suitable mathematical model)
>everything in the world either EXISTS or DOES NOT EXIST
>everything that EXISTS has some potential to NOT EXIST, and vice versa
>for example 4chan prior to 2003 did NOT EXIST but had potential to EXIST; now it EXISTS but has potential to NOT EXIST e.g. by deleting and turning off
>this potential may be also zero i.e. some things are just not possible
>everything that potentially NOT EXISTS must truly NOT EXIST at some time or other
>if everything in the world has nonzero potential to NOT EXIST, then at some time they must have NOT EXISTED simultaneously;
>but from that moment onwards, nothing would EXIST, a contradiction
>therefore there is something that has zero potential of NOT EXISTING.
>now focus on the set of these things: call them necessary things
>every thing which is necessary has a set of things making it necessary
>this is a well-founded partial order so it has a minimal element
>this minimal element we call God.
I am working on formalizing this proof mathematically hopefully in modal logic, but I am having trouble with certain steps. For one thing I don't see why things that potentially all not exist have to not exist at the same time. For another why can't that time just be in the future? How do we properly formalize the "partial order" part so that it is (a)correct, and (b)expressible in a reasonably straightforward modal logic (or other suitable mathematical model)
Replies: