论文部分内容阅读
一、多值逻辑概述西方逻辑的发展从一开始其主流观点一直是：任何命题都有而且只有真假二值，即所谓“二值律”。但是“二值律”与“排中律”历史上很早就受到质疑。多值逻辑作为一门独立的逻辑学分支是由波兰逻辑学家哲学家Jan Lukasiewicz在1920年创立的。Lukasiewicz研究了模态在人类的本体论活动中的作用。他试图通过第三个真值来表示“可能性”（非决定性）。并在此基础上为模态“必然”和“可能”建立模型。Lukasiewicz认为。