Text this: Formal pragmatics for natural language implicature, presupposition and logical form /