  Truth, in Quine’s view, is immanent, as opposed to transcendent. In accord with his fundamental naturalism, he sees judgments of truth as made from within our theory of the world. For this reason, he sympathizes with what is sometimes called disquotational theory of truth: to say that a sentence is true is, in effect, to assert the sentence. Two qualifications must be made. First, the disquotational view is not a definition of “is true”. It enables us to eliminate the predicate from contexts in which it is applied to a finite number of specific sentences, but not from contexts where it is applied to infinitely many. Contexts of the latter kind are of particular importance to logical theory. We say, for example, that a conjunction is true just in case both conjuncts are true; here “is true” cannot be eliminated. (Unless, indeed, we ascend to a metalanguage and give a definition of truth for the object language that we are concerned with, following Tarski 1933.) Second, calling an eternal sentence true is in one way unlike asserting it. If we subsequently change our verdict on it we say that we used to believe it but now we don’t. We do not, however, say that it used to be true but now it isn’t; rather we say that it was never true. Quine, however, sees this as simply a point of usage, with no particular philosophical implications.