Donkey sentences

Time was I would pore over donkey sentences not to work out what quantification told me about the number of donkeys involved but to understand what puzzled logicians so much about these sentences. Frankly I couldn’t see what the fuss was about. Donkey sentences, by the way, are sentences of the type:

If a farmer owns a donkey, he beats it.

A farmer who owns a donkey beats it.

Time has dimmed my memory of all the logical nuances working themselves out in this type of sentences, but basically – I think – the problem presented itself thus: we imagine a farmer and his donkey – that is “any” farmer and one donkey per farmer. Next, we imagine any or every donkey-owning farmer, except that this time we add another donkey, or more donkeys, to his stable. Does the singular reference of ‘it’ still capture the plurality of donkeys?

I don’t know. One moment I think it does, the next it doesn’t. My problem was of a different kind: how to quantify over “farmer” and “donkey” if I think of them as definite entities? I just couldn’t get my head around the overlapping scopes. In other words, how to symbolize a sentence when I think of one definite farmer and one definite donkey, the donkey that he owns and beats:

If the farmer owns the donkey, he beats it.

The farmer who owns the donkey beats it.

I put pen to paper the other day and came up with this:

(∃x)(∃y)[Fx • Dy • (z)(Dz ⊃z=y) • (w)(Fw ⊃w = x) • (Oxy ⊃Bxy)]

(∃x)(∃y){Fx • Dy • Oxy • (z)(Dz ⊃z=y) • (w)[(Fw • Owy) ⊃w = x) • Bxy]}

At the moment, I can’t see what is wrong with it. The symbolization can even accommodate a non-defining ‘who owns the donkey’ clause: "The farmer, who owns the donkey, beats it."

(∃x)(∃y)[Fx • Dy • (z)(Dz ⊃z=y) • (w)(Fw ⊃w = x) • Oxy • Bxy]

So, will someone remind me what my problem was about? Too much cheese before bedtime? Translating natural language into the language of symbolic logic is a skill that must be practiced daily. It goes rusty really fast.