接着昨天，为什么逻辑没有成功编码集合论，
散仙谷 http://www.webjb.org/webjb/sanxian/
送交者: xing0gong 于 2026-07-29 08:19:49
回答: 数学史上，数学基础最终选择的是集合论， 由 于 2026-07-28 10:36:00
原因是逻辑拒绝直观。这种拒绝的原因是逻辑学家的哲学洁癖。逻辑拒绝将直观客体作为体系的基石。他们希望建立一个能够收编数学的逻辑。这个逻辑的第一块砖当然应该是逻辑的概念，比如是逻辑公理同一律，而不是直观客体空集合。在这样的逻辑系统中，通过逻辑运算来构建必要的直观客体空集合，以及其他直观客体。这种希望落空了，或者等同于落空了。原因是，单纯的逻辑关系不能推演出直观客体的存在性，即使是最简单的客体空集合。如果硬要推演出直观客体的存在性，就必须增加不属于纯逻辑的东西。
这个拒绝直观的洁癖决定了逻辑不能成功收编集合论，也因此不能收编数学。
阅读次数：61
所有跟贴:
加跟贴
所有跟贴·加跟贴·ɢɹ
Copyright © 2000 - 2020 webjb.org