Formalizing Pragmatics
I should like to investigate the existing work in this area, and see if I have a contribution. Utterances are functions of context and topic which return intentions. Describing intentions as formal structures is the precondition for a usefully general formalization of natural language semantics.