多值逻辑的哲学意义

被引:3
作者
蔡曙山
机构
关键词
多值逻辑; 波斯特; 元逻辑; 重言式; 逻辑观; 哲学意义;
D O I
10.13713/j.cnki.cssci.1991.12.004
中图分类号
学科分类号
摘要
<正>一、多值逻辑的历史和动因 我们首先简要介绍多值逻辑的历史,分析它发展的动因,并给出在以后的讨论中要用到的一些重要的多值逻辑系统。 卢卡西维兹的三值逻辑系统 本世纪20年代,卢卡西维兹开始对多值逻辑作系统的研究。他考虑的命题是“明年12月21日中午我在华沙”。这一命题在当下是既不真又不假的,他把命题的这一真值称为“中间值”。卢卡西维兹考虑命题的第三种真值有明确的动意,那就是,在他的三值逻辑系统中可以定义模态算子◇和□。记这个系统为L3,我们有如下的定义:
引用
收藏
页码:18 / 23+17 +17
页数:7
相关论文
empty
未找到相关数据