从形式语意论到二维模态语意论new

《从形式语意论到二维模态语意论new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、从形式语意论到二维模态语意论王启义本文主要是论述二维模态语意论(two-dimensionalmodalsemantics)的一些核心概念及相关问题。二维模态语意论是一种双变址的(double-indexing)模态语意理论，在近年引起不少讨论。一些学者认为此理论有极丰富的哲学涵意，可以提供一个新的架构，用来分析一些跟意义、模态性及“先验性＂等认识论概念相关的问题，及探讨这些概念的关系（例如Chalmers2004,Jackson1998）。这种利用二维模态语意学作分析方法去处理哲学问题的进路，称为“二维论

2、＂(two-dimensionalism)。“二维论＂也常用作指称二维模态语意论本身。二维论是综合以下两方面的研究而产生的：(1)克里普克(S.Kripke)等人所提倡的直接指涉论的学说（Kripke1972，Kaplan1989等）及(2)过去三十年的形式语意论（尤其是内函语意论）的研究（Åqvist1973,Davies&Humberstone1980,Kaplan1979,Kamp1971,Montague1970,Lewis1972,Segerberg1973,Stalnaker1978,Vlach

3、1973等）。两者既相关但又有很不同的基本形态。前者是哲学性的探究，相关的文献和讨论都很丰富；后者则属广义的形式逻辑范围，但相关的中文文献仍有待充实。本文主要是讨论及追溯后一种探究的发展，论述方式是由简单的模型式语意系统的描绘开始，逐渐过渡到较复杂的系统。这些描绘都是很简略的，目的在勾划各系统的基本面貌，而非作严格意义的系统建构。1.外延模型式语意论(ExtensionalModel-TheoreticalSemantics)内函语意论的一个中心观点，就将表词（即语句或语词）的内函(intension)视作

4、由可能世界到外延的函数数系。这个观点源自弗莱奇(Frege)的一些看法。这些看法在卡纳普的＜意义与必然＞中得到严格的陈构；其后经克里普克、蒙塔古(R.Montague)等人进一步发展，并应用于至有关语境方面的研究，构成了二维论的基础（Carnap1956,Kripke1963,Montague1970,Lewis1972，Kaplan1979&1989,Sag1981,Mondadori1978）。先考察以下M1这个简单的模型论系统。M1为一阶谓词演算L1提供语意解释。M1模型都可表示成序对，其中

5、D是由事物或元目组成的论域。f是一个指派函数，给L1的语词指派D的元目作为其外延，亦即语词的语意值。由是以D的元目，可以建立一组外延，以跟L1的基本语词对应。例如，常项词的可能外延的集合就是D本身；一元谓词的可能外延组成的集合是D的幂集；二元谓词的可能外延组成的集合是DxD的幂集。M1以类似下列的定义递归地界定“（在某M1模型中为）真＂，也从而解释了语句运算子nn(“Pe1,...en”为n元谓词；A及B为完构式)：(1.1)“Pe1,...en”为真当且仅当n∈f(P)。(1

6、.2)“(AvB)为真当且仅当A为真且B为真＂。在M1，对确性的定义为“在所有模型中皆为真＂。M1不能处理诸如“志强的年岁为十四＂这类在不同时间可以有不同真假值的语句。解决这个问题的最直接方法就是将表词的外延相对化，亦即是说表词只有在相对于某时刻来说才有确定的外延。由是我们得出M2这个较复杂的语意系统，用以解释包含“志强的年岁为十四＂这类语句的语言L2。M2模型的结构是；D同上，T是由时刻组成的集合。函数f亦如上，为语词指派D的元目作为其外延。不过这些外延都是相对于变址(index)而指派的，

7、而每个变址就是某个时刻。例如，相对于每个t∈T，f会为项词α指派某个D的元素，Extt(α)，及为两元谓词F指派一个DxD的子集，Extt(α)作为他们的外延。从形式语意论到二维模态语意论对“志强＂等专名来说，其外延是固定的。但假如α是“志强的年岁＂这类语词，则Extt(α)可以随t而不同。而“志强的年岁为十四＂的真假值也就会随变址的改变而不同。不过，如果L2加入了“%”或“◇”这类内函语句运算子（分别解作“从前如此”及“可能如此”），M2就只能将这些运算子看成异态。试看下列句子：(a)“美国实行君主政体”

8、。(b)“法国实行君主政体”。这两句子在当下都是真的。但是以下两个语句却有不同的真假值：(a*)“美国从前实行过君主政体”。(b*)“法国从前实行过君主政体”。M1和M2对“~”或“v”这些外延运算子的处理方法基本上是相同的，即视之为真函运算；分别只是，M2的外延都是相对变址而指派的。但上例却显示，M2不能以同样的真函的方式来处理“%”或“◇”。2.内函模型论语意学(IntensionalModel-Theore