从物模态的还原-一个逻辑哲学探究.pdf

每最’拜富2015年第8期 从物模态的还原：一个逻辑哲学探究 张力锋 『摘 要]作为还原从物模态的限定条件，语句集∑无需有非从物性句法要求，而应主要在语义上不可 出现基于个体量化的实质模态使用。按照这一还原方案，唯有模型结构具有程度不同的齐次性，在模态语境 下消解个体或有意识模糊个体的同一性及相互之间的分别，坚持反基质主义准则．不约定数个可能世界间个 体的同一或差异的模态理论，才能达成初衷：但这样的模态理论背离从物模态的基本语义，没有多少成效。 『关键词]从物模态 从言模态 个体 模型结构 [中图分类号]B81一05【文献标识码]A[文章编号]1000—7326(2015)08—0016—04 量化模态语句会导致经典一阶逻辑的同一置换和存在概括原则失效，还会推衍出“令人不快”的本 质主义哲学后果。于是，就有一项议题摆在模态逻辑学家的面前：能否在某一模态系统中消解这些从物 模态语句，从而既不会威胁到经典逻辑原则，又可以彻底根绝本质主义幽灵呢?有一条路径是选择合适 的模态谓词逻辑系统，使得在一定条件下每一个从物模态语句都等价于一个从言模态句，于是从物模态 引起的诸多技术或哲学上的纠葛就会在那些模态逻辑中得以化解。具体来说，先要确定一个较符合人们 模态直觉的系统S，再寻找一个表示某些限定条件的语句集乏。该语句集的S语义后承之一是：任一从 物模态语句旺都有一个相应的等价从言模态语句d木。即，任取一S模型W，R，D，H，V及W∈W 一从物模态语句就可还原为一个非从物模态句，从物模态导致的一系列纷争也就可以消除掉。 一、语句集∑的句法要求 作为还原从物模态的语义条件，句子集∑既可以在句法上表现为添加进公理化模态系统S的附加公 理．也可以在语义上表现为对S模型所做的结构限定。实际上，这两种理解是一致的，理想中的附加公 理就是刚好要在所有那些经过结构限定的S模型里为真，它们要拣选出那些模型类，换言之，模态系统 S的新扩张相对于那样结构的S模型类既是完全的，又是可靠的。那么．要想彻底消解从物模态，关于 表征一定语义限定条件的语句集∑有没有某些要求呢?费因(KitFine)的回答是否定的，他认为“严 +本文系江苏省高校优秀中青年教师和校长境外研修计划及国家社科基金重点项目“描述论和直接指称论之争—— 回顾、批判与建构”(12AZX008)的阶段性成果。 作者简介 张力锋，南京大学现代逻辑与逻辑应用研究所教授(江苏南京，210093)。 一16— 万方数据 格地说．附加公理本身是无意义的。它们只不过是规定为成立，以便其他从物语句可以依靠其从言等价 物得到解释”。I，】福布斯(GraemeForbes)则持不同的观点：“为给从物句提供从言等价物，寻求这样一 组条件或这样一个句子集∑的人想必一定更愿意∑里的句子自身都是从言的，因为他视从物语句是成 问题的”。[21究竟∑应是什么样一种形态的公式集合呢? 我们知道．从物模态和从言模态的区分是在对象语言层面做出的，因此只要能够实现还原从物模态 的目标，无论何种句法形态的公式都应是容许的。在这个意义上，费因的“无意义”说不无道理。举个 (其中，L是必然 最简单的例子，如果想将从物模态语句VxL由(x)还原为从言模态句子LVx巾(x) 模态算子，中(x)是仅以x为唯一自由变元的非模态公式)，只需将VxL巾(x)HLVxqb(x)作为公理 模式添加进相应的模态系统即可；在这种不足道的还原方法下，虽然∑中出现了从物模态，但没有人会 因此抱怨这样做是不合法的。所以，原则上不要求还原使用的句子集∑只包含从言模态，即便其中出现 从物模态语句，也要区别那些句子是不是实质上发挥了从物模态的功效。 如果说以上例子还不够清晰，那么经典一阶逻辑公理的一些从物模态代人实例更有说服力。如任何 一个量化模态逻辑都会包括以下公理(其中巾(X)中的自由变元之一为x，Y对于X代人自由)： ]xL6(X)V，]xL中(X)， VxLdp(X)一№(x／y)。 这是两个典型的从物模态公式，也是经典逻辑排中律和全称示例原则的两个代入实例，如果将它们作为 还原从物模态计划的公理．