从形式语意论到二维模态语意论.pdf

从形式语意论到二维模态语意论 王启义 本文主要是论述二维模态语意论(two-dimensional modal semantics) 的一些核心概念及 相关问题。二维模态语意论是一种双变址的(double-indexing)模态语意理论，在近年引起不 少讨论。一些学者认为此理论有极丰富的哲学涵意，可以提供一个新的架构，用来分析一 些跟意义、模态性及“先验性＂等认识论概念相关的问题，及探讨这些概念的关系（例如 Chalmers 2004, Jackson 1998 ）。这种利用二维模态语意学作分析方法去处理哲学问题的进 路，称为 “二维论＂(two-dimensionalism) 。“二维论＂也常用作指称二维模态语意论本身。 二维论是综合以下两方面的研究而产生的：(1) 克里普克 (S. Kripke) 等人所提倡的直接指 涉论的学说 （Kripke 1972 ，Kaplan 1989 等）及(2) 过去三十年的形式语意论 （尤其是内函 语意论）的研究（Åqvist 1973, Davies Humberstone 1980, Kaplan 1979, Kamp 1971 , Montague 1970, Lewis 1972, Segerberg 1973, Stalnaker 1978, Vlach 1973 等）。两者既相关但 又有很不同的基本形态。前者是哲学性的探究，相关的文献和讨论都很丰富；后者则属广 义的形式逻辑范围，但相关的中文文献仍有待充实。本文主要是讨论及追溯后一种探究的 发展，论述方式是由简单的模型式语意系统的描绘开始，逐渐过渡到较复杂的系统。这些 描绘都是很简略的，目的在勾划各系统的基本面貌，而非作严格意义的系统建构。 1. 外延模型式语意论 (Extensional Model-Theoretical Semantics) 内函语意论的一个中心观点，就将表词（即语句或语词）的内函(intension) 视作由可 能世界到外延的函数数系。这个观点源自弗莱奇(Frege)的一些看法 。这些看法在卡纳普的 ＜意义与必然＞中得到严格的陈构；其后经克里普克、蒙塔古(R. Montague)等人进一步发 展，并应用于至有关语境方面的研究，构成了二维论的基础（Carnap 1956, Kripke 1963, Montague 1970, Lewis 1972 ，Kaplan 1979 1989 , Sag 1981, Mondadori 1978 ）。 先考察以下M1 这个简单的模型论系统。M1 为一阶谓词演算L1 提供语意解释。M1 模型都可表示成序对 D, f ，其中D 是由事物或元目组成的论域。f 是一个指派函数，给 L1 的语词指派D 的元目作为其外延，亦即语词的语意值。由是以D 的元目，可以建立一 组外延，以跟L1 的基本语词对应。例如，常项词的可能外延的集合就是D 本身；一元谓 词的可能外延组成的集合是D 的幂集；二元谓词的可能外延组成的集合是DxD 的幂集。 M1 以类似下列的定义递归地界定“（在某M1 模型中为）真＂，也从而解释了语句运算子 (“Pn n e1,...en”为n 元谓词；A 及B 为完构式) ：(1.1) “P e ,...e ” 为真当且仅当 f(e )...f(e ) 1 n 1 n ∈f(Pn) 。(1.2) “(A v B) 为真当且仅当 A 为真且B 为真＂。在M1 ，对确性的定义为“在 所有模型中皆为真＂。 M1 不能处理诸如“志强的年岁为十四＂这类在不同时间可以有不同真假值的语句。 解决这个问题的最直接方法就是将表词的外延相对化，亦即是说表词只有在相对于某时刻 来说才有确定的外延。由是我们得出M2 这个较复杂的语意系统，用以解释包含 “志强的 年岁为十四＂这类语句的语言L2 。M2 模型的结构是D, T, f ；D 同上， T 是由时刻组成 的集合。函数f 亦如上，为语词指派D 的元目作为其外延。不过这些外延都是相对于变址 (index