Logic - modal properties?

Question

A proposition's modal status never changes, if we have two propositions P1: Joe will of his own free will turn either left or right when he arrives at the stop sign tomorrow and P2: An omnisicient being already knows which way Joe will turn tomorrow. P1 is contingent and P2 is necessary; since the modal status does not change, we often make the mistake that P2 changes the modal status of P1 and make it necessary; however, since the modal status in fact doe not change, we may conclude that libertarian free will can co-exist with omniscience.

comments?

Answer 1

It does not make common sense that the determination of whether Joe turns left or right was predetermined a millesecond after the big bang.

That aside, If an omnisicient being knew of future events and does nothing to change those events, then that being is not omnipotent. Unless, in his omnipotency he decides not to act.

Whether Joe turns left or right is either contrary to the omniscicient being's will or in accordance with his will, it can't be both... If you say Joe's decision is in accordance with god's will, then libertarian free will cannot exist. If you say Joe's decision is contrary to god's will, then liberterian free will does exist and can co-exist with omniscience, but not omnipotency.

Answer 2

E FN W, helped me think this through. The crux of your argument would rest in the omnipotence of the omniscient being, and its will. If omnipotent and its will was that Joe choose as Joe would will, then I see no conflict. I will grant you your point.