相干蕴涵和情境信息理论中的制约关联.pdf

2013年1月 湖北大学学报(哲学社会科学版) Jan．，2013 第40卷第1期 ofHubei andSocialScience) V01．40No．1 Journal University(Philosophy 相干蕴涵和情境信息理论中的制约关联 牛奔玉，周祯祥 (华南师范大学政治与行政学院，广东广州510631) [摘要]相干蕴涵是相干逻辑中一个重要的概念：相干蕴涵不仅顾及前后件之间的真假关系方面的联系 即真值性，而且还体现了前后件之间以共同的命题变元为特征的内容方面的联系即相干性。相干逻辑学家们在 相干逻辑的研究中，给出了这种相干性的种种语义解释，尤其是鲁特雷一迈耶给出了集合一关系语义理论。鲁特 雷一迈耶的三元可达关系为相干逻辑中的相干蕴涵提供了新的思路，而伊斯雷尔和佩里的制约关联概念则把我 们对条件句的理解转换到情境信息关联的层面。相干蕴涵和制约关联这两类看似完全不同的理论，一个是逻辑 的，一个是有关信息的，因为基本概念的相似性，呈现某种解释逻辑、语言和信息的新视野。尽管这两个理论还有 许多需要解决的问题和困惑，但是把三元关系解释为信息制约关系，反过来在制约关联中运用三元可达关系．对 于相干蕴涵和情境信息理论来说都是很富有启示意义的。随着相干逻辑和信息理论的深入研究，情境信息理论 和相干逻辑会更紧密地联系在一起。关于条件句的相干逻辑理论可能是信息理论的一个部分，而我们关于制约 关联的情境信息理论则是相干逻辑的某种体现。 [关键词]相干蕴涵；三元关系；情境；信息；制约 [中图分类号]B81[文献标志码]A [文章编号]1001—4799(2013)01—0034—06 一、引言 相干逻辑是重要的现代逻辑分支，其基本的出发点是：坚持演绎推理的相干性，拒斥“相干谬误”，即 出的集合一关系语义理论影响较大。而在模态逻辑的语义研究中，最有影响的则是克里普克的关系语义 学，即可能世界语义学理论。鲁特雷一迈耶的理论借鉴了克里普克的可能世界语义学，给出了三元可达关 系，他们把这种三元可达关系用来解释相干逻辑中的相干蕴涵。相当一部分相干逻辑学家为相干逻辑的 399训3。他们抱怨说，很难理解对相干逻辑所作的这种集 这一语义解释感到困惑，如科普兰(Copeland)[11 合一关系语义解释，尤其是很难从直观上理解鲁特雷一迈耶为相干蕴涵给出的三元关系语义。 然而，作为情境语义理论创立者的约翰·佩里(John Perry)在1986年的访谈中指出，情境语义理论 Dunn)也暗示了相同的观点1312050 Belnap)和邓恩(J．Michael J隋境语义理论以情境、世界作为其本体元素， 其中的世界概念，正是可能世界语义学中的本体元素。这就使得情境语义理论可以仿照可能世界语义学 理论，如同可能世界语义学解释模态逻辑那样，情境语义理论可以用来解释相干蕴涵，进而可以解释相 干逻辑。本文的目标即在廓清这一思路，通过对相关基本概念的分析，揭示鲁特雷一迈耶的三元可达关 系，何以能够在情境语义理论的背景下更为直观地反映相干蕴涵的语义。 二、相干蕴涵和鲁特雷一迈耶框架 在对条件句的研究中，相干逻辑学家发现，如果a邓这种形式的条件句为真，那么在a和p之间一定 [收稿日期]2012—09—18 [基金项目]教育部人文社会科学研究资助项目：08JA720010 男，湖北武汉人，华南师范大学政治与行政学院教授、博士生导师，主要从事非经典逻辑研究。 万方数据 第1期 牛奔玉等：相干蕴涵和情境信息理论中的制约关联 35 具有某种关联，也就是说，前件Or．必须以某种方式同后似之间存在一种相干陛。对相干逻辑的进一步研 究表明，因为存在重言式后件这种形式的条件句，