浅析经济理论的直觉主义逻辑论文(第3页)
本文共计4368个字，预计阅读时长15分钟。【 字体：大 中 小 】
微信号已复制到剪贴板
第三，尽管普遍的看法认为直觉主义逻辑和经典逻辑是两种不同的逻辑观点。两者之间更多的是反对关系。但也有观点认为，直觉主义逻辑和经典逻辑并非完全没有任何关联。相反，它与传统逻辑具有密切相关的一些方面，就像敏茨在《直觉主义逻辑简论》中认为的，“直觉主义逻辑可被看成是令人熟悉的、允许从证据形成程序的机械提取的经典逻辑的一部分。”通过简单的λ- 计算，对直觉主义逻辑的程序化解释，由经典逻辑到直觉主义逻辑的负转化，以及自然演绎的规范化，克里普克模型，代数和拓扑语义学，寻求证据的方法等这些环节，就可以看到两者之间的很多交叉关联。
