多值逻辑
多值逻辑是一门研究具有有穷或无穷多个真值的命题的逻辑演算,以及这些演算的逻辑性质的逻辑学科。它是现代逻辑的一个分支。
古希腊亚里士多德(Aristotle)曾经讨论过命题除“真”“假”之外的另一种真值“未来可能”。例如,命题“明天发生海战”,就可以既不取值真、也不取值假,而取第三种真值——至少在事件发生以前——“未来可能”。近代,多值逻辑是由麦克柯尔(MacColl,H.)提出来的。他认为命题除了取真假二值外,还可以取必然、不可能和可能这些模态值。20世纪20年代早期,卢卡西维茨(Lukasiewicz,J.)和波斯特(Post,E.L.)分别建立三值逻辑系统。1930年,卢卡西维茨又把他的三值逻辑推 ...... (共1244字) [阅读本文]>>