FNDFND · FND-08 · 形式化推演、证据链与流派冲突处理
把玄学写成程序：规则、证据与防作弊
本课要解决的问题与学习目标
- 能复述元规则 R4、R7、R8 的内容与动机
- 能解释「期望值不得从被测输出反推」为何是防作弊条款
- 能对一个实际 bug 案例说出哪条元规则被违反了
先修知识
象数理气：给知识分楼层陈述类型：定义、规则、约定、经验
知识原子
原教材解释教材整理公共基础METHOD已校
证据边界：可推演的部分与不可推演的部分
易学陈述里有「可由定义与规则推演」的部分，例如五行生克、卦象排列、天干地支六十甲子——这些可以由确定性引擎逐条计算，结果可重可验；也有「依赖经验、统计、文化共识」的部分，例如「某日出行吉凶」「某地是否宜居」——这部分若想成为知识，需要现代统计方法（队列、回归、对照）的介入，否则只能作为「文化传统」陈述。本课的纪律：前者必须算，后者必须标「待考/文化意义」，不可混为一谈。
例题、反例与常见误区（2）
- 正例：「干支六十甲子」属可推演——任何实现都能算同一答案；「金命人忌南」属不可推演——无现代数据支撑。
- 误区：用纳甲的「算法复杂度」证明纳甲「更科学」。
甲壬配外内二象
原定义原典直证公共基础METHOD已校
陈述类型：定义 / 可计算规则 / 门派约定 / 经验断语
任何「易学陈述」都必属四类之一：① 定义（不可证伪的术语界定，如「乾为天」）；② 可计算规则（输入与输出一一对应，如五行生克）；③ 门派约定（某派独承、它派不认，如「京房纳甲」）；④ 经验断语（统计性观察，无理论保证，如「金命人忌南」）。一段引文里往往四类并存，例如《京氏易传》释「乾」：「纯阳用事」（定义）+「象配天，属金」（类象定义）+「与坤为飞伏，居世」（关系定义）。分清四类，是判别「何为可证、何为独承、何为经验」的入门。
例题、反例与常见误区（2）
- 正例：读到「金克木」时问：这是定义、规则、约定还是经验？答：可计算规则（输入输出确定）。
- 误区：把「此宅不宜居」与「乾为天」放在同一逻辑层级争论。
纯阳用事。象配天，属金。与坤为飞伏，居世。
可计算层
定义 · 形式化规则 · 查表推演
定义 · 形式化规则 · 查表推演
⟷
经验与约定层
门派约定 · 经验断语 · 文学意象
门派约定 · 经验断语 · 文学意象
证据分界线交互：分界线左侧「可推演」（如五行生克、干支序列、卦象排列），右侧「文化/经验」（如吉凶断语、风水效应、相法口诀）。
可计算层
定义 · 形式化规则 · 查表推演
定义 · 形式化规则 · 查表推演
⟷
经验与约定层
门派约定 · 经验断语 · 文学意象
门派约定 · 经验断语 · 文学意象
证据分界线交互：分界线左侧「可推演」（如五行生克、干支序列、卦象排列），右侧「文化/经验」（如吉凶断语、风水效应、相法口诀）。
动画步骤（可逐步对照）
- 拖动陈述越过「证据分界线」
- 系统提示：左为可推演、右为文化/经验
- 查看各陈述的判定依据
判断下列陈述属于哪一类型（本库陈述类型学，PRE-04）——正确 0 / 0
洛书纵横之和皆为十五
陈述类型分类器：左侧陈述列表示意，右侧四个分类标签（定义/可计算规则/门派约定/经验断语），拖动陈述到对应标签后给出判定。
动画步骤（可逐步对照）
- 随机抽 5 条易学陈述
- 拖动到四类标签（定义/规则/约定/经验）
- 查看判定与依据
原证据边界：可推演的部分与不可推演的部分
甲壬配外内二象
原陈述类型：定义 / 可计算规则 / 门派约定 / 经验断语
纯阳用事。象配天，属金。与坤为飞伏，居世。
结本节小结
- 1.证据边界：可推演的部分与不可推演的部分：易学陈述里有「可由定义与规则推演」的部分，例如五行生克、卦象排列、天干地支六十甲子——这些可以由确定性引擎逐条计算，结果可重可验；也有「依赖经验、统计、文化共识」的部分，例如「某日出行吉凶」「某地是否宜居」——这部分若想成为知识，需要现代统计方法（队列、回归、对照）的介入，否则只能作为「文化传统」陈述。本课的纪律：前者必须算，后者必须标「待考/文化意义」，不可混为一谈。
- 2.陈述类型：定义 / 可计算规则 / 门派约定 / 经验断语：任何「易学陈述」都必属四类之一：① 定义（不可证伪的术语界定，如「乾为天」）；② 可计算规则（输入与输出一一对应，如五行生克）；③ 门派约定（某派独承、它派不认，如「京房纳甲」）；④ 经验断语（统计性观察，无理论保证，如「金命人忌南」）。一段引文里往往四类并存，例如《京氏易传》释「乾」：「纯阳用事」（定义）+「象配天，属金」（类象定义）+「与坤为飞伏，居世」（关系定义）。分清四类，是判别「何为可证、何为独承、何为经验」的入门。
续下一节预告
出处、版本与延伸阅读
- 《京氏易传》 · 乾上乾下 · 钦定四库全书本