K. argues that classical logic does not correctly represent the relation 'logical presupposition'. Several theorems concerning the notion of presupposition are presented which account for certain properties of natural language sentences.