动态语义学（dynamic semantics），文学-语言文字-语义学，形式语义学的一个分支，认为意义是动态变化的。与传统形式语义学更多关注孤立的句子相比，动态语义学更多关注语篇（discourse）或文本（text），使研究和表达跨句语义现象成为可能。每个句子不仅有意义，也含有一定的信息，人们一步一步循序渐进地处理篇章中的每个句子，处理新句子依赖于前面已经处理过的上文，同时新句子的处理也更新了已有的信息，这些信息内容又继而成为处理和理解后续句子的前提和依据。动态语义学提出之前，传统的形式语义学理论只是静态地描述一个句子的意义，注重于对单个句子意义的处理及其真值的验证。在处理时制、时态、代词的所指和无定名词组的解释时，这类理论遇到了一定的困难。第一个困难是无法解决句子中存在代词作为自由变量的情况。根据传统形式语义学理论，句①的语义为②，而②中的存在量词不能约束的x，所以x是自由变量，公式不合法，即我们不知道sat-down’(x)中的x受哪个量词约束。就是说，按传统的形式语义学分析方法，我们不知道如何解释代词he。但是，凭借语感，①应该有下面③的语义表达。