  Regimentation, in Quine’s view, involves paraphrase into logical notation. Such paraphrase greatly clarifies and simplifies our theory. Inferences which are a matter of logic will be revealed as such; where additional assumptions are required it will be explicit just what is needed. The logic which Quine takes as the structure of regimented theory is classical (bivalent) first-order logic with identity. Bivalence is justified on the grounds of simplicity. It is not that we have some independent insight into the nature of the world which shows us that every sentence of regimented theory is either true or false. It is, rather, that the simplicity that we gain from making this assumption, justifies our using a bivalent language; the metaphysical claim follows along. (This reversal of direction should remind us of Carnap. The difference is that Quine does not accept the Principle of Tolerance; see section 3, above.)