Primer on Active Logic Presuppositions and Active Logic. Presuppositions occur in natural language when something which is not asserted is assumed to be true based on some other assertion. The speaker did not assert that there exists a king of France but nonetheless commits himself to the existence of the king of France. So, that the king of France exists is a presupposition of the utterance.
Presuppositions can arise in many other language constructions as well.
The assertability criterion. Pragmatic Presuppositions based on Discourse Semantics. We think that active logics can contribute to understanding presuppositions. One of the aspects of presuppositions we are looking at is the problem of presupposition projection. Projection has not had a totally satisfactory account in any of the current theories of presuppositions.