J
john_doran
Guest
ok, i’ll bite. here’s a formally valid proof:If you cannot prove something in formal mathematical/symbolic logic then it is unproven. That is the only rigorous form of argument which is fully verifiable and testable to assure something is not missed. Other forms of logic and philosophical argument can result in proofs, but they are always able to then be formulated in symbolic form and thus checked. If they cannot be, no amount of thinking carefully and thoroughly replaces this mathematical check and so they remain considered unproven.
either 1+1=3 or god’s foreknowlege does not preclude free choice;
1+1 does not equal 3;
therefore god’s foreknowledge does not preclude free choice.
see?
p or q;
~p;
q
i guess i win…
you should care. if what you need to prove is that there are no true propositions about free choice, then the argument is no longer about (god’s) omniscience: it’s about the existence of free choices. and if that’s what it’s about, then omniscience is no longer an issue.I don’t care what you want to prove. My point was, which you seem to be trying to side step is that you should not use the term obviously unless you have a formal mathematical logic argument to present. You attempt to put symbols to the points without applying any operators to them is not a proof, so don’t use the word obviously. It just isn’t justified.
right. except that it is something i can freely choose to do, by definition.Right, and if it is something you cannot freely choose to do then you have no free will !!!
look, if i cannot not freely choose to eat cornflakes, then, necessarily, i freely choose to eat cornflakes. which means that, a fortiori, i can make a free choice.
so where’s the problem?
not so: it’s not that we cannot change the choice once god knows that we’ll make a free choice - it’s that we can’t change that the choice is free.No, unfortunately for you argument this is not a proper description of the other view. This is because we cannot be freely choosing if we are not able to change that choice right up to the very last instant, and the moment God knows what is it we are going to freely choose, that infallible knowledge removes the possibility that we will freely choose anything else. Our free will is removed at that moment. So the choice when it comes is not free.
but that doesn’t make the choice any less free.