经典命题演算的多值模型 |
| |
引用本文: | 曹飞.经典命题演算的多值模型[J].华东师范大学学报(哲学社会科学版),1999(1). |
| |
作者姓名: | 曹飞 |
| |
作者单位: | 河南师大政教系 |
| |
摘 要: | 自Lukasiewicz创立多值逻辑以来,人们普遍认为经典命题演算只是二值逻辑系统。然而,这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义,并以此区分了真值与真的概率,由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型,并具体证明了可靠性定理和完全性定理,从理论上说明了经典命题演算不仅存在二值逻辑系统,而且存在多值逻辑系统,不仅存在有穷多值逻辑系统,而且存在无穷多值逻辑系统。
|
关 键 词: | 经典命题演算 真值 多值模型 |
本文献已被 CNKI 等数据库收录! |
|