Although perhaps C1 could be clarified:
P1: God foreknows that I will choose X.
P2: If there are no possible worlds where I could choose not-X then it is necessary that I choose X.
P3: If it is necessary that I choose X then I have no freewill.
P4: There are possible worlds where I could choose not-X.
C1: Therefore, God can foreknow that I will choose X without it being necessary that I choose X.
C2: Therefore, I have freewill.
P1: God foreknows that I will choose X.
P2: If there are no possible worlds where I could choose not-X then it is necessary that I choose X.
P3: If it is necessary that I choose X then I have no freewill.
P4: There are possible worlds where I could choose not-X.
C1: Therefore, God can foreknow that I will choose X without it being necessary that I choose X.
C2: Therefore, I have freewill.
Comment