Wednesday 21 September 2011

An Analysis of Davidson's Slingshot Argument

There is a peculiar kind of logical fallacy which, ironically, is only committed by people who have an acquaintance with formal logical theory. Fallacies of this kind arise when principles of inference from formal logic are applied inappropriately to arguments carried out in a natural language.

Here I make a case-study of Donald Davidson's famous version of the Slingshot argument against facts. The argument, in its dialectical context, is meant to show that if true statements correspond to facts, then every true statement corresponds to every fact. Davidson tries to demonstrate this conditional in order to motivate us to give up its antecedent (that true statements correspond to facts). Here is the argument:

The confirming argument is this. Let p abbreviate some true sentence. Then surely the statement that p corresponds to the fact that p. But we may substitute for the second p the logically equivalent (the x such that x is identical with Diogenes and p) is identical with (the x such that x is identical with Diogenes). Applying the principle that we may substitute coextensive singular terms, we can substitute q for p in the last quoted sentence, provided q is true. Finally, reversing the first step we conclude that the statement that p corresponds to the fact that q, where p and q are any true sentences. (Davidson 1969, p. 753.)

Let us go through it bit by bit.

The first apparent inference in the argument is curious. 'Then surely' suggests that reasoning is taking place here, but from what? Apparently:

Let p abbreviate some true sentence.

But that is an instruction, not something we can infer from at all. This shows that what Davidson has supplied is not an argument, so much as a recipe for making one. And since this first step is not an inference, it can't be a fallacious inference. Still, in its slightly confusing use of a technique from logic (in this case, schematization) it gives us a small taste of things to come.

Now, following Davidson's recipe, we shall let 'p' abbreviate 'snow is white'. For perspicuity, we shall not use these abbreviations in our writings-out of the steps of the argument. (Surely this could not affect validity.) Thus our first real premise is:

The statement that snow is white corresponds to the fact that snow is white.

Now we are told we may make a substitution, yielding:

The statement that snow is white corresponds to the fact that (the x such that x is identical with Diogenes and snow is white) is identical with (the x such that x is identical with Diogenes).

The first thing to note about the above is that it doesn't obviously mean anything. This should make us suspicious. After all, we are not supposed to be merely calculating with signs here. This is supposed to be an argument - a reasoned chain of statements leading to a conclusion. How did we get to the above sentence, then? There are two things Davidson needs us to accept if we are to go along with this inference:

(1) That it is valid when arguing in English to substitute, for a sentence, a logically equivalent sentence - even when this sentence is embedded in a larger one.

(2) That 'snow is white' is logically equivalent to '(the x such that x is identical with Diogenes and snow is white) is identical with (the x such that x is identical with Diogenes)'.

In trying to assess these claims, we face a stumbling block: the lack of a clear, agreed upon notion of logical equivalence as a relation between sentences of natural languages. Some would say that 'snow is white' is logically equivalent to 'snow is white and Socrates is either mortal or not mortal'. Others would deny this, on the grounds that Socrates' existence is not implied by the original sentence. Some would say that 'John is a bachelor' is logically equivalent to 'John is an unmarried man', by the logics of bachelorhood, gender and marriage. Others would say these are perhaps analytically, but not logically, equivalent, because the equivalence does not turn on the use of "logical vocabulary".

Having made due note of this difficulty, let us observe that Davidson has no problem bringing in, out of the blue, mention of Diogenes. This gives us some handle on Davidson's intended notion of logical equivalence - enough, I think, to justify us in sweeping the difficulty under the carpet so that we may proceed to ask if (1) might be true.

That the answer is 'no' can be seen from these invalid instances:

(i) It is obvious that snow is white. Therefore, it is obvious that snow is white and [some elaborate and opaque tautology].
(ii) If you assume that the square root of two is rational, it is easy to derive a contradiction. Therefore, if you assume that [some elaborate and opaque logical equivalent to 'the square root of two is rational'], it is easy to derive a contradiction.
(iii) The statement that snow is white involves no semantic concepts. Therefore, the statement that snow is white and "grass" either refers to grass or does not refer to grass, involves no semantic concepts.

(In classical formal logic, the range of possibilities for sentential embedding is far narrower than in natural languages, and therefore no analogous counterexamples arise.)

