模态认识论与反事实条件句逻辑

在德雷茨克和诺齐克传统中，模态认识论关注由反事实条件句表达的模态联系，如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果，该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“would”的独立意义而应被摒弃。作为其替代的反事实条件句的组合语义学认为，反事实条件句是语境受限的严格条件句。在替代语义学中，加强前件律和逆否规则等逻辑原则有效，因而原本失效的反事实条件句在替代语义中均有效，认知封闭原则成立。