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: October 4, 2024, 5:18 pm

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
First order logic, set theory and God
RE: First order logic, set theory and God
(December 6, 2018 at 6:25 pm)Belaqua Wrote:
(December 6, 2018 at 9:24 am)Grandizer Wrote: So ... now that I've fully read the OP, I went through the first two to three pages of this thread, and it turns out that first Jorm and then Khem/Gae already pointed out the one problem that stands out with the argument: that the first cause need not be a supernatural God, even if the OP decides to call it "God" anyway.

So Belaqua, you were being unfair in saying that no one effectively addressed the argument earlier.

Really, that was all that was needed to be pointed out. I admit on the basis of my full reading of the OP, my initial counterargument was overkill.

Early on, dron3 made it clear that the argument only addresses a first cause. To show that this cause is anything like a Muslim or Christian God demands lots of other arguments. 

I pointed that out too, as I recall. 

I missed that part. Could you quote it for me? And as Gae notes, that seems to be at odds with both the title of the thread and his objection to my pointing out that his argument didn't prove God. If that wasn't his intent, then what was all that pissing and moaning about my counter-argument intended to accomplish?

And I just skimmed the OP again, and God is explicitly mentioned multiple times.. Where exactly are you getting this notion that he doesn't intend this as a proof of God from exactly?
[Image: extraordinarywoo-sig.jpg]
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 6:25 pm)Belaqua Wrote:
(December 6, 2018 at 9:24 am)Grandizer Wrote: So ... now that I've fully read the OP, I went through the first two to three pages of this thread, and it turns out that first Jorm and then Khem/Gae already pointed out the one problem that stands out with the argument: that the first cause need not be a supernatural God, even if the OP decides to call it "God" anyway.

So Belaqua, you were being unfair in saying that no one effectively addressed the argument earlier.

Really, that was all that was needed to be pointed out. I admit on the basis of my full reading of the OP, my initial counterargument was overkill.

Early on, dron3 made it clear that the argument only addresses a first cause. To show that this cause is anything like a Muslim or Christian God demands lots of other arguments. 

I pointed that out too, as I recall. 

As to whether the first cause can be a part of nature, or has to be somehow outside of nature, that's a part of the argument. That's what all the talk about a whole system vs. a part of that system is about. If a natural object exists, then nature exists. But if nature already exists, then it can't be caused by nature. That's a pretty basic part of the premises.

The argument doesn't rule out a first cause that is eventually part of nature.

In fact, the OP explicitly stated that the first cause G is a component of the whole reality V, which contains all the other components G causes.
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 6:52 pm)Grandizer Wrote: In fact, the OP explicitly stated that the first cause G is a component of the whole reality V, which contains all the other components G causes.

Yes, I don't understand that part of his argument. 

Maybe he doesn't equate "reality" with "nature." 

Anyway, it looks as though he's not posting here anymore, so we can't ask him. It's understandable that after all the childishness he'd walk away.
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 7:08 pm)Belaqua Wrote:
(December 6, 2018 at 6:52 pm)Grandizer Wrote: In fact, the OP explicitly stated that the first cause G is a component of the whole reality V, which contains all the other components G causes.

Yes, I don't understand that part of his argument. 

Maybe he doesn't equate "reality" with "nature." 

Anyway, it looks as though he's not posting here anymore, so we can't ask him. It's understandable that after all the childishness he'd walk away.

If he was upset about the childishness he could have stopped posting it at any time.
[Image: extraordinarywoo-sig.jpg]
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 7:10 pm)Jörmungandr Wrote:
(December 6, 2018 at 7:08 pm)Belaqua Wrote: Yes, I don't understand that part of his argument. 

Maybe he doesn't equate "reality" with "nature." 

Anyway, it looks as though he's not posting here anymore, so we can't ask him. It's understandable that after all the childishness he'd walk away.

If he was upset about the childishness he could have stopped posting it at any time.

