摘要 | 第4-5页 |
Abstract | 第5页 |
引言 | 第8-10页 |
1 多值逻辑概述 | 第10-15页 |
1.1 多值逻辑发展脉络 | 第10-13页 |
1.2 多值逻辑系统中的的基本概念 | 第13-15页 |
2 多值逻辑的两个基础系统 | 第15-27页 |
2.1 卢卡西维茨的多值逻辑 | 第15-22页 |
2.1.1 卢卡西维茨多值逻辑系统介绍 | 第15-20页 |
2.1.2 卢卡西维茨逻辑与经典逻辑的矛盾与相通性 | 第20-22页 |
2.2 波斯特的的多值逻辑 | 第22-27页 |
2.2.1 波斯特的有穷值多值逻辑 | 第22-24页 |
2.2.2 波斯特多值逻辑中的排 n + 1 律 | 第24-27页 |
3 多值逻辑中的两类重要系统 | 第27-39页 |
3.1 无意义多值逻辑 | 第27-33页 |
3.1.1 鲍契瓦尔的三值逻辑系统 | 第27-31页 |
3.1.2 其它无意义多值逻辑 | 第31-33页 |
3.2 多值量子逻辑 | 第33-39页 |
3.2.1 多值逻辑应用到量子力学的尝试 | 第33-35页 |
3.2.2 赖欣巴哈的三值量子逻辑 | 第35-39页 |
4 一元算符逻辑对多值逻辑的统摄 | 第39-46页 |
4.1 一元算符逻辑理论 | 第39-41页 |
4.1.1 非真值函数 | 第39-40页 |
4.1.2 一元算符逻辑的形式化 | 第40-41页 |
4.2 狭义函数相对论对多值逻辑的批判 | 第41-46页 |
4.2.1 对卢卡西维茨三值逻辑的还原 | 第41-43页 |
4.2.2 对赖辛巴哈和鲍契瓦尔的批判 | 第43-46页 |
结语 | 第46-47页 |
致谢 | 第47-48页 |
参考文献 | 第48-50页 |