My question arises from a debate I had seen between Mohammed Hijabi and Alex O'Connell (the debate) where it seems like Hijabi was admitting to the fact that all contingent things must come from and stem from a necessary existence where the necessary existence is clearly different from any contingent thing that follows, while Alex on the other hand thinks that the universe is a necessary existence and is contingent at the same time which I think is logically flawed.
The logic behind the necessary separation between any contingent substance and a necessary existence can be shown by Gottfried Leibniz using his principle of sufficient reason and also his principle of non-contradiction. Although in the past there seems to be other philosophers like Spinoza that do not make use of this principle to see this clear distinction between necessary existence and contingent substance, same thing with Hegel.
I feel like the stances held by Spinoza, Hegel and also Alex are logically and mathematically erroneous and truly don't make sense, this can again be shown by using the arguments of Aristotle's "Unmoved mover" or "Unchanged changer" argument where we do know that the universe is moving (expansion of space) and changing constantly so according to Alex for the universe to be a necessary existence and contingent would make it a "changed changer" which will beg the question what changed it and how is it changed and will put the burden of explanation on Alex's stance and will need an additional explanation (which doesn't fulfill Occam's razor) but Hijabi's stance is actually well-stated and complete i.e., using Occam's razor sufficiently as well as leaving no other extra steps. Is this a right assessment of both sides and if not why?
One other thing that I would like to mention is the use of Occam's razor, I first thought that Alex was making a correct use of Occam's razor until I remembered that Occam's razor must sufficiently explain the necessary phenomena without any other additional beings and as a result of the logical contradiction (it needs the addition of another being) posed by Alex's stance it violates Occam's razor and the correct use of Occam's razor is being done by Mohammed Hijabi, but I am still partially sure of this. Is this a right assessment of the debate?
Hijabi poses logical, mathematical, philosophical rigor and consistency where there are no holes, contradictions and inconsistencies while Alex's stance poses more questions and seems to be logically contradictory. Is this right?