Re: Moore on Skolem's Paradox

On 25 Sep 2005 09:31:01 -0700, William of Ockham
> The asterixes are there from my last posting. The predicament is NOT
> that some statement is true in one model and false in another. It is
> how we, from our point of view, can state the relativistic statement
> "S is true in one model and false in another" in a language whose
> model is the one in which S is true (S being the statement that P(w)
> is uncountable).

You seem to be getting off track here. The "paradox" has to do with the
fact that S can be *true* in models that are in fact countable, not that
it's true in some models and false in others.

.