基于Lukasiewicz计算模型的六值命题逻辑公理体系构建

虽然经典命题逻辑在理论上已经趋于成熟,它既是可靠的又是完备的,但在现实世界中并不是每个命题均可直接用真与假来判断。很显然,对未来事件进行判断的命题既不真也不假。为了改进经典命题逻辑的这种不足,本文在深入研究经典命题逻辑的基础上,以Lukasiewicz计算模型为基础,通过扩展经典命题逻辑的逻辑真值集,并采用扩展后的逻辑真值构成的赋值格对命题进行赋值。由此本文提出六值命题逻辑系统,记为￡s。系统中否定了经典命题逻辑中的排中律,增加了对命题判断的多样性,增强了它对现实世界的表达能力。