DBT
Contributor
Contingency and modal possibility
''In logic, a thing is considered to be possible when it is true in at least one possible world. This means there is a way to imagine a world in which a statement is true and in which its truth does not contradict any other truth in that world. If it were impossible, there would be no way to conceive such a world: the truth of any impossible statement must contradict some other fact in that world. Contingency is not impossible, so a contingent statement is therefore one which is true in at least one possible world. But contingency is also not necessary, so a contingent statement is false in at least one possible world. While contingent statements are false in at least one possible world, possible statements are not also defined this way. Since necessary statements are a kind of possible statement (e.g. 2=2 is possible and necessary), then to define possible statements as 'false in some possible world' is to affect the definition of necessary statements. Since necessary statements are never false in any possible world, then some possible statements are never false in any possible world. So the idea that a statement might ever be false and yet remain an unrealized possibility is entirely reserved to contingent statements alone. While all contingent statements are possible, not all possible statements are contingent''
The above accords exactly with what I have been saying all along,
No doubt. It just doesn't relate all that well with the nature of determinism as it happens to be defined.