林一二2024年09月05日 23:43
休谟论证说，只有两种真理为我们所知：其一是“推理的真理”，诸如2+2=4之类；其二是“实际的事情”，例如“哥本哈根动物园鸟族馆中的乌鸦是黑色的”。这种真理二分法被称为“休谟叉”。休谟坚称，如果一个问题无法归入这两类，则为无法回答的无意义问题，“外部世界是否存在”这个问题即为一例。
休谟质疑笛卡尔推理的每一个环节，包括「我思故我在」，因为不属于「实际的事情」。
这两类真理就是推理机和图谱。不过实际上「实际的事情」也只能以一定概率为真，因为每次对事实的亲自检验也只是更新了后验概率而已，而没有一次检验能保证彻底到亚原子层面。
只不过工程上和现代科学中我们都允许通过归纳了解大概率为真的信息，没有休谟那么苛刻。