Formal Approaches to Semantics and Pragmatics