经典命题演算的多值模型

发布时间：2018-04-24 20:31

  本文选题：经典命题演算 + 真值　； 参考：《华东师范大学学报(哲学社会科学版)》1999年01期

【摘要】：自Ｌｕｋａｓｉｅｗｉｃｚ创立多值逻辑以来，人们普遍认为经典命题演算只是二值逻辑系统。然而，这种观点实际上并不成立。本文用集合概念对逻辑学的基本概念“真值”作了精确定义，并以此区分了真值与真的概率，，由此给出了经典命题演算的一般真值模型、有穷多值模型及无穷多值模型，并具体证明了可靠性定理和完全性定理，从理论上说明了经典命题演算不仅存在二值逻辑系统，而且存在多值逻辑系统，不仅存在有穷多值逻辑系统，而且存在无穷多值逻辑系统。
[Abstract]:Since Lukasiewicz founded multivalued logic, it is generally considered that classical propositional calculus is only a binary logic system. However, this view does not actually hold true. In this paper, the basic concept of logic, "true value", is precisely defined by the concept of set, and the truth value is distinguished from the true probability. The general truth value model, the finite multivalued model and the infinite multivalued model of classical propositional calculus are given. The reliability theorem and the completeness theorem are proved in detail. It is theoretically proved that the classical propositional calculus has not only binary logic system, but also multi-valued logic system, not only finite multivalued logic system, but also finite multivalued logic system. And there are infinite valued logic systems.
【作者单位】： 河南师大政教系
【分类号】：B81

【相似文献】

相关期刊论文 前10条

1 曹飞;经典命题演算的多值模型[J];华东师范大学学报(哲学社会科学版);1999年01期

2 姚从军;;模态命题逻辑系统K、D、T、S4、S5、B之比较[J];毕节学院学报;2009年04期

3 桂起权;;什么是次协调逻辑[J];思维与智慧;1988年04期

4 桂起权,朱志方;次协调逻辑——辩证法的顶梁柱[J];江汉论坛;1988年12期

5 江正云;逻辑的方法与逻辑的困惑──谈谈由条件句引申出的逻辑问题[J];常德师范学院学报(社会科学版);1995年04期

6 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

7 彭媚娟;胡泽洪;;关于弗协调逻辑的思考[J];湖南科技大学学报(社会科学版);2008年01期

8 姚从军;;古典命题逻辑与模态命题逻辑的形式系统之比较[J];毕节学院学报;2009年10期

9 李小五;用带测度函数的可能世界语义学解释—归纳认知逻辑[J];自然辩证法研究;1993年02期

10 吴坚;;真值函项理论与怪论[J];重庆理工大学学报(社会科学);2010年06期

相关硕士学位论文 前2条

1 秦一男;经典命题演算的能行方法研究[D];燕山大学;2008年

2 罗智宁;汽车与摩托车碰撞事故车速估计建模[D];吉林大学;2008年

本文编号：1798139