K. sketches a program for a descriptive system of presuppositional phenomena within the conceptual framework of classical, bivalent logic. The basic concepts in this descriptive system are: (proper) negation, denial negation, (perfect) yes-no questions, semantic presupposition, pragmatic presupposition, and metapragmatic presupposition.