In all the excitement generated by yet another debater whom Call_of_the_Wild is responding to, my reply has gone unanswered for some time, even though I gave what I was asked to. Some highlights, then, of
that post:
If there can be no change without time, then the creation of the universe didn't change anything.
A proof:
1) If something really exists it must exist in some reality |A
2) God existed when the universe did not |P
3) God created the universe | P
4) Time did not exist until the universe did. |P
5) Without time, change is impossible |P
6) There was a reality that existed without time which changed by the creation of the universe (the universe was not, and then was; ergo change) | from 3, P & 1, MP
Conclusion: The universe doesn't exist | from 5 & 6 via contradiction
[comment: the notations are designed not meant to mean much, as they are intended (like the derivation) illustrate how a proof of the kind Plantinga, Craig, and everyone else uses not just statements, but works within a logical system. Every single step is justified by precise structure and rules]
Also an illustration of what derivations involve, while at the same time addressing Call_of_the_Wild's "proof":
1. God, by definition, is a MBG that exists necessarily. |
P (for premise) or A (for assumption) ?
Comment:
Let X by any event or entity (including a MGB). If X exists necessarily, then X exists in all possible worlds. That means X exists in our world. So step one asserts that God exists in this world. Why? Which system are you using?
2. It is possible for a maximally great being to exist in some possible world.
| A (or it is redundant but follows from 1 )
Comment:
The statement isn't derived as is, and although it could follow from 1 it would just be redundant, as 1 already accepts as given that God exists in our world. EVEN with a better first step, this statement is still internally redundant, as being possible means that it exists/happens in some possible world
3. If it is possible for a maximally great being to exist in some world, it is possible for a maximally great being to exist in this world.
| ?Tautology
Comment:
If a MGB exists in some possible world, that again means it is possible for a MGB to exist in this world.
4. If it is possible for a maximally great being to exist in this world, then a maximally great being must exist in this world. | ?
Comment:
This is false. There are only certain systems in which this is valid, but such systems require things not in your proof.
On what Penrose
really says:
In The Road to Reality he states (p. 758) that "We do not have much idea, for example, what conditions are actually necessary for the production of sentient life."
and (emphases added): "It seems to me that with a spatially infinite and essentially uniform universe (e.g., K ≤ 0, in the standard models) the strong anthropic principle is almost useless for tuning physical parameters, beyond demanding that the physical laws be such that sentience is possible (which is, itself fairly unusable, since we do not know the prerequisites for sentience). For if sentient life is possile at all, then we expect that, in a spatially infinite universe, it will occur. This will happen even if the conditions for sentience are extraordinarily unlikely to come about in any given finite region of the universe." (p. 760).
On yet another attempt to explain conditionals in proofs;
The point is the argument assumes God exists: If God exists, then God is all-powerful". How might this be refuted? Simply by saying God doesn't exist.
Every conditional is an assumption.
When you can explain how one conditional does not entail contingency, but the example of "if x the y" with the Japanese woman does, then we can start dealing with what the terms you use really mean.
You are talking about things you don't understand, namely this: X→□◊X or this ◊(∃x)□[(E!x ⊃ Px) & E!x] or a number of other systems that deal with things like necessarily possible or possibly necessary. They all have different ways of showing how to get from possible to necessary through
rules that are valid. Your "proof" starts by stating God exists in this world and ends with saying that anything which is possible it true.
There was much more in the link I have to that post, and given that I answered once again what was demanded of me, I don't find it unfair to have answers either accepted or justifiably refuted by actually addressing that post (and
not this one; the original post)