Die formale Pragmatik ist ein relativ neuer Bereich in der Pragmatikforschung, in dem mithilfe mathematischer bzw. logischer Repräsentationen und damit operierenden Schlussverfahren Modelle und Theorien zu verschiedenen Aspekten sprachlicher Handlungen und zur sprachlichen Interaktion entwickelt und evaluiert werden. Man kann drei Zweige der formalen Pragmatik ausmachen, die ihren Ursprung in gänzlich unterschiedlichen Gebieten haben. Ein Zweig der formalen Pragmatik hat seinen Ursprung in der formalen Semantik und ihren Annahmen zur Syntax-Semantik Schnittstelle. Hier geht es um eine Erweiterung der formalen (Satz-)Semantik zur Integration satzübergreifender Bedeutungsphänomene, die nicht wahrheitskonditional motiviert sind. Kennzeichnend für diese Richtung ist eine logik-geprägte Analyse pragmatischer Phänomene. Somit werden in der Regel symbolbasierte Repräsentationen verwendet.