Our server costs ~$56 per month to run. Please consider donating or becoming a Patron to help keep the site running. Help us gain new members by following us on Twitter and liking our page on Facebook!
Current time: December 30, 2024, 7:29 pm

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
First Order Predicate Logic vs The Judeo-Christian creator
#1
First Order Predicate Logic vs The Judeo-Christian creator
The paradox created by assuming the existence of the judeo-christian creator/god.

This will be a Deductive First Order Predicate Logic demonstration of paradox.

First a few terms:

{exist} will represent the finite set of anything that exists. We may also represent this set with the numeral 1.

{no/exist} will represent an infinite set of possibilities that don't exist. This set can be represented with a numeral 0, as {0} or as {/}, all meaning 'null'.

These two sets are in binary opposition to each other. It is literally impossible to have a concept outside of these two sets

Now, the paradox exists when we assume the judeo-christian premise that god created existence.

Somehow we have to solve logically how god + {0} = {exist}

If god is outside of {exist}, than he is a member of the null set: {0}. Assuming this, we can rewrite the formula {0} + {0} = {exist}. Or to simplify, 0 + 0 = 1.

If god is a member of {exist}, than we have another problem.

For god to be a member of the set {exist}, we have to assume that the set existed prior to our 'god'.

{no/exist} + god = {exist}... meaning, for a supreme being to create something, he must himself exist. Thus, existence already exists, and doesn't need to be created.

Essentially, if god exists within the cosmos, than the cosmos must have existed prior to 'god'. Which would be rather troublesome, as god would be out of a job.. (why create something that already exists)

We're now down to two statements for the beginnings of existence.

{no/exist} (existence) + {no/exist} (matter} = {exist}

0 + 0 = 1

OR

{exist}(Cosmos) + {no/exist}creator = {exist}

1 + 0 = 1.

which is essentially stating, using Occam's Razor, that {exist} = {exist}... eliminating the need for a creator.
Assuming the judeo christian god created everything, We got ourselves a paradox...

However, by assuming the universe didn't need a creator... we eliminate the paradox, and have the logical axiom of {exist} = {exist}
Reply
#2
RE: First Order Predicate Logic vs The Judeo-Christian creator
This must have been what was on Homer's paper when he had the crayon removed from his nose. I like it! A mathematical proof that god doesn't exist. isn't needed.
Reply
#3
RE: First Order Predicate Logic vs The Judeo-Christian creator
Meh, its not really a proof that he doesn't exist...

Its more of a proof that in order for him to exist, we have to get into logical paradoxes...

this is just one of many...

I wrote it up and posted it in response to a christfag on another forum... figured I'd put it here for anyone to use if they'd like.
Reply
#4
RE: First Order Predicate Logic vs The Judeo-Christian creator
The paradox is destroyed if we actually assume the correct view of the Judeo-Christian God, which is that this being created everything except for itself.

{exist} \ {God} + {God} = {exist}

Quote:Thus, existence already exists, and doesn't need to be created.
Existence as a concept already existed, but that doesn't mean that the entire set of existing things exists. Existence already existed at the time of the Big Bang, but humans didn't. By your argument, humans already existed 13.7 billion years ago, which is false.

The Judeo-Christian God was the first existing thing, and added to the set of existing things by creating stuff. It isn't a hard concept to grasp, and I'm afraid this mathematical "disproof" fails on all counts.
Reply
#5
RE: First Order Predicate Logic vs The Judeo-Christian creator
There I fixed it. Christfag huh? lol
Reply
#6
RE: First Order Predicate Logic vs The Judeo-Christian creator
(April 8, 2010 at 11:37 am)Tiberius Wrote: The paradox is destroyed if we actually assume the correct view of the Judeo-Christian God, which is that this being created everything except for itself.

{exist} \ {God} + {God} = {exist}

Quote:Thus, existence already exists, and doesn't need to be created.
Existence as a concept already existed, but that doesn't mean that the entire set of existing things exists. Existence already existed at the time of the Big Bang, but humans didn't. By your argument, humans already existed 13.7 billion years ago, which is false.

The Judeo-Christian God was the first existing thing, and added to the set of existing things by creating stuff. It isn't a hard concept to grasp, and I'm afraid this mathematical "disproof" fails on all counts.

not really, you're using the set {exists} in correctly...

Either something exists and belongs in the {exists} set... or it doesn't and it belongs in the {no/exist} set.

using god as a seperate set outside of the other two sets doesn't work...

Predicate logic is black/white... etc... just raw logic...

Everything MUST belong to {exists} or {no/exist}. One or the other.
Reply
#7
RE: First Order Predicate Logic vs The Judeo-Christian creator
I hate math.
Reply
#8
RE: First Order Predicate Logic vs The Judeo-Christian creator
(April 8, 2010 at 1:55 pm)Minimalist Wrote: I hate math.

