初基演算

<正> 命题演算的构成,通常有三步骤的说法,即从 Johanson 的“极小演算”到 Heyting的构造论命题演算再到二值演算.此外,Lewis 从模态或严格蕴涵出发,也分别了许多步骤,以达到二值演算为其极限;特别值得注意的是最后三个步骤,即从 S4 到 S5 到二值演算.这两个三步骤就某意义说乃是通常命题演算的构成中最本质的步骤.综合这两个三步骤,会带来许多便利,而本文所提出的也就是作为二者共同基础的初基演算.     

“纯逻辑演算”中不依赖量词的部分

<正> “纯逻辑”这一名词是从王浩借用来的.但王浩称狭谓词演算为“纯逻辑”,我们则用“纯逻辑演算”这名词来专指加入了“同一”概念以后的狭谓词演算.我们认为这样作是比较符合于公理化集合论发展中的现阶段的实践的.这一名词的主要用意是为了在集合论