ABSTRACT

Based on the formal treatment of semantic presupposition in the previous chapter, we are ready to formalize two crucial notions that we have introduced informally so far: the notions of truth-value gap and presuppositional language.