动态抽象论辩系统基语义的单调性及其判定规则.pdfVIP

逻辑学研究 2017 年第2 期，22–44 文章编号：1674-3202(2017)-02-0022-23 动态抽象论辩系统基语义的单调性 及其判定规则* † 廖备水 徐康 浙江大学哲学系 浙江大学哲学系 浙江大学语言与认知研究中心 浙江大学语言与认知研究中心 baiseliao@zju.edu.cn xukanguuu@zju.edu.cn 余喆 浙江大学哲学系 浙江大学语言与认知研究中心 zheyu@zju.edu.cn 摘 要：论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变 化时，上层的论辩框架及其语义也随之演化，这就是论辩系统