演绎证成问题研究.pdfVIP

华东师范大学硕士学位论文 摘要 休谟提出的归纳问题是哲学史上一个极其重要问题。在归纳问题的影响下， 逻辑学家们也逐渐开始质疑以往深信不疑的演绎推理，追问演绎推理的合理性。 类似于归纳问题的二律背反，苏珊•哈克提出关于演绎问题的二律背反，即对于 演绎的证成，既不能用归纳推理的手段，因为这太弱了，也不能用演绎推理的手 段，因为这将是循环的。尽管人们为演绎问题付出很多努力，但演绎问题迄今仍 然没有完成它的证成。 本文从卡罗尔疑难切入，探讨演绎证成。演绎证成包括有效性的证明以及对 形式联结词的解释。一方面，演绎证成的核心是证明推理规则为何是有效性的。 对于规则的有效性，形式系统的可靠性证明是一种强有力的证成手段。而可靠性 证明的优越性在于，其所使用的完全归纳法的证明手段，不同于演绎推理，是一 种前提与结论之间具有必然性联系的归纳推理。这可以有效地避免二律背反的问 题。另一方面，要证明推理规则的有效性，还要明确证明规则时所对应的形式系 统。在形式系统中讨论推理规则的有效性，关键在于联结词的解释。而联结词反 映在形式系统中，其最好的解释就是真值表。本文认为形式联结词的解释，应当 根据对联结词的经验理解，以真值表精确的释义形式化的联结词。这一方面穷尽 了联结词所涉及命题的真值情况的所有可能，另一方面也不存在能够推翻联结词 用法的反例。某些驳斥经典逻辑中的联结词用法的观点，其实只是错误的理解和 使用了联结词。 关键词：演绎证成 可靠性 联结词 有效性 逻辑系统 V 华东师范大学硕士学位论文 Abstract The inductive problem proposed by Hume is an extremely important problem in the history of philosophy. Under the influence of the inductive problem, logicians have gradually begun to question the deductive reasoning that had been firmly believed in the past, and questioned the rationality of deductive reasoning. Similar to the antinomies of the inductive problem, Susan Huck put forward the antinomies of the deductive problem, that is, for thejustification of deduction, we cannot justify it inductively,because it istoo weak.And we also cannotjustify deduction deductively, because such a justification would be circular. Despite many efforts, the deductive problemhasnotyet achieveditsjustification. This paper starts with Carroll’s puzzle, and then discusses the justification of deduction. The core of the justification of deduction is to prove the validity of the inference rules.And,theprocess of theproof of soundnessjustifies the inference rule MP. The proof of soundness uses complete inductive reasoning, which is different from deductive reasoning.