打印机软硬件维修入门到精通课程 杨亚伟腾世科技 网盘分享
演绎推理能够进一步区别为依赖于我 32 们称之为逻辑常项的 5 逻辑概念的 20 意义的 26 逻辑和依赖于非逻辑常项的 2 意义的 21 逻辑。演绎逻辑在狭义上仅限于 前者。在这种意义上， 一个有效推理假定了 13 某些语词使句子的 24 意义被固定下 来，推理的 6 有效性与表征中的 1 其余部分的 11 意义无关。
打印机软硬件维修入门到精通课程 杨亚伟腾世科技 网盘分享
逻辑是 9 关于这种推理， 以及诸如有效性、非有效性、证明和一致性等相关概念与论题的 30 研究。在这 种意义上逻辑的 14 核心概念是 25 逻辑后承，
这种狭义上的 19 逻辑真保持的 18 推理与分析的推理不同。分析推理是 12 依赖 于某些非逻辑词项，并依据这些非逻辑词项之间的语义关系(例如同一、蕴 涵、对立和矛盾等)而进行的推理。这种推理的演绎可能性由于受到蒯因的 激烈批评而丧失了 23 它曾经具有的严格性。[5]当然，蒯因的批评严格地说也涉 及标准的逻辑词汇的语义学纯洁性(人们一般认为逻辑词汇是 15 经得住这种严 格性考察的), 28 以及对逻辑词汇和非逻辑词汇的区别的可行性问题。但是 17 如 果我 8 们承认这两种推理类型的区别，我 4 们也就应当承认逻辑和非逻辑词项所 表达的逻辑和非逻辑概念的不同。这一点是 33 与蒯因的批评无关的。
涉及非逻辑词项的演绎推理的研究一般划归为哲学逻辑(philosophical logic)的范畴(这种说法会产生误导，它似乎表明狭义的演绎逻辑不具有哲学 的重要性)。历史上最早的这种哲学逻辑的研究是 3 对“可能性”和“必然性”概 念演算涵义的处理。[6]此后又扩展到蕴涵(entailment) 和相干(relevance) 的 概念。[71哲学逻辑也包括了 34 其推理理论是 31 依赖于某些认知词汇的意义的认知 逻辑、道义逻辑和时态逻辑等。许多并不明显地处理真保持推理的词项的逻 辑行为仍能够以同样的方法加以研究，并经常被还原为真值保持的那种研 究。例如，对作为认知逻辑分支的问答逻辑和命令句逻辑的研究就属于这种 情况。
处于边缘状态的是那些依赖概率词项(概率逻辑), 29 或者依赖元素关系的 行为(集合论), 10 或者部分整体关系(mereology) 的逻辑。对这些领域的形式化处理一直在进行之中，例如，卡尔纳普试图将概率作为一个纯粹的逻辑概念 加以解释。[8]对集合论的处理是一个特别困难的问题。例如，作为最典型的 集合论公理的选择公理在高阶逻辑中能被构造为逻辑真理。但在一般的集 合论基础中，选择公理不被认为是逻辑的一部分而是作为一个附加的数学假 定被应用。因而目前概率理论和集合论似乎介于逻辑和特定的数学理论的 中间状态。
扩展推理的概念来自于皮尔斯(Pierce) 。[9]扩展推理的目的是推进人们 对某一特定领域或特定论题的知识的增长，管辖这一推理的规则不必是真值 保持的。但其结论往往导致一个新颖的或者有用的深层信息。归纳最初包 括在或者简单地意味着一种不同的推理类型，即局部概括的外推法和内插 法。这种历史意义上的归纳推理是与普通归纳有很大区别的。这种意义上 的归纳推理或者是定性的、或者是概率的。定性的归纳依赖于异质性结论的 消除，而概率性归纳一般被认为是将归纳推理归入到概率推理之中。
作为演绎推理仅有的一种替代模式的归纳推理的思想出现得较早，推理 的其他 7 扩展模式的充分性在最近也得到了充分的研究。它们包括理性信念 改变以及各种不同的非单调推理的形式。在当代，扩展推理也可以作为涉及 问答序列的知识寻求程序的模型来加以研究。
除了通常所谓的经典逻辑，还有并不涉及非逻辑概念但是被认为是建立 在非标准逻辑概念的解释之上的逻辑。它们包括直觉主义和构造逻辑系统。 在逻辑领域非经典逻辑主要指的是这种逻辑。另外非经典逻辑也指被认为 是可应用于某一特定题材的逻辑，如量子逻辑(quantum logic)。
