Logical Consequence: A Turn in Style
Logical Consequence: A Turn in Style
复制标题
逻辑后果：风格转变
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
K. Dosen
中科院分区：
文献类型：
--
作者：
K. Dosen
这次演讲总结了当代逻辑学，特别是根岑的证明理论对结果概念的看法。它从非常基本的事实开始，不需要任何技术知识的理解，到达更专业的子结构逻辑和范畴证明论领域。在那里，人们可能会转向一种证明理论研究的风格，其目标不仅仅是消除切割。从这个总结中可以得出一些尝试性的哲学建议。
This talk summarizes some of the things that contemporary logic and, in particular, proof theory stemming from Gentzen have to say about the notion of consequence. It starts from very elementary facts, the understanding of which doesn’t require any technical knowledge, to reach the more specialized areas of substructural logics and categorial proof theory. There, one may turn to a style of proof-theoretical investigation whose goal is not just the elimination of cut. Some tentative philosophical suggestions are drawn from this summary.