Awesome!

Haha Big Grin
Reply
#9
RE: First Order Predicate Logic vs The Judeo-Christian creator
(April 8, 2010 at 11:37 am)Tiberius Wrote: The paradox is destroyed if we actually assume the correct view of the Judeo-Christian God, which is that this being created everything except for itself.

{exist} \ {God} + {God} = {exist}

Quote:Thus, existence already exists, and doesn't need to be created.
Existence as a concept already existed, but that doesn't mean that the entire set of existing things exists. Existence already existed at the time of the Big Bang, but humans didn't. By your argument, humans already existed 13.7 billion years ago, which is false.

The Judeo-Christian God was the first existing thing, and added to the set of existing things by creating stuff. It isn't a hard concept to grasp, and I'm afraid this mathematical "disproof" fails on all counts.

If existence is eternal, why need a God? Wouldn't things pretty much sprout on their own sooner or later with an infinite amount of time?

Also, who created existence if God is subject to it?
Reply
#10
RE: First Order Predicate Logic vs The Judeo-Christian creator
(April 8, 2010 at 1:51 pm)pack3tg0st Wrote: Either something exists and belongs in the {exists} set... or it doesn't and it belongs in the {no/exist} set.
I got that, and I didn't use it incorrectly. Perhaps you are unfamiliar with set notation?

{exist} \ {God} means "Everything in the set of existing things minus the subset containing God". So {exist} \ {God} + {God} = {exist} simply states that the set of everything that exists apart form God, plus God, equals the set of everything that exists. It is the same as saying: 2 - 1 + 1 = 2
Quote:using god as a seperate set outside of the other two sets doesn't work...
Well it does if you aren't breaking the rule that everything has to be in one set of the other. How else can you reference specific items of either set?

My point of contention is that you are arguing that everything in {exist} must already exist at the beginning, and therefore God cannot possibly have created everything in the {exist} set. You ignore the common Christian belief that God created (brought into existence) everything.

Thus, at the "beginning":

{exist} = {God} (The only thing existing was God)
{no/exist} = Every possible thing that does not exist.

God, being supposedly all-powerful, then moves items from the set of {no/exist} into the set of {exist}. So, say for example that God creates man:

{exist} = {exist} U {man}
{no/exist} = {no/exist} \ {man}

In the first step, God puts {man} in the {exist} set, since he now exists. He simultaneously (so as not to break your rule) removes {man} from the set of {no/exist}.

(April 8, 2010 at 5:45 pm)tavarish Wrote: If existence is eternal, why need a God? Wouldn't things pretty much sprout on their own sooner or later with an infinite amount of time?
Existence isn't actually a thing though. Existence itself doesn't belong in the set {exists} since it would be contradictory. Existence is an attribute of the system, nothing else. The very system was set up so as to preclude existence, otherwise you could not come up with the rules he set out at the beginning (that everything that exists belongs in {exist}, and everything that doesn't is in {no/exist}). If there is nothing that exists that can bring things into existence, how do expect things to move out of the {no/exist} set into the {exist} set?
Quote:Also, who created existence if God is subject to it?
See above. Existence is an attribute (and a subjective one at that). It is an attribute of the system used to describe relationships between the {exist} and {no/exist} sets, not an object in the set.
Reply



Possibly Related Threads...
Thread Author Replies Views Last Post
  Creator God Gets to Make the Rules zwanzig 25 2945 August 6, 2023 at 3:59 pm
Last Post: LinuxGal
  [Serious] Care to Seriously Consider the Existance of a Creator (God)? theMadJW 117 15377 April 29, 2020 at 12:40 pm
Last Post: polymath257
  God as a non-creator Fake Messiah 13 2230 January 21, 2020 at 8:36 am
Last Post: Fake Messiah
  Satirical logic for the atheistic mind Drich 158 23693 June 13, 2018 at 9:22 pm
Last Post: Amarok
  What is the logic in "life after death"? Fake Messiah 52 9891 March 11, 2017 at 6:43 pm
Last Post: comet
  If there is a creator, so what? robvalue 334 39366 November 21, 2016 at 3:34 pm
Last Post: philadelphialawyer
  Christoid Logic GodCherry 162 23147 February 19, 2016 at 3:48 am
Last Post: God of Mr. Hanky
  divine logic? ignoramus 30 7167 June 26, 2015 at 4:58 pm
Last Post: Godscreated
  Embrace Judeo-Christian culture and values! Is this politician serious? Greatest I am 14 3946 February 9, 2015 at 10:01 pm
Last Post: Minimalist
  Disbelief in an intelligent creator = far fetched? Silver 39 9218 January 12, 2015 at 10:07 am
Last Post: Nope



Users browsing this thread: 2 Guest(s)