深究哲学逻辑的几个理论问题 .doc

《深究哲学逻辑的几个理论问题 .doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、深究哲学逻辑的几个理论问题深究哲学逻辑的几个理论问题深究哲学逻辑的几个理论问题　　哲学逻辑的崛起引发一系列理论问题。我们仅就其中几个提出一些不成熟的看法。　　一、经典逻辑和非经典逻辑的界限　　在这里经典逻辑是指标准的一阶谓词演算(CQC)，它的语义学是模型论。随着非经典逻辑分支不断出现，使得我们对经典逻辑和非经逻辑的界限的认识逐步加深。就目前情况看，经典逻辑具有下述特征：二值性、外延性、存在性、单调性、陈述性和协调性。　　传统的主流观点：每个命题或是真的或是假的。这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守。20年代初卢卡西维茨()建立三值

2、逻辑系统，从而打破了二值性原则的一统天下，出现了多值逻辑、部分逻辑等一系列非二值型的逻辑。　　经典逻辑是外延逻辑。外延性逻辑具有下述特点：第一，这种逻辑认为每个表达式的外延就是它们的意义。每个个体词都指称解释域中的个体；而语句的外延是它们的真值。第二，每个复合表达式的值是由组成它的各部分表达式的值所决定，也就是说，复合表达式的意义是其各部分表达式意义的函项，第三，同一性替换规则和等值置换定理在外延关系推理中成立。也是在20年代初，刘易士()在构造严格蕴涵系统时，引入初始模态概念“相容性”，并进一步构建模态系统S1-S5。从而引发一系列非外延型的逻辑系统出现，如模态逻辑

3、、时态逻辑、道义逻辑和认知逻辑等等出现。　　从弗雷格始，经典逻辑系统的语义学中，总是假定一个非空的解释域，要求个体词项解释域是非空的。这就是说，经典逻辑对量词的解释中隐含着“存在假设”，在60年代被命名为“自由逻辑”的非存型的逻辑出现了。自由逻辑的重要任务就在于：把经典逻辑中隐含的存在假设变明显；区分开逻辑中的两种情况：一种与存在假设有关的推理，另一种与它无关。　　在经典逻辑范围内，由已知事实的集合推出结论，永远不会被进一步推演所否定，即无论增加多少新信息作前提，也不会废除原来的结论。这就是说经典逻辑推理具有单调性。然而于70年代末，里特()提出缺省(Default)

4、推理系统，于是一系列非单调逻辑出现。　　经典逻辑总是从真假角度研究命题间关系。因而只考察陈述句间关系的逻辑，像祈使句、疑问句、感叹句就被排斥在逻辑学直接研究之外。自50年代始，命令句逻辑、疑问句逻辑相继出现。于是，非陈述型的逻辑存在已成事实。　　经典逻辑中有这样两条定理：┐和p∧┐p→q，前者表明：在一个系统内禁不协调的命题作为论题，后者说的是：由矛盾可推出一切命题。也就是说，如果一个系统是不协调的，那么一切命题都是它的定理。这样的系统是不足道的(trivial)。柯斯塔()于1958年构造逻辑系统Cn。矛盾律和司各特律在该系统中不普遍有效，而其他最重要模式和推理规则

5、得以保留。这就开创了非经典逻辑一个新方向弗协调逻辑。　　综上所述非经典逻辑诸分支从不同方面突破经典逻辑某些原则。于是，我们可以以上面六种特征作为划分经典逻辑与非经典逻辑的根据。凡是不具有上述六种性质之一的逻辑系统均属非经典逻辑范畴。　　二、非单调性与演绎性　　通常这样来刻画演绎：相对于语句集合Γ，对于任一语句S，满足下述条件的其最后语句为S的有穷序列是S由Γ演绎的：序列中每个语句或者是公理，或者是Г的元素，或者根据推理规则由前面的语句获得的。它的一个同义词是导出(derivation)。演绎是相对于系统的概念，说一个公式是演绎的只是相对于一不定的公理和推理规则的具体系

6、统而言的。演绎概念是证明概念的概括。一个证明是语句这样的有穷序列：它的每个语句或是公理或是根据推理规则由前面的语句得出的。在序列中最后一个语句是定理。　　由此可见，缺省逻辑中的推出关系比经典逻辑中的要宽。因而相应扩大了“演绎性”概念的外延。于是可把演绎性分为：强演绎性和弱演绎性。后者是随着作为前提的信息逐步完善，而导出的结论逐步逼近真的结论。　　三、逻辑的数学化和部门化　　正如有人所指出的那样，“逻辑学在智力图谱中占有战略地位，它联结着数学、语言学、哲学和计算机科学不同学科。”作为构建各学科系统的元科学手段的逻辑与各门科学联系越来越密切。它在当代发展中，表现出两个重要

7、特征：数学化和部门化。　　逻辑学日益数学化，这表现为：(1)逻辑采取更多的数学方法，因而技术性程度越来越高。一些逻辑问题的解决需要复杂的证明技术和数学技巧。(2)它更侧重于数学形式化的问题。其实数学化的本质是抽象化、理想化和泛化。这对像逻辑这样的形式科学显然是非常重要的，近一个世纪逻辑迅速发展就证明了这一点。逻辑方法论的数学化在本世纪下半叶正在加速。这给予逻辑的一些重要结论以复杂的结构和深入的处理，使逻辑变得更精确更丰富。但是，由于逻辑中数学专门化已定型并且限定了它自己，所以逻辑需向其他领域扩张，拓宽其研究领域就势所必然。　　逻辑向其他学科领域的延伸