孙洋 郭美云

1 引言

指示词（indexical）在人类语言中普遍存在，像“现在”（now），“这里”，“我”等等。上述列举的这类指示词的意义通常依赖于上下文语境，在不同的语境下说出含有这类指示词的句子，往往意味着不同的时间、地点和人。时间指示词（temporal indexical）是一类与时态逻辑关联紧密的指示词，“现在”是最常见的时间指示词之一。

早期的基本时态逻辑只有两个时态算子：过去算子P和将来算子F。尽管如此，基本时态语言却有着极强的表达力，不仅可以做出丰富的时间论述，还可以对时间的结构做出复杂的阐述。随着时态逻辑研究的深入，一些学者开始考虑只包含P，F算子的时态逻辑的表达力是否真的足够。“现在”这一最简单的时态语词，进入到逻辑学家视野之中。

1967 年，坎普（H.Kamp）把他在UCLA（University of California,Los Angeles）研讨班上关于“现在”的逻辑笔记发给了普莱尔（A.Prior），坎普所使用的二维语义方式（two-dimensional approach）对普莱尔带来了很大的启示。普莱尔在[13]中用一维的方式，将坎普的工作整合到了时态逻辑中。他利用混合逻辑，为二维UT演算和包含“现在”算子N的一维时态逻辑建立了桥梁，而且提出了关于“现在”的时态混合逻辑的公理化系统。

坎普在1971 年发表了他关于“现在”的论文（[9]），通过分析“现在”在语言中的作用，提出了二维语义（two-dimensional semantics）解释“现在”算子，同时给出了语境有效的概念。他进而阐述了如何将一般的时态逻辑的公理系统转变为“现在”的时态逻辑公理系统。这篇论文被认为是技术性地研究指示词逻辑（logic of indexical）的起点，他引入的二维语义也被广泛使用于许多领域。……