1. A proposition < o,p> is true at w iff o is in the extension of P at w; otherwise it is false at w.
2. A propositions < not,< s>> is true at w iff NOT(Vsw)=T where Vsw is a truth value of S at w; otherwise it is false at w.
3. A proposition < < some,p>,Q> is true at w iff
is in the extension of SOME at w; otherwise it is false at w.
4. A proposition < possibly,< s>> is true at w iff POSSIBLY(S,w)=T
This is an account of true-at that does not require that a proposition exist at the world at which it is true. This is a major move for King, but I think there are a couple snags that still get him into trouble.
Snag 1: Narrow Metaphysical Acceptability
King is admittedly and actualist, which means he believes that all possible worlds actually exist. However, I think his view of propositions limits what sorts of things you can take to be possible worlds, i.e. he can't take possible worlds to be maximal sets of propositions. Here's an argument for that:
1) There are some things that cannot be asserted in currently existing languages
2) (1) -> (3)
3) There are some ways the world might be such that no proposition represents the world being that way
4) (3) -> (5)
5) Maximal sets of propositions contain insufficient information to be possible worlds
I won't defend each premise here, I'll just give the gist. Suppose we could have had different phenomenal experiences than those we actually do. We are (plausibly) unable to represent those experiences in our language. But by hypothesis we could have had those experiences. But if King is right, there are no propositions that assert (of the particular experiences) that we have or do not have them.
If King has general nominalistic tendencies, he'll shy away from the alternate view that possible worlds are maximal ways the world could have been. These properties are un-instantiated, and spooky!
Related to my paper topic, I'll just point out that King is comitted to the following being true:
'Possibly every proposition is false'
'Possibly every proposition is true'
'Possibly every proposition is both true and false' (this will be true if worlds devoid of propositions are possible)
'There are no propositions expressed by hypothetical languages with sufficiently different syntax' (not as long as the language remains hypothetical anyway)
'The proposition that mary swims could have been true at a world at which mary doesn't swim' (this would be the case if we used the proposition that mary swims to represent something else)