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

PAGEPAGE3深究哲学逻辑的几个理论问题看法。一、经典逻辑和非经典逻辑的界限在这里经典逻辑是指标准的一阶谓词演算陈述性和协调性。传统的主流观点：每个命题（语句）或是真的或是假的。这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守。 20年代初卢卡西维茨(J.Lukasiwicz)建立三值逻辑系统从而打破了二值性原则的一统天下出现多值逻辑、部分逻辑（偏逻辑）等一系列非二值型的逻辑。经典逻辑是外延逻辑。外延性逻辑具有下述特点：第一，这种逻辑认为每个表达式（词项、语句）20年代初，刘易士(C.I.Lewis)在构造严格蕴涵系统时，引入初始模态概念“相容（或“可能性”S1-S5从弗雷格始，经典逻辑系统的语义学中，总是假定一个非空的解释域，要求60一种与存在假设有关的推理，另一种与它无关。在经典逻辑范围内，由已知事实的集合推出结论，永远不会被进一步推演所70(R.REiter)提出缺省(Default)系统，于是一系列非单调逻辑出现。50经典逻辑中有这样两条定理：┐（p∧┐q（矛盾律）p∧┐p→q（司各特律，前者表明：在一个系统内禁不协调的命题作为论题，后者说的是：由矛盾1958C（〈n≤ω。矛盾律和司各特律在该系统中不普遍有效，而其他最综上所述非经典逻辑诸分支从不同方面突破经典逻辑某些原则。于是，我们种性质之一的逻辑系统均属非经典逻辑范畴。二、非单调性与演绎性Γ，S，满足下述条件SSΓГ为前提的信息逐步完善，而导出的结论逐步逼近真的结论。三、逻辑的数学化和部门化正如有人所指出的那样，“逻辑学在智力图谱中占有战略地位，它联结着数学化和部门化。逻辑学日益数学化，这表现为：(1)逻辑采取更多的数学方法，因而技术性程（如系统特征问题的解决需要复杂的证明技术和数学技巧。(2)它更侧重于数学形式化的问题。其实数学化的本质是抽象化、理想化和泛化（普遍化。这对像逻辑这样的形式科学显然是非常重要的，近一个世逻辑向其他学科领域的延伸并吸收营养，于是出现了各种部门逻辑，如认知辑部门化。哲学逻辑就是逻辑部门化的产物，它是方面逻辑或部门逻辑。众所周知，经典逻辑演算的理论方法和运算技术具有高度的概括性它适用于一切领域一切语言所表达的演绎推理形式。所以，它具有普遍性，是一般的逻辑。有人认为一阶演算完全性定理表明“采用现代数学方法和数学语言来刻画的全体‘演绎推理规律’恰好就是人们在思维中所用的演绎推理规律的全体不多也不少”表达一阶逻辑规律的公式是普通有效的即是这些公式在任何一种解释中都是真的而哲学逻辑各分支只是研究某一方面或领域的演绎推理规律表达这些规律的公式只是在一定条件下在某一领域是有效的即是它们在具有某种条件解释下是 真 的 。 例 如 ， 模 态 公 式(D)□P→

P,(T)□P→P,(B)P→□

P,(4)□P→□□P,(E)

P→□

P，分别在串行的、自反的、对称的、传递的、欧几里得的模型中有效。而动态逻辑的一些规律只适用于像计算程序那样的由一种状态过渡到另一种状态转换的动态关系。部门逻辑另一种含义是为某一特定领域提供逻辑工具。例如，当人们找出描于是人们构造一种能够描述微观物理世界新的逻辑系统，这就是量子逻辑。四、哲学逻辑划界问题