Many writers have expressed scepticism about the explanatory power of transformational generative grammar, but little of this scepticism has been aimed towards formal semantics for natural languages.