|
|||||
|
|
| 多值逻辑的哲学意义 | |
| 作者姓名： | 蔡曙山 |
| 摘 要： | 一、多值逻辑的历史和动因 我们首先简要介绍多值逻辑的历史,分析它发展的动因,并给出在以后的讨论中要用到的一些重要的多值逻辑系统。 卢卡西维兹的三值逻辑系统 本世纪20年代,卢卡西维兹开始对多值逻辑作系统的研究。他考虑的命题是“明年12月21日中午我在华沙”。这一命题在当下是既不真又不假的,他把命题的这一真值称为“中间值”。卢卡西维兹考虑命题的第三种真值有明确的动意,那就是,在他的三值逻辑系统中可以定义模态算子◇和□。记这个系统为L_3,我们有如下的定义: |
| 本文献已被 CNKI 等数据库收录！ | |