多值逻辑方法

多值逻辑是本世纪二十年代由波兰逻辑学家卢卡西维茨为了解决亚里士多德关于未然偶然性问题,提出了三值逻辑。他们三值逻辑中规定,每个命题或者是真的,或者是假的,或者是中立的。而波斯特在这个时期,也独自地提出了多值逻辑的问题,但他们多值逻辑和卢卡西维茨的三值逻辑不尽相同。多值逻辑直接假定命题。具体说来是:

t1,t2,t3,……tm

其中m为自然数(m>2),t的值为真,tm的值为假。

所谓多值逻辑方法,就是指在认识过程中冲破二值逻辑,运用多值的命题的演算 (命题演算和谓词演算),及其这些演算的性质 (一致性,完全性等),特定方法和规则来揭示事物本质及内在关系的逻辑方法。

使用逻辑方法,要充分注意其特点:1.它属于非古典逻辑; 2.以命题的真值为两个以上作为出发点; 3.多值逻辑是一些形式化的演算系统; 4.多值逻辑本身既是一个演算系统,又是一个理论体系。

多值逻辑用处很广,虽然多值逻辑尚属须进一步完善的理论,但利用已有的多值逻辑系统和新建立的多值逻辑系统为解决一些科学研究任务提供了科学的逻辑手段和工具。如应用到控制论方面。弗晰(Fuzzy) 逻辑建立同多值逻辑就有着密切的关系。多值逻辑的研究还相应提出一些哲学方法新课题,也都有待研究。