Re: what makes it true?

Ben Rudiak-Gould <br276deleteme@xxxxxxxxx> writes:

> Finally, Goedel's completeness theorem says that you can't even settle the
> question by modeling the system inside some more powerful system, because in
> some models you'll be able to prove Q and in others you'll be able to prove
> not-Q, and the same goes for P and not-P.

Since the completeness theorem doesn't say this, you must have in
mind some argument based on the completeness theorem. It's not clear
from your comments what argument you have in mind. By "in some models,
you'll be able to prove Q and in others you'll be able to prove
not-Q", do you mean that "we can prove, for some models, that Q is
true in the model, and for others that not-Q is true in the model"?
If so, how does this tell us anything about whether or not we can
prove Q?


.