否定 归约 赋值 指称 典范性 模态逻辑 完全性 弗协调逻辑 必然性 普遍性 弗协调模态逻辑 因果联系 内涵 历史的因果命名理论 道义逻辑 对应性 框架 可靠性 必然化规则 外延 可判定性 偶然先验真理 充分条件 真值模态逻辑 条件性 代入规则 拟真值表 采用 框架系统 全称概括规则

中国社会科学院研究生院 中国人民大学哲学系 中国人民大学哲学院