D. presents a general theory of presupposition. He discusses the historical development of the notion, the act of presupposing, the place of presupposition in linguistic theory, its relation with implication and supposition, definite descriptions and existential presuppositions.