  This argument belongs to a type now called “slingshot arguments” (because a giant opponent is brought down by a single small weapon, allegedly). The first versions of this type of argument were given by Church (1943) and Gödel (1944); it was later adapted by Quine (1953, 1960) in his crusade against quantified modal logic. Davidson is offering yet another adaption, this time involving the expression “corresponds to the fact that”. The argument has been criticized repeatedly. Critics point to the two questionable assumptions on which it relies, (i) and (ii). It is far from obvious why a correspondence theorist should be tempted by either one of them. Opposition to assumption (i) rests on the view that expressibility by logically equivalent sentences may be a necessary, but is not a sufficient condition for fact identity. Opposition to assumption (ii) rests on the observation that the (alleged) singular terms used in the argument are definite descriptions: their status as genuine singular terms is in doubt, and it is well-known that they behave rather differently than proper names for which assumption (ii) is probably valid (cf. Follesdal 1966/2004; Olson 1987; Künne 2003; and especially the extended discussion and criticism in Neale 2001.)