FDT 依赖假设是否「逻辑」？决策理论圈再起技术争论

OrionJohnston · x · 2026-11-10

一场关于函数决策理论（FDT）家族的技术辩论：被引用者认为 FDT 的依赖假设（dependency hypotheses）本质上就是「逻辑的」，因为图结构中包含逻辑节点，干预正是作用在这些节点上，以此体现对逻辑事实的跨世界依赖，而 CDT 的图可以完全不含逻辑节点。

发帖人反驳称，「我的选择与 Omega 的行动都取决于我的选择」这一依赖假设并非有意义意义上的逻辑命题：他把「选择」建模为一个指定函数 X->Y 的行为，并假设 Omega 实例化另一个依赖于此函数的函数，之后再做推导证明两者匹配——依赖假设本身是非逻辑的，逻辑推导只是其下游产物。