truth in all possible worlds would be somewhat finer,
&gt; but still too coarse, since it would treat "2+2=4" as synonymous
&gt; with Fermat's Last Theorem.

I do not see that as a problem, at least, not any more than saying
that both denote the same logical object.  A logical fact, once we
find it, does not change a thing about the pragmatic difficulty of
finding it.  The difficulty of getting that dogie into that corral
is a property of the dogie, not of the corral.  I would be willing
to entertain the no