对推理规则在非经典逻辑中失效的分析.pdfVIP

靖I8卷 增刊 自然辩证法研究 V01l 8，S ul 2002年9．r] SlLldies nDiaIeolicsofNalurc Sept，2002 文章编号：1000-8934_(2002)增刊一)叭2一04 对推理规则在非经典逻辑中失效的分析 余俊伟 中国人民大学哲学系，北京 100872 摘要： 论文认为强化前件规则对虚拟条件句确实是失效的，但竹递原则、逆拽原则和析取前件消去规则并没有像希 尔皮南所说失效丁。如果对剐一性替换规NDHA-条件：对一个命题的某个部分实施咎捶，要求所利用的同一性在谊1带腰的模 志下也成立，则同一性替换捌则可以运用于模态语境。奎因对存诒i概括规则在档态语境中失效的分析并不完全准确。 关键词： 强化前件删则；析墩前件消去规则；同一性替换蛳则；存在概括蜘则 3 中图分类号：B8I 立献标识码：A 经典逻辑一般是指由Ⅱ坐：i：多德、斯多葛学派开创，后 效的。因为经扎逻辑是仅从真值方面研究命题，而不考虑命 经中世纪发展，到近现代由菜布尼茨、弗雷格、罗豢等人完 题的内容与意义；而目．经典逻辑对一蕴涌帝题的解释是除 成的命题演算和诮词演算两个系统。而非经典逻辑，戡义地 了前件为真后件为假这一情况曲题为假外，H余聃况命艇皆 说一般是指以经典逻辑为基础，或者可以蜕以经典逻辑为工 直。这样，一十假的命题可以作为前件。但是，自然语育逻 具，对自然语言或是台有一些特殊词——模态词，如道义词． 聋I_}却恰恰在这两个方面受限制。首先它刁i仅考虑语句的真假， 时态词等的语句及语句问的关系作埋辑分析而建立起的并种 而且也考虑语句问的内容车门意义方面的联系。其次，排理蔓 逻辑。如道义逻辑，就是研究含有“应当”、“允许”等这样 从真前提…发，且所有前提的集台应不包含也不导致矛盾。 一些道义词的语句的逻辑特性。真值模态逻辑足咀台有模态 所以，对于强化前件规则米说，其强化前件的增加的条件13 词“必然”、“可能”等的语句为封研究对豫。自然语言逻辑 也就不是任心无条件的．而是要寿日应地有所受限制，它是一 也是应用经典逻辑对白然语言的逻辑特性进行研究。广义地 个真的目与其他前提有内容与意义方而的联系但又不导致矛 说，非经典逻辑是指除了经典逻辑以外的各种逻辑。本文仅 盾的命题。若爿i满足此条件那从真前提就推不f|={真∞结论。 在狱义的意义下使川非经典逻辑。当对非经典逻辑的研究进 因而说强化前件规则对于臼然语言逻辑有时会失效。不过我 入一定阶段，取得一些成果，各种北经典逻辑分支纷纷建立 认为，希尔皮南的反驳例予也是成立的。因为即使是顸设有 起形式系统后．人们也逐渐发现，一些在经典逻辑中成立的 氧，也就是前提为“如果擦这根火柴而又有氧．。若会燃。”据 推理规则在某些非经典逻辑中却失效了。率j[就此作一些升 强化前件规则是可蚍增加“又没有蚍”这个命题米强化前件 析。 的。因为经典逻辑剥此并没有限制，所增加的条件完全可以 芬兰逻辑学象R·希尔肢南在《条件句与可能Ijj=界》一 是一十与原前提相矛盾的命题。但枉自然语言遄褂里，要求 立中提¨j，有若：f二推论模式．对严格条件句柏效．对虚拟条 前提本身不包含矛盾，故此强化前件规则失效。 件句和反事实条件句失效。他提引的规则柏强化前件规则， 传递原则的一般形式是， 传递原则．逆换原则和析取前件消去规则。 若A_+B胃B_+c，则A呻c。 强化前件规则的一般形式为： 希尔出南