According to K. semantics represents meaning exclusively in terms of truth conditions, whereas pragmatics is based on the notion of conversational implicature. Presupposition is claimed to be an unnecessary notion since it can be either reduced to entailment or to conversational implicature; in the first case it belongs to semantics, in the second case to pragmatics.