Präsuppositionen sind Propositionen, die erfüllt sein müssen, damit ein Satz überhaupt sinnvoll gebraucht werden kann. Die Präsuppositionen werden vom Sprecher nicht explizit „gesagt“, sondern im Kontext vorausgesetzt. Ganz allgemein werden Präsuppositionen durch bestimmte Ausdrücke ausgelöst (Präsuppositionsauslöser oder triggers). Um herauszufinden, was die jeweilige Präsupposition einer Äußerung ist, gibt es Testverfahren, die es ermöglichen, Präsuppositionen von anderem semantischen und pragmatischen Inferenzen zu unterscheiden. Im Verhalten unter Negation beispielsweise unterscheiden sich Präsuppositionen und semantische (logische) Implikatur grundlegend. Präsuppositionen bleiben unberührt, d.h. sie sind konstant, semantische Implikationen bleiben bei den Tests nicht erhalten. Ein weiteres Merkmal von Präsuppositionen ist ihre Nicht-Aufhebbarkeit. Ob die Untersuchung von Präsuppositionen der Semantiktheorie oder der Pragmatiktheorie zugerechnet wird, ist bis heute ein kontrovers diskutiertes Thema.

Implikaturen sind Schlussfolgerungen, die über den semantischen Gehalt eines Satzes hinausgehen und die in der der natürlichen Sprache angedeutet, aber nicht gesagt werden (meant but unsaid). Die Kernidee der (konversationellen) Implikaturen stammt von Grice (1967), welcher vier Konversationsmaximen und ein generelles Kooperationsprinzip voraussetzt, dem in Konversationen generell gefolgt wird. Die Implikatur einer Äußerung ist demnach eine Proposition, die mit Bezug auf das Kooperationsprinzip und die Konversationsmaximen erschlossen werden kann. Fasst man Kommunikation als ein zielgerichtetes, kooperatives und rationales Handeln auf, das in der Norm auf dem Kooperationsprinzip und den Konversationsmaximen basiert, dann entstehen konversationelle Implikaturen entweder durch Befolgung oder Verletzung dieser Prinzipien und Maximen. Wenn pragmatische Schlussfolgerungen auf dem Befolgen der Maximen beruhen, nennt man sie Standardimplikaturen. Werden sie bewusst missachtet oder verletzt, so nennt man diese Ausbeutung der Implikatur (traditionelle Stilfiguren, wie Tautologien, Metaphern). Nach Grice haben Implikaturen vier Eigenschaften, die sie von anderen semantischen und pragmatischen Schlussfolgerungen unterscheiden und die man mithilfe s.g. Implikaturtests ermitteln kann: (1) Tilgbarkeit (cancellable), (2) Nichtabtrennbarkeit (non-detachable), (3) Berechenbarkeit (calculable), (4) Nicht-Konventionalität. Grice hat aus seinen Konversationsmaximen heraus ein allgemeines Muster zum Ziehen von Implikaturen entwickelt. Dies soll an folgendem Beispiel verdeutlicht werden: (a) Hans ist eine Schnecke.

Man hat es in diesem Fall mit einer (konversationellen) Implikatur durch Ausbeutung zu tun, d.h. die Griceschen Konversationsmaximen werden verletzt. Anzumerken ist jedoch, dass dies nur der Fall ist, wenn von einem Kontext ausgegangen wird, in dem Hans kein Tier (z.B. Haustier) ist, sondern ein Mensch.

2