Thus according to Quine, our linguistic conventions must either include the infinite number of the form ‘(Sentence 1) and ‘(Sentence 2) implies (Sentence 2)’,or this single,general convention,in which case we need logic in the metalanguage to derive all its instances.