（逻辑学专业论文）模态情境语义学试论.pdf

中文摘要 情境语义学是欧美2 0 世纪8 0 年代初诞生的种新的逻辑语法理论。创始人 是美国著名的逻辑学家j b a r v v i s e 和j p e r r y ，代表作是1 9 8 3 年出版的肋跖耐咖删d 4 椭咖b 一书情境语义学的中心课题是对意义问题的研究，由于引入了“情境”的 概念，从自然语言处理信息的角度来探讨意义问题这一方法在学术界产生了强烈 的影响。模态情境语义学是逻辑学家依据情境技术的理论，希望为情境语义学提供 的一个统一的数学框架。 情境语义学内容丰富，国内许多学者在引进介绍这一语义学的同时列其也进 行了深入地研究，取得了一定的成果。但在对模态情境语义学的研究上，尽管国 外在上一世纪己做出了系统的研究，但国内的介绍研究工作还没有展开。笔者试 图对这一问题进行初步探讨。 全文共分三个部分： 第一部分是引言，给出了情境语义学产生的大致过程，以及对模态情境语义 学的作一个简单介绍。 第二部分是模态情境语义学的理论基础情境语义学的介绍，其中包括情 境语义学产生的原因，情境语义学的特性的探讨。而在情境语义学的基本思想中， 情境与信息条目之间的关系支持以及情境的性质( 一致性和实际性) 是本章 的重点也是下一章的基础。对于情境理论所说的“意义”制约关联是通过不 同的情境之间的关系表现出来的。除此之外，在情境语义学这节中，我对情境的 类型作了进一步的简单介绍。 第三部分是本文的重点部分，对模态情境语义学进行的尝试性探讨。首先讨 论了模态情境语义学的基本概念“模态”和“力追”的定义；给出了基本关系“支 持”的形式结构后又解决了什么信息条目是一致的以及根据制约关联来分析一致 性；具有序关系2 的信息条目格是通过一致的基本信息的合取建立起来的，后者 与制约关联集相关；接着定义了信息条目上的力迫关系以及世界理想上的力迫关 系：最后说明了绝对联结和语境相关联结及其之间的关系。 关键词：情境；情境语义学；模态情境语义学 a b s t r a c t s i t u a t i o ns e m 删i c si sak i n do fn e wl o g i c 笋a l i 衄a rt 1 1 e o r yt l l a t 锄e 培e da tt h e b e g i l l n i l l go ft h ee i g h t i e so f l e2 0 t l lc 咖i na m 甜c a 柚de l l r o p e ，i kf o l l d e ri s o l l sl o 百c i a l lj b a n i s ea 1 1 dj p e r r yi nu s a ，1 1 i sm a 驴咖o p u si s 尉m 积硼删d 4 触如w h i c hi sp u b l i s h e dm1 9 8 3 1 1 1 ec e n 砌s 喇e c to f 血es i m a t i o ns e m 锄t i c si st o s t u d y 也cm e a l l i n gp r o b l e m ，a i l dam e o r yo f 血o u g h t 血r o u 曲龇”i n f o m a t i o n ”s i n c ei t j l a sb e c o m et 】1 e 豇e w 馈e o r yo f 也e1 0 9 i c a l 乒鳓甄i ta tl e a s th a sh a d 押b i g d c v c i o p m e md h 优t i o n s ：f i r s t ，t l l el i i l g u i s tm a s s i v e l yu s 抽gn e wm e t h o da l l dn e w c o n c 印to fs i t u a t i o ns e m 卸t i c st o 趾a l y z e 1 es e m a l l t i cc h a r a c 涮s t i co fn 砒u r a ll 如g u a g c ， b u tn o tc a r ea b o m 、h e t h e r 也e s em e m o d sa i l dt h ec o n 唧td ol l a v e 也es o l i df o u n d a t i o n l i l l g u i s t sw o r kb e l o i 培st o ”1 en a r r o ws e i l s e ”s i t 删o ns e m a n l i c sr e s e a r c h ；n e x t ，t l l e l o g i c i a l lp a y sa t t e n t i o nt 0 协et l l e o r yb a s i so ft h es i 似i o nt e c h n 0 1 0 9 ya n dh o p e st o p r o v i d eau n i 6 e dm a t h 锄a t i c s 丘锄ef o r t h es i n j a t i o ns e m a n t i c s ，b yw h i c hm o d a l s i t i l a t i o ns e n l 刎c si so b t a i n e d s i t i l a t i o ns e m m l t i c sh a sa _ b l l i l d a n tc o n t e n t ，m a n ya c a c k m i c i a l li no u rc o u n t r ) ， i n t r o d u c e dt h es e m a l l t i c s ，a n da tt h es 锄et i m e 、o r k e do v e r “t 1 1 0 r o u g h l y ，a r l db y 、】l ，：h i c h t h e yo b t a i l lc e n a i nf h i t b u to n l e 咖d yo fm o d a ls i t l l a t i o ns e m 趿t i c s ，a l t l l o u g ht 1 1 e s y s t e m a t i c a ls t l l d yo n “h a sb e e nd o n ei n 也e1 戚c e 哪a b r o a d ，t l l ew o r ki no u r c o i l l l yh a sn o tb e e no p e n e do u t 1 ka u m o ro f 曲矾c l ef o u n dt l l i sp r o j e c tb ya c d d e n t ，m n e d i a t e l yt h ea u 曲r p a i d a n e i n j o n t o i ta n d 嘲i n t e r e s t e d i l l i t i ns t e p s t h ca u t h o r h a sd o n eh e rb e s t t od o t h i sp r o j e c tb yc o l l e c t i n gd a t a ，a i l a l y z i l l gi ta n ds t u d yr e l a t e d 州e c ts e r i o u s l y t 1 l et e x ti sd i v i d e di n t ot h r c ep a r t s ：一 p a no n e ：p 叫a c e ，c o v e r e dw i n lt 1 1 ep m d u c i n gp r o c e s so ft h es i n l a t i o ns e m a n t i c s ，a s w e l la sm a k e sa s i m p l ei n t r o d u c d o nt ot 1 1 em o d a ls i t i l a t i o ns e m 趾t i c s p a n 伽o ：i sm ei n t r o d u c t i o nt ot h eb 船i ct h o u g h to fs 如a t i o ns e m 孤t i c sw h i c hi sm e 廿l c o r e t i c a lb a s i so ft h em o d a ls i t 吼t i o ns e m 枷c s w h i c hi n c i u d e sm er e a s o no f p m d u c i l l go ft h es i t i l a t i o ns e m a l l t i c sa 1 1 dt j l ec h a r a c 蜘s 廿c so fs i t l l a t i o ns e m a n t i c s b m i nt h eb a s i ct l l o u g h to fs i t u a t i o ns e m a n t i c s ，m er e l a t i o nb e t w e e nt 1 1 es i t l l a t i o na n dm e i n f o m s u p p o r ta n dt h ec h a r a c t e ro fs i 砌i o n ( 1 l l l i f o 呻a n da c t l l a l i t y ) a r et h ek e yo f l i sp a 心a 1 1 da tt l l es a m et i m e ，也ef o l l l l d a t i o no ft h en e x to n e i na d d i t i o l l t h e m e a i l i n g ”w 1 1 i c hs 池砸o nt l l e o r yc a l l c o 王1 s t f 面ni s 印r c s e n t e d b yt 1 1 er e l a l j o nb e t w e e n 也cd i r c ms b a t i o n s a tl a s t ，i nt h cs c c t i o no fs i 缸蕊i o ns c r n t i c 3 ，ia l s o s i m p l y i n m ) d u c et h e 呻eo f s i t u a t i o n s p a nt 1 1 r e e ：t l l e 岫p o 咖tp a no f t l l i sa n i c l e ，w h i c ht e n t a t i v e l yp r o b e si n t om o d a l s i t u a t i o ns e m a l l t i c s f i r s ti td e 丘n e s 血eb a s i cc o n o e p to fm o d a ls i t u a t i o ns e m a l l t i c s ”m o d a l i t y ”a n d ”f o r c i i l na i l dg i v e s t h c s e t - u po fb a s i cr e l a t i o n s ”s u p p o a n d c o n s i s t e n c eo fi n f o na n da n a l y z c l ec o n s i s t e n c eb yc o n s t m i l l s t h e1 a t t i c eo fi n f o nw i t h o r d e rr e l a t i o n i sb u i hu pi ns t e p sf c o n j u n c d o n so fb a s i ci n f o m a t i o nd e e m e d c o h e r c n t ，、v h i c hi sr e l a t e dt oc l a s so fc o n s 订a i l l s t h e n “d e f i n e st h ef b r c i n ga ti n f o na 1 1 d f o r c i n g a tt 圭1 ew o r l d i d e a l f i n a l l y i t e x p l a i n st h er e l a t i o nb e t w e e nt h ea b s o l u t e c o n t e x t r e 】a t i v ec o n n e c t i o n k e yw o r d s ：s i t u a t i o n ； s i t u a t i o ns e m a d c s ；m o d a ls i t u a t i o ns e m a n t i c s y9 10 8 f 】l 关于学位论文独立完成和内容创新的声明 本人向河南大学提出硕士学位凶博士学位口中请。本人郑重 声明：所呈交的学住玲文是本人独立完成的，对所研究冉勺课题有 新的见解日7 创造性的见解口。据我所知，除文中加以说明、标注 究 书 献 为 位 本) 麒供公众检索、委漪张凑黩揍摭帮甜夭学出于宣扬、展览学 校学术发展和进行学术交流等目的，可麒采取影印、缩即、扫描 和拷贝等复制手段保存、汇编学位论文( 纸质文本和电子文本) 。 ( 涉及保密内容的学往论文在解密后适周本授权书) 学位获得者c 学位黻黼弘夺嗽y 往意：请在相应的“口”内划“”。 洳占年占月牙 日 引言 经典逻辑应用于数学领域尽管比较成功，但用来表达人们的日常推理却显得 有点无能为力。在b 洲i s e 等人看来，甚至逻辑语义学的许多传统概念，如外延 和内涵，真值条件和可能世界等，并非适用于自然语言的语义描述。于是，他们 决定从新的角度去思考意义问题。情境语义学看来，现实世界是有各种各样的情 境构成的，人们运用语言来交流思想是一个情境，而语言所反映的客观事实又是 另一种情境，语句的外延所指是情境，语句的意义则是几种不同性质情境之间的 关系。而意义是信息流动的依据。情境语义学是一种强调“信息”思想的新的逻 辑语法理论。 现代逻辑语义学发展的主流是模型论语义学所代表的研究方向。可能世界语 义学是沿着这一方向发展起来的一种模态语义学。模型论使用严格的现代数学方 法，它把语言表达式和所表达的对象间的关系作为语言的数学表达式和这些表达 式所描述的数学结构的关系来研究。模态情境语义学是s t e p h e n m 在情境语义学 的基础上，通过利用一些技术手段对情境语义学在逻辑中的应用进行了探讨。主 要就是给与情境理论思想相一致的真势模态提供的一种模型化方法。可能世界理 论中的一些概念依然保留，例如：可通达关系、世界以及必然真是指在所有可通 达世界都为真等。但是模态情境语义学提供了可能世界语义学没有涉及的东西， 如：结构的部分性、结构关联以及部分与整体结构之间的关系问题等。本文旨在 对上述问题进行一些简单的论述。 情境语义学在短短十几年的时间就获得了迅猛的发展，出现了许多复杂艰深 的技术手段，其研究比较广泛，涉及理论语言学、现代逻辑的语义学、语言哲学、 认知科学、计算机人工智能的信息处理领域等等。这一课题已经受到越来越多的 学者专家的关注。 l 模态情境语义学的理论基础一情境语义学产生 1 1 情境语义学产生的原因 情境语义学产生的最根本原因与逻辑语义学相关。b 扪i s e 和p e r r y 认为，现 代逻辑奠基者们如弗雷格、罗素、怀特海、哥德尔和塔尔斯基全神贯注于数学的 语言，于是，关于这种语言的许多假定和态度进入模型论的核心部分。因而也被 看作关于自然语言的假定。然而它们难于适应自然语言语义学。可以说，正是以 往的逻辑语义学理论在研究和处理自然语言意义方面的不足，才使b a r 丽s e 等决定 要构想一种新的语义理论来解决长期困扰人们的一些重大理论问题。于是，他们 于8 0 年代初提出了情境语义学。 1 1 1 真值条件语义学 真值条件语义学是塔斯基提出的一种形式语义学，“其基本思想是：语言l 的 陈述或公式a ，如果对它的原子组分的所有真值指派它总是真的，那么它就是逻 辑真的”。 其重要特征是从语句的外延，即语句的所指是真值的角度来研究自 然语言的语义。从真值角度来研究自然语言的语义，是逻辑语义学一个历史悠久 的传统。这个原则对建立逻辑推理形式系统的语义解释来说发挥了重要作用，真 值条件语义学对于语言的研究具有许多便利，它使得人们能够抛开与语言相关的 心理、社会等因素而仅从真值角度来刻画句子的意义。但另方面，“完全忽略句 子的内在涵义，简单地把句子的外延所指看作其真值，这种研究方式亦带来了许 多难以克服的困难，” 很明显，如果仅从真值的角度来考虑，所有的句子无论内 容多么不同，最终只能被划归为两类：真或假。事实上，自然语言中的句子有时 根本无法准确地贴上真或假的标签。它们可能在一种情境中真，在另一种情境下 假。同时，在很多情况下自然语言语句的使用意义已远远地超出了真或假。 真值条件语义研究方法在刻画意义方面的诸多不足，使得b a n i s e 等逐渐认识 。弓肇祥：可能世界理论，北京大学出版社，第6 8 页。 。王建芳：情境语义学对外延模型理论和可能世界语义学的批判) ，晋阳学刊a 2 到，研究句子的“真”不如研究使句子为真的情境，因为“青境”在决定句子的意义乃 至真值的过程中起着至关重要的作用，情境的变化自然而然地会带来意义的变化， 从而可能导致真值的变化。认为句子的外延所指是它所描述的情境而不是真值， 句子的千差万别取决于被描述情境的丰富多彩。 1 1 2 可能世界语义 ， 逻辑语义学思想还包括“可能世界”的概念。“可能世界”这一概念最早由莱布 尼兹提出，指由可能事物的组合构成的世界。卡尔纳普是“可能世界语义学新时代 的第一个最重要的先驱”。唿o 世纪5 0 年代末至6 0 年代，当代著名的逻辑学家克 里普克、欣梯卡等对“可能世界”进行了严格化和精确化的研究，并建立了完整的模 态逻辑语义理论可能世界语义学。 可能世界语义学一改经典语义学墨守外延和内涵对立的研究模式，引入“可 能世界”作为与语句的真值相关的参照点。作为一种内涵语义学，可能世界语义 学的诞生弥补了经典语义学的不足，解决了传统的弗雷格卡尔纳普语义学的 许多问题，如同一可替代性原则的失效性问题。它表明，在现实世界中的外延等值 并不能保证在涉及到内涵的晦暗语境中替换的有效性。逻辑上等价的句子是在同 一可能世界中为真的句子。也就是说，只有在所有可能世界中的所指也相同时， 同一替换才可能是绝对有效的。 然而，从情境语义学的角度看，把“可能世界”作为参照物去确定自然语言 句子的真假就显得比较空洞，显得缺乏确切的内容。事实上，理解自然语言的句 子，并不一定要参照整个世界，仅参照一定范围内的客观情境( 即世界的片断) 就足 够了。所以，情境语义学认为“可能世界”的概念也不适用于自然语言的语义分 析。情境语义学主张把句子的内涵( 即意义) 看作是说出句子的陈述情境与句子 所描述的外部情境之间的某种关系，并且还引入心理情境的概念去刻画命题态度 句的语义特征。 。j 欣梯卡卡尔纳普的遗产j 欣梯卡编1 9 7 5 年英文版，第2 1 9 页 1 2 情境语义学特性 1 2 1 部分性( p a n i a l 毋) 情境语义学最初是由b a n v i s e 于1 9 7 2 年构造出来“用以替换外延模态理论和 可能世界语义学的”，前者更适合于问题结构的分析。如，在“m e l a i l i e 看见c l a i r e 跑步”或“c l a i r e 没有看见m e l a l l i e 正在看她”，这里关键是部分结构的用法。如 果m e l a l l i e 看见c l a i r e 跑步，直观上来说她看到了一个场景，这一场景包含了c l a i r e 在跑的信息，但不包含c l a i r e 是否吃过午饭以及d e sm o i n e s 是否在下雨等这些信 息。如果c l a i r c 没有看到m e l a i l i e 在看她，那么她看到的场景并没有决定m e l a l l i e 在看c l a i r e ，不论m e l a i l i e 是否事实上在看她。 再来看看模型理论语义学是怎样分析这一问题的。m e i a i l i e 看到的场景被一些 东西模型化了，这些东西使得c l a i r e 在跑这一事情集合中成为固定的一个元素， 但是她是否是在吃午饭这一事情集合中的一元，或是否在d e sm o i n c s 这一地方集 合中，却是不定的。一种策略是用一完全结构集合对这些场景进行模型化，每一 个结构都决定了表达的每一陈述的真值，这个集合就是与m e l a n i e 看到的场景一 致的结构，她没有看到的是与集合中结构不一致的场景。可能世界集主要用来对 可能世界语义学中的命题进行模型化，直观上来说是与场景不同的一类东西。 部分性：情境与世界相对，一个世界决定了每一问题的解答，也就是每一陈 述的真值，而情境是与我们实际的观察、推理阻及现实生活世界有限的一部分相 对应的，正在进行的一些事情决定了一些问题的解答以及一些陈述的真值，但不 是全部。 1 2 2 指示性( h l d e x i c a l i 劬 b a r 丽s e 的场景提供了一些语境和陈述对象以及别的一系列内容事件和事态， 这种解决语境( 我们称为话语语境) 和内容( 我们称为解释) 的方法使得我们看 到信息是怎样依赖于所知道的事件以及信息是怎样流动的。例如，身份陈述也能 富有信息含义，在一个聚会中，d a v i di s r a c l 对你说“我是d a v i di s r a e l ”( 而不是 说“我是我”或d a 、r i d 是d a v i d ) 这样信息从一已知内容( d a v i d 是d 撕d ) 流 4 向一个未知事实( 说话者是d a v i di s m e l ) 。这样情境和指示性一起就产生了了一个 中心概念： 意义的关系理论：一个表达的意义是情境之间的关系，也就是说话语u 和一 个被描述的情境s 之间的关系，形式为： u 邸口s 例如，“你坐在d a v i d 的旁边”的意义取决于情境u 和s 之间的关系。如果有 个体a 、b 、c ，则 1 ) 在话语u 中，a 是说话者，a 对b 说，a 所说的d a v i d 是c 。则 2 ) 在情境s 中，b 坐在c 的旁边。 1 2 3 语义无辜( s e m a n t i ci r u l o c e n c e ) 如果c l a i r e 宣布“c 1 i m o n 住在w a s l l i n g c o n ”，很自然地就会想到她所描述的 情境包括c l i i l t o n 、w j s l l i i l g t o n 、“住”这一关系以及她陈述所用的一般现在时所暗 含的现在这一时间。相对来说，如果假设她所宣布的主要事件是由词( c l i n t o n 、 w a s h i l l 昏o n 和“住”) 或思想( 她有关c l i n t o n 、w 拈l l i n g t o n 的思想以及对于她来 说“住”这一种关系) 那么这样是有违直观的。 我们理论的一个指导原则是理论中的对象都是现实中的对象，是真实的，是现 实世界中的常识和日常事件，而不是哲学上的一些象可能世界集这样的概念。 1 3 情境语义学的基本思想 情境语义学主要思想是：“一个简单叙述句的意义是作为言语行为的表达和所 描述的情境之间的关系，而情境是世界上的对象和性质的复合体。个表达的解 释依赖于所使用的表达式的意义和关于该表达式的各种各样的附加事实，一个表 达的真假又依赖于它的解释是否符合事实，于是，关于世界的事实在由意义到真 值的进程中两次出现：一是给定意义，决定解释：而后再一次给定解释，决定真 值。” 。弓肇祥：可能世界理论，北京大学出版社，2 0 0 3 年第2 0 l 页。 5 1 3 1 情境和信息 情境( s i t u a t i o n ) 是情境理论的核心概念之一。现实是由情境组成的，我们看 见它们，改变它们，对它们持有一定的态度。那么什么是情境呢? 情境是“指由 认知主体选择或区分的高度组织起来的客观世界的一部分，即某时某地某个体( 或 某些个体) 具有某性质( 或某关系) 这样的事实( 或若干个这样的事实) 构成一 ，个情境。由此可以看出，情境包含四因素：个体、性质、关系和定位，它们可被看 作穿越实际情境的一致体( u i l i f b 瑚i t i e s ) ，同样的个体和性质可以一次又一次地出 现在不同的定位中，这又构成了由不同时间或由不同个体及其关系所构成的几个 不同事物状态，成为现实情境( r e a ls i n l a t i o n ) ，现实情境可被看作是若干不同事物 状态的系列。如： ( 1 ) ( a ) 在t 时p 处：莫利饥饿，存在； ( b ) 在t 1 时p 处：莫利进食，存在； ( c ) 在t 1 时p 处：杰克睡觉，存在； ( d ) 在t 2 时p 处：莫利饥饿，不存在。( t q l t 2 ) 我们用集合论工具对它们进行抽象所获得的就是抽象情境( a b s t r a c ts h a t i o n ) 。 ( 2 ) ( h 衄o m o l l y ，p ，t ，1 ) ，( e a t i n g ，m o l l y ，p ，t 1 ，1 ) ，( s l e 印i n g ，j a c k i e ，p ，t 1 ， 1 ) ( h u n 甄m o l i y ，p ，t 2 ，o ) ) ( t t 1 ( t 2 ) 抽象情境即是本体论意义上的个体、关系、时间、地点等因素的数学抽象，也可 以看作是对现实情境的形式化表达。 “情境是部分的，它们并不表达每个人的每一件事，甚至也不表达出现于 某一情境类型中的个体的每一件事。如，“莫利在狂吠”在情境s 中，莫利一定不 仅仅是在狂吠，它一定还在呼吸或者做别的什么事等，情境s 对此表示沉默。” 再来看看什么是信息( i n f 0 咖a t i o n ) 。当冷时代“信息”无处不在：计算机被 认为是一种信息技术；每个生物都有由其d n a 编码信息所决定的独特结构；各个 国家和公司都花费大量的资金去获取信息；尽管如此，人类迄今仍未建立起 。彭漪涟、马钦荣： 逻辑学大辞典，上海辞书出版社，2 0 0 4 年，第5 2 0 页。 。b a n v i s c ，j 皿dj o h np e n y 斯“咖h 铆j 删n 删魄第9 页。 6 严格的信息科学。在情境理论看来，信息是宇宙中与物质、能量并列的三大基本 要素之一，是刻画事物结构的测度单位，使人之主体所谓个体化认知模式的产物。 信息也可以叫做信息场景，是若干信息条目的聚合，而单一的信息条目则指若干 个体满足某个关系这样的事实。如0 h 1 1 向m a r ) r 讲话的信息场景所包含的信息条 目其中就有：( 印e a k i n g ，j o l n ，t ，1 ) 、( a d d r e s s i n g ，j 0 h n ，m a 珊t ，1 ) 、( s a y i n g ，j o l l n ，a ， t ，1 ) 。外部环境的个体及其关系就是最基本的可处理数据，因此自然而然就形成了 如下最基本的信息概念：； 关系r 成立于或不成立于个体a t ，a 。之同。 这里r 是本体论意义上适用于n 个个体的某个关系，a - ，a 。是本体论意义上 适用于关系r 的各自论元位置上的个体。上述又可表示为： ( ra l ，a 。，1 ) 或( ra l ，a 。，o ) 一般来说：( ra 一，a 。，i ) ( i o ，1 ) 指信息条目( i n f o n ) ，信息条目就 是信息的数据化。信息条目的概念还可进一步扩大，在a 一，a 。中加入时间的 单位与空间( 地点) 的单位。如： ( e a t i n g ，m 0 1 l y ，p ，t ，1 ) 。 信息条目还有简单的和复合的之分。简单的信息条目如上所述，复合的信息 条目是由已有信息条目通过合取“八”、析取“v ”、量词“v ”和“j ”所构成的 新的信息条目。若仃和f 是信息条目，则盯八f 是复合的信息条目。 若s 是情境，盯是信息条目，盯在s 中，就记作： s l = 盯 换言之，s 使盯为真或s 使盯是事实的，正规的表述是：s 支持盯。在抽象情 境的情况下，“支持”的概念可以用集合论的属于关系来定义： sl _ 仃当且仅当盯s 有了“支持”的概念，就可以据此定义情境的几个重要性质。抽象的情境s 是 7 一致的( c o h 盯e n t ) ，如果它满足下列三个条件： ( a ) 不存在r ，a l ，a 。使得sb ( ra l ，a 。，1 ) 与s b ( r ，a 1 ， a 。o ) 都成立； ( b ) 若存在a ，b 使得sb ( s 锄e ，a ，b ，1 ) 则a b ； ( c ) 不存在a 使得sb ( s a m e ，a ，a ，o y 一致的情境就是无矛盾的情境，这一点符合逻辑的一贯要求。其次，情境s 是实 际( a c t u a l ) ，当且仅当： ( a ) 若s 卜( r ，a - ，a 。，1 ) 则现实世界中关系r 在个体对象a t ，a 。 中成立。 ： ( b ) 若s | _ ( ra ，a 。，o ) 则现实世界中关系r 不在个体对象a - ， a 。中成立。 1 3 2 制约关联 我们先来看看这样几种不同的意义关系的例子： ( 1 ) 有烟意味着有火。有烟与有火之间是一种作为自然规律的因果联系，表 明出现烟的情境总是和出现火的情境联系在一起的。即“有烟”的情境必然与“有 火”的情境相关联，但“有烟”的情境与“有火”的情境并不必然是同一个情境， 舞台上人为制造的“烟”的情境未必同“火”的情境联系在一起，再看下一个例 子。 ( 2 ) 接吻意味着接触。与上例不同，这两个情境可以构成推导的关系。如果 前提是“约翰吻过玛丽”，则据此可推出“约翰接触过玛丽”，其特点在于所涉及 的“接吻”与“接触”这样两个情境是同一个情境。它们之间是一种从属关系。 ( 3 ) 铃声响意味着下课。这是一种约定俗成的关系，体现为“铃响”情境的 类型与“下课”情境的类型之间的意义关系。如果铃坏了或晌错了时间等，则这 种关系就不成立了。 ( 4 ) c o o k i e ( 词汇条目) 意味着甜面包( 实际存在) 。这种意义关系也有约定 俗成的性质，但与上例不同的是词条“c o o k i e ”是一种语言符号，确定它同所指物 的意义关系实际上就是在描述它的语言意义，两者的关系体现为，说出“c 0 0 k i e ” 所指的对象是甜面包。 这些例子说明两个情境之间如果存在有一定关系m 的话，也就是说两者之间 有共同的一致体，这一致体可以是具体对象、抽象对象如词、具体或抽象性质、 关系、地点、时间。我们就可以说一个情境包含有另一个情境的信息。从而也得 出一结论，“意义是不同情境类型之间的一种关系m 。”。而这种关系就是所谓“制 约关联”( c o i l s 仃a i n ) 的概念，情境理论所说的“意义”就是指制约关联，通过以 上的几个例子，我们可知外部世界存在着多种多样的制约关联：作为自然规律的 因果关联，事件行为之间的从属关联，以及人类社会生活约定俗成的法规和语言 学的词汇释义关系等等。 “有烟”意味着“有火”可抽象表述如下： s = 【sjs l = ( s m o k e p r e s e n t ，l ，t ，：1 ) 】和 s l = sis 卜( f i r e - p f e s e 鸲l ，t 1 ) 】 就可以构成一种关联，用信息条目的方式表现出来就是： ( i n v o l v e ，s ，s l ，1 ) 这里i n v o l v e 表示关联，指凡是“冒烟”的情境总是与“起火”的情境相联系 的意思。 再比如这样两个情境： s = 【s1s ( o f 二谢f e ，a ，b ，l ，t ，1 ) 】和 s l = si s 卜( m r r i e d ，a ，l ，t 1 ) 】 用信息条目可以表示为：( i n v 0 1 v e ，s ，s 1 ，1 ) 。只不过与上一个关联的区别是它是必 然的，而前者之间并不是必然的关系。 。 b a n v i 鸵，j o n 蚰dj 0 h n p 哪 且m 口f f o 耐甜打“出第1 4 页。 9 1 3 3 情境语义学简述 如上节所说“情境”一词意味着一种现实，即相关者在其中能够找到自己的 处境，并且能够交换有关的信息。情境语义学声称，“句子的意义不仅是通过其 真值条件得到的，而且是用它与说出这个句子的情境和有关说话者的信息之关系 - 加以定义，我们无法独立于表达式的用法而描述表达式的意义。这涉及到这个表 达式所描述的情况与在说出它时的情况之间的关系，因为理性的说者或相关者只 能使用从他们的情境中得到的某个信息，以便能够有效地进行推理和交流。”。 “我在本书中一直在竭力推进一种关于意义和信息内容的理论，这种理论非 常丰富，足以得到一种能够描述语言使用者掌握信息方式的英语语义学，而且我 还为这种普遍的理论建立了一种形式，我们把这称作情境理论，而把它对自然语 言的应用称作情境语义学。”。 体现自然语言表达式意义关系的情境至少有两类：一类是所谓陈述情景 ( u t t e r a n c es i t u a t i o n ) ，又叫做话语情境，用u 表示，在u 中，说话者说出该表 达式；另一类情境是所谓被描述情境( d e s c r i b e ds i t u a t i o n ) ，用e 表示。e 中总 要涉及该表达式所指的对象。假定t o n y 在t 时说出表达式： r ：r yi sr u n n i n g 于是r 的陈述情境u 满足： uf _ ( s p e a 虹n g ，t o n y ，t ，1 ) 八( s a y i l l g ，t o n y ，r ，t ，1 ) 而r 的被描述情境e 则满足： eb ( n m n i n g ，m a r y ，t ，1 ) 除了( m n n i n g ，m a r y ，t ，1 ) 以外，e 可能包含更多的信息条目：如果u 只回答“w h a t i sm a r yd o i n gn o w ”这个问题的话，则e 是一个非常小的情境，很可能只包含 仙1 l l i n g ，m a r y ，t ，1 ) 一个信息条目。在近年来的情境理论的文献中，陈述情 境还包含所谓讲话者的关联( s p e a k e r sc o n n e c t i o n ) 有关的内容，即在u 中，增添 。王柯平等：西方哲学英汉对照辞典，人民出版社，第9 3 2 页- 。b a n v i s 邑j 0 n ：逻辑情境，1 9 8 9 年，第1 7 7 页。 1 0 表明组合成r 的词项跟有关对象所指关系这样的信息条目。就上例而言，u 还包 含( r e f c r - t 0 ，t o n y ，m a r y ，m ，t ，1 ) 等信息条目。如此扩大的陈述情境被称作嵌 入情境( e m b e d d i n gs i t u 砒i o n ) ，此外，所谓来源情境( r e s o l l r c es i t u a t i o n ) 的概念可以 举例说明如下，假定t o n y 说出： h ：1 k m a n is a w 硼1 n i n gy e s t e r d a y i sa t t h e d o o r 这里t o n y 为了识别此时位于门边的男人，正在利用一个他昨天看到的在其中有人 曾跑步的情境。更确切说，另u 是h 的陈述情境，m 于d 是两个个体，则有： u 卜( 埘e r s ，t o n y ，h ，l ，t ，1 ) 八 r e f e r - t 0 ，t o n y ，t h em a i l ，m ，l ，t ， 1 ) 八 r e f e r 怕，t 0 n y ，m ed o o r ，d ，l ，t ，1 ) 为了进一步考察个体m ，t o n y 利用另一个发生在说出h 之前而又被t o n y 所看见 的情境r 如下： r 卜( m n s ，m ，l ，t ，1 ) ( t t ) r 就是h 的来源情境。 2 模态情境语义学理论体系 模态情境语义学主要“是给与情境理论思想相一致的真性模态提供的一种模 型化方法”。可能世界理论中的一些概念依然保留，例如：可通达关系、世界以 ，及必然真是指在所有可通达世界都为真等。但是模态情境语义学提供了可能世界 语义学没有涉及的东西，如：结构的部分性、结构关联以及部分与整体结构之间 的关系问题等。本文旨在对上述问题进行一些简单的论述。 基于所讨论的，先来看看情境理论的存在论思想，与刘易斯的激进实在论认 为可能世界是某种现实的、独立于我们的语言和思想而存在的实体相应，情境语 义学坚持情境的实在性。“就像一个科学家认为不同的概念模式可以以虽不相容但 同样可接受的方式去构造这个世界一样，一个情境理论学家认为尽管他们能被依 赖于概念模式的事态所个体化，情境基本上是独立与思想和语言而存在的。” 与 斯托奈克的存在方式论认为事物的方式是性质或世界状态，而不是世界本身，可 能世界等同于存在着的而又未示例的( 1 l n j n s t a l l t i a t e d ) 特性，而实际世界是其特性事 实上已示例的世界这一理论相对应。情境语义学认为“事态是世界某部分的可能 存在方式，是非实际的事态。然而我们不必说有的只是情境而不是实际世界的部 分。” 2 1 模态情境语义学的基本概念 2 2 1 模态 “模态”一词相应的英语名词是“m o d a l i t y ”或“m o d e ”，它们含有样式、程式、 样态的意思。模态词有“可能”、“必然”、“必须”、“允许”、“禁止”等， 根据其在逻辑和哲学文献中使用的情况，“模态”指的是事物的存在方式或命题 本身所具有的种种性质。例如，“人类可能实现宇宙航行。”、“外星人可能来 。s t e p h e n ms c h u l z ： f 碱口，s 妇口f f 渊m d w ，第1 页。 o 同上 。 s t 印h m s c h u l z ： ，0 出，s 触口曲h 功p 。叫，第3 页。 过地球”。模态还指命题所包含的补充信息。命题中的基本信息是指关于命题所 涉及的对象和它的性质之间的联系及它们在量上的特征的信息。而命题中的关于 对象与其性质或对象间联系的性质、关于命题的状况、关于命题的评价、它的调 节功能、它的时间特征与及其他方面的种种情况就是补充信息。模态就是包含在 后者之中的。 模态是命题所具有的非真值函项性质。真值函项的真值是由其中变项的真值 唯一确定。而对于模态函项来说，若m 是运算于命题p 的非真值函项，当且仅当 h 缔的真值不是或至少不完全是由p 的值决定的。 正是由于模态函项的非真值函数性或非外延性，所以人们把它看作内涵函项。 我们根据需要从以下两个角度以不同的标准对模态进行分类。 1 ) 一元模态和二元模态 传统模态逻辑所研究的“必然”( 口) 和气可能”( ) 等函子只运作于一个主目， 因此它们是一元模态。否定作为一种特殊的一元算子，可以被看作一种不可能算 子，这样就可以用克里普克关系语义理论来处理它。相应于否定的可达关系记成r ， 那么对于否定的递归方式就是这样的：可能世界w 接受a 的否定a ，当且仅当， w 可达的任何可能世界w 都不接受a ：这也就是说，w 接受a 当且仅当任何一个 满足w r w 。的w 。都不接受a 。 - 运作于二个主目的模态函子成为二元模态。例如，刘易斯的严格蕴涵就是一 种二元模态算子。它可以用一元模态算子必然( 口) 定义如下： a 一 b = 口( a b ) “衍推”( e n “l m e n t ) 是一个重要的二元模态概念。相对于实质蕴涵，只有前件 和后件有涵义上联系才是衍推。例如“如果天下雨，那么地就湿”这是衍推：而 像“如果2 + 2 = 5 ，那么雪是白的”只是实质蕴涵，而不是衍推。衍推命题形式为 ab 是必然的相干蕴涵，即a b 铮口( ajb ) 。 另一个二元模态概念是“相容”。如果有这样两个命题，其中任何一个都不 妨碍另一个是真的，那么我们就说这两个命题间存在着相容关系。形式为 a o b 可用一元模态算子( 可能) 定义：a o b = ( a 八b ) 2 ) 真性模态和非真性模态 我们把涉及到必然性和或然性、衍推性和相容性称作真性( a l e t l l i c ) 模态。而把 “必须”、“允许”、“禁止”；“知道”、“相信”等就不是真性模态算子。 广义模态除了包括真性模态外，还包括道义模态、认知模态、时间模态等，我们 把后三种称作非真性模态。 2 1 2 力迫关系 在情境语义学部分我们介绍了“支持”这1 _ 关系。表示为： si = 仃 s 是实际情境，是盯实际事态。意思是s 使仃真，或s 使盯为实际事态。为了把 事态用于模态分析，我们需要另一种能够涉及所有非实际事态的关系力迫关 系，表示为： ： 仃- a a 是句子，表示信息，盯真，a 一定真。我们所要研究的是信息条目代数l = 圆， i ，l - ) 元素问的力迫关系，直观上来说，这里的信息条目指的是若干个可能信 息。那么什么是信息条目代数呢? 定义： ( 1 ) 一个信息条目代数l = ( ，i ，2 ， ) 由一个非空对象集( 称为情境) ，一个分 配格( i ，) 其上的值