The notion of presupposition is handled in terms of the theory of procedural semantics. It is suggested that this approach can be of help in linguistic questions such as the projection problem and the given-new distinction, and in psychological matters of modelling language understanding.