Likely he's moved on to another skeptic forum to do his cut-and-paste dump.
Atheist Forums Hall of Shame:
"The trinity can be equated to having your cake and eating it too."
...      -Lucent, trying to defend the Trinity concept
"(Yahweh's) actions are good because (Yahweh) is the ultimate standard of goodness. That’s not begging the question"
...       -Statler Waldorf, Christian apologist
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 7:13 pm)DeistPaladin Wrote:
(December 6, 2018 at 7:10 pm)Jörmungandr Wrote: If he was upset about the childishness he could have stopped posting it at any time.

Likely he's moved on to another skeptic forum to do his cut-and-paste dump.

I think I should move on as well.

Good luck to all.
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 7:08 pm)Belaqua Wrote: It's understandable that after all the childishness he'd walk away.

Hehe Yes, people who post a bunch of childish replies often do cut and run.
[Image: extraordinarywoo-sig.jpg]
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 7:08 pm)Belaqua Wrote:
(December 6, 2018 at 6:52 pm)Grandizer Wrote: In fact, the OP explicitly stated that the first cause G is a component of the whole reality V, which contains all the other components G causes.

Yes, I don't understand that part of his argument. 

Maybe he doesn't equate "reality" with "nature."

What real difference would that make? By your reasoning from earlier, reality cannot be caused by a real entity, and clearly this doesn't make sense.

Unless the OP effectively shows that nature could not have been caused by a natural entity, then he wasn't effectively ruled out naturalism yet.

Besides, one sole natural entity existing only renders nature equal to the entity, and not beyond.

(December 6, 2018 at 7:19 pm)Belaqua Wrote:
(December 6, 2018 at 7:13 pm)DeistPaladin Wrote: Likely he's moved on to another skeptic forum to do his cut-and-paste dump.

I think I should move on as well.

Good luck to all.

I don't mean this as a dig at you, but maybe a theist forum would be a better fit for what you're after. I don't mind you staying around of course. That's up to you. Either way, good luck to you as well.
Reply
RE: First order logic, set theory and God
(December 5, 2018 at 8:36 am)polymath257 Wrote: Once again, what allows you to construct the system V in this 'proof'? What set theory are you using?

The problem is that sets of the type of V are *known* to not be constrictible in most standard set theories: they lead to inconsistencies like Russell's paradox or Cantor's paradox. They are 'too big' to be sets.

So, unless you give *first order* axioms allowing for the construction of your system V, you have no proof.

Good luck.

Next, your axiom of sufficiency is way, way too strong. In all likelihood, the *most* that we can say is that all *finite* phenomena have causes (whether themselves or another). But, if this is the case, then there is no guarantee your system V (even if you can construct it) will have a cause since it is likely that V is an infinite system.

Also, remember that constructing infinite systems is not a first order process in general.

The way the proof avoids Russell's paradox boils down to how concepts are defined and classified.


It is crucial to understand that with respect to composition, we have a hierarchy of complexity.

Let us define the words - componential as the attribute of being a component and composite as the attribute of having components.

1- At the lowest level is the componential non-composite entity A which is a component but does not have any component, such that x∉A∈B, for some B.

2- Next, are componential composite entity A which both have components and are components, such that E∈A∈B, for some E and B,

3- Finally, you have the non-componential composite entity A which have components but is never a component of anything, such that B∈A∉x, for some B.


Now according to the above definitions, V can be defined as the whole of reality which is that non-componential composite entity whose components are precisely all existing entities who are necessarily componential and can either be composite or non-composite.

Now according to Russell's paradox, the pertinent question to ask ourselves is if V as the set of all existing componential entities, a componential entity itself and therefore a member of that set?

Well no, since by the very definition of V, it has already been established that it is non-componential. But then one might ask " how can we know that V is non-componential and hence not a component of anything ? " Well because if we assumed V to be componential, then by definition it cannot be the set of all existing componential entities as one will commit the error of Russell's paradox where V becomes a member of the set of all componential entities. Therefore V∈V.

