Towards a logic for pragmatics. Assertions and conjectures.