Pragmatics, implicature, presuposition and logical form (gazdar g)