经典逻辑与直觉主义逻辑 短评

0人觉得有用 free_POC 2026-03-22 10:12:00 四川

作为教科书或教科书的辅助读物极好，推导讲解很详细。但是对于想了解直觉主义引入动机的人来说，读完只获得“直觉主义逻辑是经典逻辑的一个真子系统”这个概念，显然无法满意，毕竟，真子系统的能力是弱于系统本身的，那为什么我不用更强大的系统呢？对天然的数学柏拉图主义者来说，理解直觉主义者的动机是更令人感兴趣的地方，而这点本书显然是几乎完全不涉及。