休谟提出的归纳问题是哲学史上一个极其重要问题。在归纳问题的影响下,逻辑学家们也逐渐开始质疑以往深信不疑的演绎推理,追问演绎推理的合理性。类似于归纳问题的二律背反,苏珊·哈克提出关于演绎问题的二律背反,即对于演绎的证成,既不能用归纳推理的手段,因为这太弱了,也不能用演绎推理的手段,因为这将是循环的。尽管人们为演绎问题付出很多努力,但演绎问题迄今仍然没有完成它的证成。本文从卡罗尔疑难切入,探讨演绎证成。演绎证成包括有效性的证明以及对形式联结词的解释。一方面,演绎证成的核心是证明推理规则为何是有效性的。对于规则的有效性,形式系统的可靠性证明是一种强有力的证成手段。而可靠性证明的优越性在于,其所使用的完全归纳法的证明手段,不同于演绎推理,是一种前提与结论之间具有必然性联系的归纳推理。这可以有效地避免二律背反的问题。另一方面,要证明推理规则的有效性,还要明确证明规则时所对应的形式系统。在形式系统中讨论推理规则的有效性,关键在于联结词的解释。而联结词反映在形式系统中,其最好的解释就是真值表。本文认为形式联结词的解释,应当根据对联结词的经验理解,以真值表精确的释义形式化的联结词。这一方面穷尽了联结词所涉及命题的真值情况的所有可能,另一方面也不存在能够推翻联结词用法的反例。某些驳斥经典逻辑中的联结词用法的观点,其实只是错误的理解和使用了联结词。