逻辑常项的使用规则的生成与证成
发布人：网站编辑
发布日期：2023-03-21
逻辑学研究 2023 年第 1 期，1–18 文章编号：16743202(2023)01000118
作者：周志荣
摘 要：在证明论语义学中，一个逻辑常项的 I- 规则通常作为该常项的意义定义是自我证成的，而其 E- 规则就是通过其与 I- 规则的协调性来证成的。这种思想遭受到 tonk- 问题挑战，而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的 GE- 协调性没有对 I- 规则如何“协调地导致”相应的 GE- 规则做出清楚的描述，也无法用于解答普通 E-规则的证成问题。基于 GE- 规则的生成机制的 GM- 协调性能够弥补这两点不足，但是它仍然无法排除具有弱 E- 规则的不协调的常项。由 GE- 和 Ge- 规则的生成机制所共同保证的 Ge-协调性则可以克服以上这三点不足，从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。
关键词：证明论语义学；逻辑常项；协调性；tonk- 问题；规则的证成
中图分类号：B81 文献标识码：A