摘 要：人工智能技术的发展，推动了因果理论向数理形式化方向发展。当前就因果涌现理论能否实现因果关系的数理形式化表达，学术界产生了分歧：拥护派认为该理论具备数理形式化可能，怀疑派认为该理论仅仅属于主观干预主义的认识论，不具备数理形式化可能。主观干预主义与循环主义的指责并没有看到该理论客观测量因果关系的底层逻辑，以及微观与宏观因果尺度转化的数理基础。不过，该理论缺乏整体的反事实模型，尚未解决强涌现复杂性与数学形式简约性的矛盾，并且理论本身的精确化与稳健性较弱不利于应用与推广，该理论的当前形态尚不完备，有待未来进一步发展。

关键词：因果涌现理论  因果关系  数理形式化