论文部分内容阅读
<正> 传统逻辑主要研究性质判断及其推理,没有发展关系理论。虽然古希腊的亚里士多德、古罗马的盖伦,以及欧洲中世纪的经院学者都曾经预见到关系逻辑的存在,但是却一直没有朝这个方向发展。直到十九世纪,英国的逻辑学家德摩根提出关系理论,才真正开始了关系逻辑的研究。后来经过皮尔士、罗素等人的发展,建立了一个完全的关系逻辑。哥德尔认为关系逻辑这个“新的工具丰富了数理逻辑”。的确,这个工具不但对数学有重要意义,而且对日常思维也具有重要意义。关系逻辑是现代形式逻辑的主要内容之一。有无关系理论,这