汉斯·坎普：普通话语中隐藏的逻辑
经典逻辑学可以很好地处理单个句子，但它在处理第二个句子时总是陷入困境——那种包含“他”或“它”的句子，并假设你一直在关注上下文。1981年，一位在伦敦任教的荷兰逻辑学家发表了一篇论文，指出意义的基本单位根本不是句子，而是话语；要理解语言，就需要构建一个表征并不断更新它。此后，形式语义学一直处在他的影响之下。坎普对自己的描述是：“算不上语言学家”，“算不上哲学家”，“也算不上逻辑学家”。
特塞尔、莱顿、阿姆斯特丹
约翰·安东尼·威廉·坎普 (Johan Anthony Willem Kamp) 于1940年9月5日出生在北荷兰海岸顶端的特塞尔岛 (Texel) 上的登堡 (Den Burg)。他于1952年至1958年在阿尔克马尔 (Alkmaar) 的穆尔梅留斯中学 (Murmellius Gymnasium) 就读，随后进入莱顿大学 (University of Leiden)，于1958年至1961年间学习物理学和数学。接下来的经历奠定了他的职业生涯模式：他迷上了逻辑学，并于1961年至1965年转入阿姆斯特丹大学 (University of Amsterdam)，攻读逻辑学、数学基础及经验科学哲学硕士学位 (doctorandus)。他曾将阿姆斯特丹学派的埃·威·贝思 (E. W. Beth) 描述为对他思想影响最大的三个人之一。
蒙塔古的学生
1965年，他前往加州大学洛杉矶分校 (UCLA)，这一选择具有决定性意义。他的导师是理查德·蒙塔古 (Richard Montague)，当时蒙塔古正在建立一个将自然语言视为形式语言的程序，使其能够像逻辑语言一样接受完全相同的模型论处理。他的博士委员会成员还包括陈中张 (Chen Chung Chang)、大卫·卡普兰 (David Kaplan)、扬尼斯·莫斯科瓦基斯 (Yiannis Moschovakis) 和乔丹·霍华德·索贝尔 (Jordan Howard Sobel) —— 这是一群任何学生都可能面对的极其专注的逻辑学家群体。1968年，他获得了哲学博士学位，论文题目为《时态逻辑与线性序理论》(Tense Logic and the Theory of Linear Order)，证明了一个函数完备性结果：在连续线性序中，时态算子“自” (since) 和“直到” (until) 足以定义所有其他算子。除了蒙塔古和贝思，他还将现代时态逻辑的创始人阿瑟·普赖尔 (Arthur Prior) 视为形成性影响——在每种情况下，他看重的是方法论的严谨性和知识诚实，而非教条。
现在
他1971年的论文《“现在”的形式属性》(Formal Properties of 'Now') 是一部小经典。“现在” (now) 一词对于标准模型论语义学来说是一个麻烦：它的指称取决于发话时刻，但它也可以被嵌入到改变评估时间的算子中，且这两个指标会发生分离。坎普的解决方案——双重索引，即同时根据两个时间坐标评估表达式——成为了索引词和模态语义学的标准配置。
到那时，他一直在不停地调动：1968年担任加州大学洛杉矶分校讲师，1968年至1970年在康奈尔大学担任助理教授，1970年至1971年在阿姆斯特丹，随后从1971年至1984年在伦敦大学学院 (University College London) 和贝德福德学院 (Bedford College) 任教十三年，1983年在马萨诸塞大学阿默斯特分校 (University of Massachusetts, Amherst) 担任教授，1984年至1988年在德克萨斯大学奥斯汀分校 (University of Texas at Austin) 担任教授。
转向话语
《真理与语义表征理论》(A Theory of Truth and Semantic Representation) 出版于1981年，引入了话语表征理论 (Discourse Representation Theory, DRT)。其核心举措是一个反转。蒙塔古语义学逐句分配真值条件；DRT则插入了一个表征层面——即话语表征结构——听者随着文本的进行逐步构建它，为谈论的事物引入标记及其条件，然后针对一个模型进行解释。跨越句界的指代关系（这对组合语义学来说困扰了几十年）变得自然起来：第二个句子中的代词提取了第一个句子放在板上的标记。
结果是意义变得动态化。句子不再是一个静态的真值条件包，而是一条更新表征的指令，上下文不再是一个固定的背景，而是话语本身不断构建的东西。坎普在同一年发表了《堆的悖论》(The Paradox of the Heap)，讨论了模糊性和连环悖论 (sorites) —— 1981年的这两篇论文共同标志着他是一位被吸引到形式处理最困难之处的逻辑学家。
从话语到逻辑
1988年，他转任斯图加特大学 (University of Stuttgart) 自然语言处理研究所的形式逻辑与语言哲学教授，并一直留任。1993年，他和乌韦·雷勒 (Uwe Reyle) 出版了《从话语到逻辑》(From Discourse to Logic)，这是一部全面的论著，将DRT从一篇引人注目的论文变成了一个覆盖面广到足以让计算语言学家实现的工作系统。围绕它，他主持了一系列大型合作项目——1989年至1995年的欧洲Dyana计划、1989年至2000年的德国特殊研究中心SFB 340（计算语言学方法）、1995年至1997年的FraCaS以及2000年至2002年的DFG逻辑小组——这就是一个框架如何获得一代用户的方式。
研究范围不断扩大：时间指称、预设、上下文依赖、原型和组合性（与芭芭拉·帕蒂 (Barbara Partee) 合著，1995年），以及非字面语言——隐喻和转喻——这对形式语义学家来说是一个不同寻常的领域。他的让·尼科讲座 (Jean Nicod Lectures) 由麻省理工学院出版社 (MIT Press) 以《思考与谈论事物》(Thinking and Talking about Things) 为名出版，其部分精选著作结集为《意义与解释的动态》(Meaning and the Dynamics of Interpretation) 出版。
为什么汉斯被称为天才
这一说法基于一个结构性的洞察力和使其发挥作用的纪律。坎普看到句子是错误的单位——如果你想解释人们实际上是如何理解连贯文本的，你需要一个随着话语增长而增长的中间表征，并且这个表征可以被赋予严格的模型论解释，而不是仅仅像心理学那样挥手示意。同时实现这两点是最困难的部分。很多人对话语和上下文有直觉；他的成就在于构建了足够形式化的东西，可以对其进行证明并在计算机上实现，同时仍可被识别为听者行为的模型。
支撑这一点的品质是广度。很少有人能在职业生涯中同时拥有时态逻辑的函数完备性证明、连环悖论分析、预设理论以及隐喻的可行解释，坎普对自己的描述——并非真正的语言学家、哲学家或逻辑学家——是一个在三个领域都因拒绝被任何一个领域同化而真正发挥作用的人的准确报告。
反面观点也值得明确陈述。2024年的罗尔夫·肖克奖 (Rolf Schock Prize) 由坎普与艾琳·海姆 (Irene Heim) 共同获得，当不止一人得出结论时，奖项就会被分享——语义学的动态转向在1980年左右就已经在酝酿之中，而DRT只是多种解决方案中的一种，而非唯一可能的解决方案。它在记号上也很繁重，竞争性的动态框架已经占据了市场份额。坎普的声誉完全局限于技术学科内部：他没有公众形象，没有流行读物，没有进入大众文化的思想。在形式语义学领域，他的地位几乎是不容置疑的。而在该领域之外，几乎没有人听说过他。
遗产
荣誉不断积累：1996年获得让·尼科奖 (Jean Nicod Prize)，1997年当选荷兰皇家艺术与科学学院 (Royal Netherlands Academy of Arts and Sciences) 外籍院士，获得荣誉博士学位，2015年入选美国艺术与科学院 (American Academy of Arts and Sciences) 院士，并于2024年获得罗尔夫·肖克逻辑与哲学奖。更深远的遗产在于问题的形式发生了改变。在DRT之前，语义学询问句子的含义；在此之后，标准问题是句子对上下文做了什么——它如何更新正在进行的解释的状态。每一个在理论语言学或计算语言处理中跟踪话语指称语跨句关系的系统，都在追随一个源于坎普1981年关于我们如何知道“他”是谁的论文的传统。
