关于强制外延的抽象论辩系统修正规则
发布人:网站编辑
发布日期:2023-09-04
逻辑学研究 2020 年第 5 期, 24–47 文章编号: 1674-3202(2020)-05-0024-24
作者:徐康 廖备水
摘 要: 关于强制外延的抽象论辩系统修正是指对抽象论辩框架本身进行修正,以使得某一论证集合成为其外延。本文借助外延的结构特征以及外延与抽象论辩框架的论证集合、论证子集和各论证之间的关系,在可相容语义、完全语义、稳定语义、优先语义和基语义下进行了分析,提出了满足强制外延的框架扩展规则和限制规则。
关键词: 抽象论辩系统;强制外延;修正规则
中图分类号: B81 文献标识码: A