论文标题
理由逻辑和扣除的认识论贡献
Justification logic and the epistemic contribution of deduction
论文作者
论文摘要
对扣除的认知贡献的核算是对扣除额感兴趣的逻辑学家的普遍问题，例如Jakko Hintikka。问题之所以出现，是因为有效从一组前提中得出的结论被认为在该集合中被“包含”。由于这种遏制关系，因此结论是从众所周知的那一刻起就知道的。假设这一点，可以通过在一组已知的前提中推断出暗示的逻辑后果来解释如何获得知识是有问题的。为了解决这个问题，我们提供了扣除的认识论贡献作为推论结论或定理所需的过程的另一种说明，不仅了解派生中的步骤数，而且更重要的是，每个步骤的理由或理由。也就是说，除非我们有辩护或证明该主张，否则我们不知道一个主张。考虑到这个目标，我们开发了一个理由逻辑系统，该系统表现出演绎推导的认知贡献，作为由此产生的合理公式。
Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka. The problem arises because the conclusion validly deduced from a set of premises is said to be "contained" in that set; because of this containment relation, the conclusion would be known from the moment the premises are known. Assuming this, it is problematic to explain how we can gain knowledge by deducing a logical consequence implied in a set of known premises. To address this problem, we offer an alternative account of the epistemic contribution of deduction as the process required to deduce a conclusion or a theorem, understanding such process not only in terms of the number of steps in the derivation but, more importantly, the reason for or justification for every step. That is, we do not know a proposition unless we have a justification or proof to hold that proposition. With this goal in mind, we develop a justification logic system which exhibits the epistemic contribution of a deductive derivation as the resulting justified formula.
