 Tarski (1936) granted the language-relativity of the reconstructed notion of analyticity in Logical Syntax. He also did not object that Carnap’s procedure of circumventing the problem which the Gödel sentences presented to the thesis of the analyticity of arithmetic was illegitimate. Tarski rather questioned whether there were “objective reasons” for the sharp distinction between logical and non-logical terms and he pointed out that Carnap’s distinction between the logical and the empirical was not a hard and fast one. Since noting that the distinction between logical and non-logical was not a sharp one and arguing that no principled distinction could be upheld between them are two quite different reactions, however, Tarski’s point on its own does not fully support the Quinean critique. Quine’s conclusion (1940, §60) that the notion of logical truth itself is “informal” rather reflects the moral that he drew from Tarski’s observation. It appears that what motivated him (after a nominalistic interlude in the 1940s) to develop his naturalistic alternative to Carnap’s conception of philosophy was his considered rejection of Carnap’s accommodation of the thesis that arithmetic is analytic to Gödel’s result.