It is not the case that Flint and Freddoso's account of omnipotence implies that in W, at t, Oscar has the power to actualize (e), because: (i) (e) is not a member of a world-type-for-Oscar; (ii) the same world-type-for-Oscar is true in both W and W*; (iii) it is possible for someone at t to actualize (e) in W*, which shares the same history up to t as W.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.