CAN FIRST-ORDER LOGICAL TRUTH BE DEFINED IN PURELY EXTENSIONAL TERMS?

W. V. Quine thinks logical truth can be defined in purely extensional terms, as follows: a logical truth is a true sentence that exemplifies a logical form all of whose instances are true. P. F. Strawson objects that one cannot say what it is for a particular use of a sentence to exemplify a logical form without appealing to intensional notions, and hence that Quine's efforts to define logical truth in purely extensional terms cannot succeed. Quine's reply to this criticism is confused in ways that have not yet been noticed in the literature. This may seem to favour Strawson's side of the debate. In fact, however, a proper analysis of the difficulties that Quine's reply faces suggests a new way to clarify and defend the view that logical truth can be defined in purely extensional terms.