19、强许可在规定性因果模型中的应用与挑战

强许可在规定性因果模型中的应用与挑战

在规范逻辑领域，强许可的研究旨在为自由选择许可提供一个逻辑框架，同时避免引发悖论。强许可与弱许可（定义为义务的对偶）不同，它支持自由选择析取效应（FCVE），但拒绝自由选择析取引入（FCVI）和自由选择合取消除（FCCE）。

强许可的形式化思路

形式化强许可的一般思路是使其区别于弱许可，同时验证 FCVE 并拒绝 FCVI 和 FCCE。一种策略是采用某种道义还原策略来处理道义模态。例如，可以采用特定的句子字母 S 来表示“制裁发生”或“不能免于制裁”，然后通过以下方式定义标准义务、弱许可和强许可：
- 标准义务 O(ϕ)：¬A → S
- 弱许可 Pw(ϕ)：¬O(¬ϕ)
- 强许可 P(ϕ)：ϕ → OK，其中 → 是一种尚未明确的条件关系，OK 定义为 ¬S

根据这种道义还原策略，FCVE、FCVI 和 FCCE 有相应的形式化表述：
- (FCVE ) (ϕ ∨ ψ) → OK |=? (ϕ → OK) ∧ (ψ → OK)
- (FCVI ) ϕ → OK |=? (ϕ ∨ ψ) → OK
- (FCCE*) (ϕ ∧ ψ) → OK |=? ϕ → OK

然而，强许可框架面临一个实质性挑战，即验证 FCVE 时需要验证析取前件的简化（SDA），但不能同时验证等价前件的替换（SEA），否则会导致不期望的前件强化（AS）：
- (SDA) (ϕ ∨ ψ) → χ |=? (ϕ → χ) ∧ (ψ → χ)
- (SEA) ϕ ≡ ψ, ϕ → χ |=? ψ → χ
- (AS) ϕ → ψ |=? (ϕ