Arguments are adduced for the thesis that an adequate theory of meaning for a natural language has to consist at least of a recursive specification of the truth conditions (semantics) and of a recursive specification of the correctness conditions (pragmatics) of the sentences of that language.