Alternatively we ask, can V as an non-componential entity be the set of all componential entities ? Yes, because non-componential and componential are two distinct categories and thus V can become the set of all existing componential entitities without becoming a member of that set. On that basis, we have completely disqualified V as a universal sets of all sets(and therefore Russell's paradox is not an issue anymore) by restricting V as a set of all sets that satisfies the property that every entity A of a set is componential.


As for your argument about the principle of suffiency - your notion V being an infinite system requiring no cause is a baseless assumption, and I would even further argue, that such an assumption can be nullified by the very fact that V is composite. Since we can admit that V does not even exist until all its components exist, then it begs the question as to when will V ever be formed if it would take an infinite amount of time for it components to come into existence ? Never. Thus to entertain V as an infinite system is tantamount to the denial of it's very existence.



(December 5, 2018 at 9:38 am)Mathilda Wrote:
(December 4, 2018 at 9:34 pm)dr0n3 Wrote: There is nothing for me to demonstrate at this point - most of your arguments, did however, demonstrate a thinly veiled attempt to shift the paradigm to make it appear as if Hatcher's proof was trying to establish the complexity of reality, when the contention was that of substantiating the origin of reality. God damn it, learn to read. The O-R-I-G-I-N. Not the complexity and the physical laws that governs reality. 

It's utterly laughable that you have gone at great length trying to establish that the laws of thermodynamics was more fitting at explaining reality than logic, when all of this was totally irrelevant. You've wasted your time arguing on notions that were completely extraneous to Hatcher's proof, and not worth considering in discussing.


So let's summarise here.

You are making an argument about how absolutely everything in the universe came to exist (because of your god) by using a rule that inadequately describes how things happen within this universe (causation) to explain how the universe was created by something external to it.

By doing this you are saying that the laws that govern this universe also exist in the larger external universe that this universe exists in (but without explaining how that external universe was created)


I point out how your argument does not adequately describe how things happen within this universe (causation abstracts over thermodynamics and continuous processes) and your response is you're only talking about the origin and not 'the complexity and the physical laws that governs reality'.


So is causation NOT a physical law that governs reality and explains complexity?

Why are you using causation but not thermodynamics?

Or are you arguing that how this universe functions says nothing about how it was created? In which case why refer to causation at all and just argue that the universe was created by magic?


" ... to explain how the universe was created by something external to it."


That's an ill-founded claim. I, neither Hatcher, have stated that the cause was external to V(universe or reality), if you had read carefully, you'd see that G is either a component or a subsystem of V and hence internal (part of) to V, while being different from V itself; G ≠ V. On that basis, your idea of a "larger external universe" containing another universe - is bogus, nonsensical and to be categorically dismissed.


The law of causality is a broad concept that can be applied and interpreted in almost any area, and as such there is a plethora of causality theories. However, fundamentally speaking, causality is a logical and relational principle. It's not a physical law, per se (although it could be extended to physics). The reason why casaulity is used in hatcher's proof is because it attempts to articulate the ultimate origin of existence. Thermodynamics doesn't. All it does is it explains the entropy of thermal energy and its conservation within the universe, and for that reason it falls flat at demonstrating the existence of a metaphysical reality.
Reply
RE: First order logic, set theory and God
(December 6, 2018 at 11:12 pm)dr0n3 Wrote:
(December 5, 2018 at 8:36 am)polymath257 Wrote: Once again, what allows you to construct the system V in this 'proof'? What set theory are you using?

The problem is that sets of the type of V are *known* to not be constrictible in most standard set theories: they lead to inconsistencies like Russell's paradox or Cantor's paradox. They are 'too big' to be sets.

So, unless you give *first order* axioms allowing for the construction of your system V, you have no proof.

Good luck.

Next, your axiom of sufficiency is way, way too strong. In all likelihood, the *most* that we can say is that all *finite* phenomena have causes (whether themselves or another). But, if this is the case, then there is no guarantee your system V (even if you can construct it) will have a cause since it is likely that V is an infinite system.

Also, remember that constructing infinite systems is not a first order process in general.

The way the proof avoids Russell's paradox boils down to how concepts are defined and classified.


It is crucial to understand that with respect to composition, we have a hierarchy of complexity.

Let us define the words - componential as the attribute of being a component and composite as the attribute of having components.

1- At the lowest level is the componential non-composite entity A which is a component but does not have any component, such that x∉A∈B, for some B.

2- Next, are componential composite entity A which both have components and are components, such that E∈A∈B, for some E and B,

3- Finally, you have the non-componential composite entity A which have components but is never a component of anything, such that B∈A∉x, for some B.


Now according to the above definitions, V can be defined as the whole of reality which is that non-componential composite entity whose components are precisely all existing entities who are necessarily componential and can either be composite or non-composite.

Now according to Russell's paradox, the pertinent question to ask ourselves is if V as the set of all existing componential entities, a componential entity itself and therefore a member of that set?

Well no, since by the very definition of V, it has already been established that it is non-componential. But then one might ask " how can we know that V is non-componential and hence not a component of anything ? " Well because if we assumed V to be componential, then by definition it cannot be the set of all existing componential entities as one will commit the error of Russell's paradox where V becomes a member of the set of all componential entities. Therefore V∈V.

Alternatively we ask, can V as an non-componential entity be the set of all componential entities ? Yes, because non-componential and componential are two distinct categories and thus V can become the set of all existing componential entitities without becoming a member of that set. On that basis, we have completely disqualified V as a universal sets of all sets(and therefore Russell's paradox is not an issue anymore) by restricting V as a set of all sets that satisfies the property that every entity A  of a set is componential.  


As for your argument about the principle of suffiency - your notion V being an infinite system requiring no cause is a baseless assumption, and I would even further argue, that such an assumption can be nullified by the very fact that V is composite. Since we can admit that V does not even exist until all its components exist, then it begs the question as to when will V ever be formed if it would take an infinite amount of time for it components to come into existence ? Never. Thus to entertain V as an infinite system is tantamount to the denial of it's very existence.
See? That's an argument that V cannot exist. Since it is likely that the collection of all events is infinite, this is a wonderful proof of the non-existence of V.
In essence, you are simply denying the possibility of an infinite regress in this. Otherwise, V would be guaranteed to be infinite. You were wondering how that was avoided as I recall.
As for Russell's paradox and others, the construction of sets of the form of V also allows the construction of Russell sets, which leads to a contradiction. The way out is to only allow the formation of finite sets, which eliminates the construction of V.
Reply



Possibly Related Threads...
Thread Author Replies Views Last Post
  How many of you atheists believe in the Big Bang Theory? Authari 95 7668 January 8, 2024 at 3:21 pm
Last Post: h4ym4n
  It's Darwin Day tomorrow - logic and reason demands merriment! Duty 7 918 February 13, 2022 at 10:21 am
Last Post: BrianSoddingBoru4
Photo The atrocities of religiosity warrant our finest. Logic is not it Ghetto Sheldon 86 7409 October 5, 2021 at 8:41 pm
Last Post: Rahn127
  When and where did atheism first start ? hindu 99 11662 July 16, 2019 at 8:45 pm
Last Post: comet
Tongue Disproving Odin - An Experiment in arguing with a theist with Theist logic Cecelia 983 174225 June 6, 2018 at 2:11 pm
Last Post: Raven Orlock
  "How do I know God exists?" - the first step to atheism Mystic 51 31895 April 23, 2018 at 8:44 pm
Last Post: Edwardo Piet
  a challenge All atheists There is inevitably a Creator. Logic says that suni_muslim 65 16549 November 28, 2017 at 5:02 pm
Last Post: Fidel_Castronaut
  What is logic? Little Rik 278 61919 May 1, 2017 at 5:40 pm
Last Post: Cyberman
  A loose “theory” of the dynamics of religious belief Bunburryist 6 1783 August 14, 2016 at 2:14 pm
Last Post: Bunburryist
  Top misconceptions of Theory of Evolution you had to deal with ErGingerbreadMandude 76 14206 March 7, 2016 at 6:08 pm
Last Post: Alex K



Users browsing this thread: 32 Guest(s)