How about (2)? For a start, can we even understand '(the x such that x is identical with Diogenes and snow is white) is identical with (the x such that x is identical with Diogenes)'? The use of the variables and brackets is, in itself, not a deal-breaker, since we can understand '(the x such that x is identical with grass) is green'. But now: on this understanding, what is the role of that which comes after 'such that' in the bracketed construction? Intuitively, the construction as a whole is a referring term, and after the 'such that' ought to go conditions relating to the variable which are met by exactly one of its possible values, thus determining a unique referent.

But then what happens if, as well as conditions involving 'x', we insert closed sentences like 'snow is white'? Well, on the intuitive idea behind the bracketed construction, this just doesn't make sense. Nevertheless, "appropriate" reference-conditions come to mind: a bracketed 'the' construction refers iff the conditions relating to the variable are met by exactly one object and all constituent closed sentences are true. To complete the semantics, we can stipulate that if such a construction refers, it refers (of course) to the condition-meeting value of the variable.

Thus we can define a new kind of referring construction, albeit a strange one. Also, it does appear that our complicated identity sentence, in light of this definition, is logically equivalent (in some sense) to 'snow is white'. Of course, this is of no use to us, since the principle whose application we wanted the equivalence for is invalid.

Before we move on: the addition of this new referring construction to our language may render previously valid principles invalid, so we must now be extra careful. (If, earlier, we had decided that (1) was true - that the unrestricted substitution of logical equivalents was valid - we would now have to go back and reconsider.)

Now, despite the fact that things aren't going very well for our argument, let us press on. We have gotten as far as:

The statement that snow is white corresponds to the fact that (the x such that x is identical with Diogenes and snow is white) is identical with (the x such that x is identical with Diogenes).

And now, citing the principle that we may substitute coextensive singular terms, Davidson has us substitute some true sentence - let us pick 'grass is green' - for 'snow is white'. (This then yields a new 'singular term', '(the x such that x is identical with Diogenes and grass is green)'.) Thus we get:

The statement that snow is white corresponds to the fact that (the x such that x is identical with Diogenes and grass is green) is identical with (the x such that x is identical with Diogenes).

And now we must ask: does the principle of substitution of coextensive singular terms hold in natural language? Notoriously, and as anyone familiar with twentieth-century philosophy of language will know, it (very arguably) does not; there are numerous contexts where such substitutions (strongly seem to) fail. (Witness the existence of intensional logics.) Here is an example of one kind of invalid instance:

Lois Lane knows that Clark Kent is Clark Kent. Therefore, Lois Lane knows that Clark Kent is Superman.

There are also well-known problems with substitution into modal contexts. Furthermore, and closer to our current context: 'the fact that Clark Kent is Clark Kent' does not obviously have the same reference as 'the fact that Clark Kent is Superman', even though the differing embedded singular terms are coextensive. And certainly the statement that Clark Kent is Clark Kent is not identical to the statement that Clark Kent is Superman. For all these reasons, we can not accept an unrestricted principle of substitution of co-extensive singular terms. Thus our last inference was invalid.

Since the final inference is a reversal of the first substitution, that concludes our step-by-step evaluation.

If there be any residual doubt about the invalidity of Davidson's argument (recipe): note that no special properties of the sentence 'The statement that snow is white corresponds to the fact that snow is white', beyond its embedding 'snow is white', are drawn upon in the derivation of 'The statement that snow is white corresponds to the fact that grass is green'. If this were really a valid way of arguing, we would also have to accept the following:

Suppose there is a chameleon, Euclid, who lives in a field of grass. Suppose further that Euclid is green because grass is green. Using Davidson's form of argument. we can infer from this supposition first:

Euclid is green because (the x such that x is identical with Diogenes and grass is green) is identical with (the x such that x is identical with Diogenes).

Then:

Euclid is green because (the x such that x is identical with Diogenes and Davidson is the author of 'True to the facts') is identical with (the x such that x is identical with Diogenes).

And finally:

Euclid is green because Davidson is the author of 'True to the facts'.

Tristan Haze

Reference

Donald Davidson. True to the facts. The Journal of Philosophy, 66(21):74864, November 1969.

Thursday 8 September 2011

Vote Sprachlogik at 3quarksdaily

Please consider voting for the Sprachlogik post 'Sketch of a Way of Thinking about Modality, pt. 1' at the 3quarksdaily philosophy blog prize.

Vote here.

UPDATE: Voting is now closed. The post got through the voting round and has been selected by the editors for the finals.