证成逻辑与演绎的认知贡献
逻辑
2023-01-02 v1 历史与综述
摘要
解释演绎的认知贡献一直是关注演绎的逻辑学家（如 Jakko Hintikka 等人）普遍面临的问题。该问题之所以产生，是因为从一组前提有效演绎出的结论被认为“包含”于该前提集中；由于这种包含关系，结论在前提被知晓之时即应被知晓。若作此假设，便难以解释我们如何通过演绎一个已知前提集中所蕴含的逻辑后承而获得知识。为解决此问题，我们提出一种替代性说明：将演绎的认知贡献理解为演绎出结论或定理所需的过程，这种过程不仅依据推导步骤的数量，更重要的是依据每一步的理由或证成。亦即，除非我们拥有持有一个命题的证成或证明，否则我们并不知道该命题。基于此目标，我们发展了一种证成逻辑系统，将演绎推导的认知贡献展现为最终得到的被证成公式。
引用
@article{arxiv.2212.14463,
title = {Justification logic and the epistemic contribution of deduction},
author = {Nancy Abigail Nuñez Hernández and Francisco Hernández Quiroz},
journal= {arXiv preprint arXiv:2212.14463},
year = {2023}
}
备注
21 pages