永真公式形成系统初探

永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。

取消充足理由律的理由是不充足的

在充足理由律是不是形式逻辑基本规律的讨论中，有些同志认为充足理由律的要求既超越了形式逻辑的范围，又无法用一个永真公式表述，主张把它排除于形式逻辑体系之外；有些同志则提出应对充足理由律加以“改造”，即取消“理由必须真实”的要求，只保留“理由与推断必须有逻辑联系”的要求。我认为充足理由律是一条重要的思维规律，应当在形式逻辑中占有一定的地位，以上两种主张都是不妥当的。

论多值逻辑和二值逻辑的关系及其哲学意义

多值逻辑是二十世纪二十年代出现的一个新的逻辑分支。它与二值逻辑在系统上和应用上有所不同,反应了更复杂的现实关系。也相应地产生了二值逻辑和多值逻辑的关系问题。正确地处理这种关系,是使逻辑科学顺利发展的必要条件,也是正确地估计多值逻辑的哲学意义的前提。

关于演绎推理定义的几个问题

演绎推理是逻辑科学体系的中枢。然而,什么是演绎推理?逻辑学家们众说纷云,常常争论得不亦乐乎。看来,对于演绎推理的定义作一番研究,是完全必要的。

悖论的不可避免性和不矛盾性

本文通过对悖论的一般定义的讨论,发现关于悖论的传统观念即“悖论是矛盾”本身也是一个悖论。这表明悖论是不可避免的,但悖论又具有不矛盾性。作者据此提出“悖论不矛盾”的概念并运用它来解决公理系统的不矛盾性问题。