逻辑斯谛

近代数理逻辑在其生长的过程中曾遭受到许多资产阶级学者的歪曲。其中主要流派之一是以罗素为代表的逻辑主义;他与怀德海合写了一部大书——“数学原理”,企图把全部古典数学从一个逻辑系统中推演出来。罗素的这种系统被给与一个名称,叫作逻辑斯谛。它对于数理逻辑的这种唯心主义的歪曲,曾为一些先进的科学代表人物(如奥国的数理逻辑学家哥德尔)有力地加以驳斥;近来苏联逻辑学家也曾不断地给以批判。近代数理逻辑正是在与这种和其他各种唯心主义的歪曲的斗争中日益成长与壮大。下面这一篇文章是对于“数学原理”一书的内容的简要介绍,作者的观点自然是有问题的,它的介绍未必很好。但它也提供了一些基本材料,所以发表出来,以供参考。