经典追寻
摘要：重捕关系是理解不同逻辑系统之间关系的重要元素。简单地说，如果可以确定前者系统中的子系统展示了与后者系统相同的推理模式，则一个逻辑系统能够重捕另一个逻辑系统。特别是，如果可以证明非经典逻辑与经典逻辑之间存在这种关系，则非经典系统被称为体现了经典重捕。几位非经典逻辑的支持者已经使用这一观点来论证他们的系统保留了经典逻辑作为极限情况，并因此是方法上进步的接替者。在本文中，我提出并辩护了一个新的、更精确的重捕描述以及对重捕系统支持者对其接受的性质的阐述。然后，我指出了这个描述所可能带来的一些经典重捕的应用。
作者：Andrew Aberdein
论文ID：math/0303313
分类：Logic
分类简称：math.LO
提交时间：2007-05-23