“implicature, presupposition and logical form”