(4)思维方法论之三：逻辑（Logic）

    如果说概念是砖石，命题是粘合概念的水泥，那么修辞就是建筑设计理论方法，而逻辑就是结构分析和设计的理论方法。合乎逻辑的命题及命题系统就成为一种能够承受规定范围内的载荷的结构，或者说能够经得起关于其有效性的质疑和检验，而不合逻辑的命题及命题系统在遭受关于其有效性的质疑和检验时就会崩溃垮塌，不成其为结构，失去应有的效力。在当今这个通讯发达的信息时代，人们被包围在泛滥的信息海洋中，要想站稳脚根，分辨真假虚实和有效无效，就必须立足逻辑这块磐石之上。
逻辑又称理则、论理、推理、推论，是有效推论的哲学研究。逻辑被使用在大部份的智能活动中，但主要在哲学、数学、语义学和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。在哲学里，逻辑被应用在大多数的主要领域之中：形而上学、本体论、知识论及伦理学。在数学里，逻辑是指研究某个形式语言的有效推论。在辩证法中也会学习到逻辑。
逻辑中有三种逻辑推理的方式：演绎、归纳和溯因。给定前提、结论和规则，而前提导致结论，则可分别解释如下：
演绎用来决定结论 。它使用规则和前提来推导出结论 。数学家通常使用这种推理。例如："若下雨，则草地会变湿。因为今天下雨了，所以今天草地是湿的。"。
归纳用来决定规则 。它借由大量的前提和结论所组成的例子来学习规则 。科学家通常使用这种推理。例如："每次下雨，草地都是湿的。因此若明天下雨，草地就会变湿。"。
溯因用来决定前提。它借由结论和规则来支援前提以解释结论 。诊断和侦探通常使用这种推理。例如："若下雨，草地会变湿。因为草地是湿的，所以曾下过雨。"。

相对于演绎和归纳，溯因较为陌生。实际上，溯因法已经应用于人工智能的各种任务。溯因法的最直接的应用是自动检测系统中的故障: 给出与有关故障和表现的理论和一组故障(故障的可见效果)，可以使用溯因法来推导故障的某个集合好像是问题的原因。溯因法也用于建模自动计划。给定与动作事件和它们的效果(例如事件演算的公式)有关的逻辑理论，找到达到一个状态的计划的问题可以被建模为溯因蕴涵着最终状态是目的状态的文字的序列的问题。信念修正， 由于新信息而调整信仰的过程，是应用溯因法的另一个领域。信仰修正的主要问题是新信息可能与信仰的结集相矛盾，但是结合的结果不能是矛盾的。这个过程可以 通过使用溯因法来完成: 一旦对观察的一个解释已经找到，整合它不产生矛盾。溯因的这种用法不是直接的，因为向其他命题公式集增加命题公式只能使矛盾更糟糕。转而，溯因是在排序可 能世界的优先级的层次上进行的。

逻辑学基本原理：
同一律（the law of identity）事物跟其自身相等同，“自己”不能“不是自己”。
矛盾律（the law of contradiction or the law of non-contradiction）事物不能同时“是”跟“不是”。是就是，不是就不是。
排中律（the law of excluded middle）事物只能有“是”或“不是”两种状态，不存在其他中间状态。
充足理由律（the law of sufficient reason）任何事物都有其存在的充足理由。
逻辑系统可具有下列性质：
有效性（validity）依系统的推理规则，若所有前提皆为真则结论必为真（保真）。所有命题之前提皆语义蕴涵结论。
自洽性（consistency）系统中任一定理都不与其他定理相矛盾。不存在命题P，P和非P皆可在系统中证明。
可靠性（soundness）系统中所有定理（有效且可证明的命题）皆为真。可靠性与完备性互为逆命题。
完备性（completeness）系统中不存在无法证明或证否的有效命题。系统中真命题皆可证明（真命题皆为定理）且假命题皆可证否。
逻辑学是关于逻辑的科学，它可以分为相容逻辑学和辩证逻辑学。前者又称为无矛盾逻辑学、状态逻辑学或重言式逻辑学，后者又可称为矛盾逻辑学、过程逻辑学或非重言式逻辑学。相容逻辑学的推理是不允许出现任何逻辑矛盾；而辩证逻辑学的推理是化解逻辑矛盾。相容逻辑学具有笛卡尔所指出的那种明显不足，即它至多只是把已知的知识重新逻辑整理之后再重复说一遍，没有演绎出史无前例的新知识。在逻辑上如同编辑维基百科的词条一样，“内容亦务必符合中立观点、可供查证及非原创研究三大方针”。辩证逻辑学，康德将它称作为“任何一种能够作为科学出现的未来形而上学导论”。它必须要立足于已有的旧知识，不是演绎而是能够生长出前所未有的、不重复的新知识。康德的这种历史逻辑学是一种可以创新的逻辑学。所以相容逻辑学也可以被称作为状态逻辑学；而辩证逻辑学则可以以被称作为过程逻辑学。 这种辩证逻辑学和马列辩证逻辑学有着本质上的重大区分，它的最高的终极目的就是力图将逻辑矛盾彻底化解掉，使之不复存在。然而马列辩证逻辑学最高的终极 目标则是力图彰显这种逻辑矛盾，永远处于统一体内，不可化解。综合上述可知，相容逻辑学可以被称作为重言式逻辑学；而辩证逻辑学可以被称作为非重言式逻辑学。它们二者共同构成了逻辑学最重大的两大分支。
由于逻辑应用于大部分的智能活动，所以它实际上几乎渗透和贯穿了全部的人类 认知体系和成果以及日常生活，是每个人都一直在自觉或不自觉地使用着的思维和认知方法，而不是专家学者们的专门工具。由于篇幅以及作者本人的认识和能力所限，这里只能抛砖引玉，引用相关的说明解释，简单介绍关于逻辑的最粗浅一般的内容和方法，而无暇涉及逻辑在各个学科各个领域中的具体表现形式和应用。本文的目的在于引起读者的兴趣，进而学习、了解和掌握更多更系统的逻辑知识，从而改造世界观、人生观和价值观，成为一个更加独立更加自在的人。