P
Peter_Plato
Guest
That isn’t the argument.Ec > Gc (E implies G)
~Ec (Not E)
Then implied:
~Gc
Therefore ~Ec
This is neither Modus Tollens nor a valid argument. ~Ec does not imply ~Gc. If it is not the case that God must have have a cause, it is not implied that it is the case that Everything must not have a cause.
The argument is…
If it is true that Everything has a cause (Ec) then in must be true that every specific thing (for example, God, must have a cause (Gc).
If (Ec > Gc) is true, then ~Gc means ~Ec.
The reason is if G is included in the set E, then Ec can only be true if Gc. There is a logical dependency set up in the first conditional because “everything” includes God. And because everything includes God, what is true about everything must be true about God.
My objection (again) is that God is not one being in the set “everything” and, therefore, the argument that whatever applies to everything applies to all things need not fit or apply to God and still be true.
If I claim…
Every mammal is born live Ma, that means any particular mammal such as a platypus is included in the set “mammal.” The claim that “all” mammals are born live allows no exception, therefore to find one that is born live nullifies the claim Ma (ALL mammals are born live.) If ~Pa, (it is not the case that platypuses are born live) then ~Ma (it is not the case that all mammals are if platypuses belong to the set mammals) precisely because there exists at least one mammal (the platypus) that is not born live.
Notice, I cannot point to the fact that a robin is not born live as a defeater for Ma because robins are not part of the class “mammalia.” Likewise, if God is not part of the set “everything,” then ~Gc is irrelevant to the claim Ec.
This is clearly true and not the least bit controversial. I am not sure why you are even contesting it. Go to the Wiki link I provided, where it is clearly explained.