直觉与不可推翻推理的建模：若干案例研究

本文旨在回应约翰·霍特（John Horty）在两篇文章中对不可推翻推理模式（即复位和浮动结论）有效性所提出的批评。我将论证霍特的反例尽管显著提升了我们对这些推理模式的理解，但并不显示其无效性。其中一些反例若在形式化中显式建模，可避免不需要的推理，而无需放弃受批评的推理原则。其他示例似乎涉及关于特定问题的隐藏假设，若显式建模，这些假设不过是额外的信息，通过这些信息可实现不可推翻的推理。我们将将这些考察置于更广泛的视角，通过反思不可推翻推理原则作为合理接受原则而非“真实”逻辑推理的本质来加以阐述。