略论形式逻辑的改革与发展

从一九七八年全国逻辑讨论会以来,许多同志重视国外近一百年来逻辑学研究的新成果,迫切要求用数理逻辑来改革传统的形式逻辑,或创建新的“科学的逻辑”,促使形式逻辑现代化。有些同志已在这方面开始了研究工作。是必须充分加以肯定的。国外逻辑学的研究工作确是迅速发展的。其突出之处是数理逻辑的兴起,并在各个科学领域中加以应用。数理逻辑以命题演算和谓词演算为基础,进而提出集合论。