经典重获
逻辑
2007-05-23 v1
摘要
重获关系对于任何理解不同逻辑系统之间联系都是重要元素。粗略地说，若一个逻辑系统能指定其前一系统的一个子系统，展现出与后一系统相同的推理模式，则称前者重获后者。特别地，若能在非经典逻辑与经典逻辑之间表明存在此类关系，则该非经典系统被称为展现出经典重获。若干非经典逻辑的支持者已诉诸此来论证其系统将经典逻辑作为极限情形保留，因此是经典逻辑在方法论上的进步继承者。本文提出并辩护了一种关于重获及其被重获系统支持者所接纳之特性的更新且更精确的说明。随后我们指出此说明使经典重获的一些应用成为可能。
引用
@article{arxiv.math/0303313,
title = {Classical Recapture},
author = {Andrew Aberdein},
journal= {arXiv preprint arXiv:math/0303313},
year = {2007}
}
备注
8 pages, 1 figure. Published in Logica e filosofia delle scienze: Atti del sesto convegno triennale, V. Fano, M. Stanzione & G. Tarozzi, edd. (Catanzaro: Rubettino, 2001), pp. 11-18