逻辑是研究有效推理的学科。它探究什么能从什么推导出什么。一个有效的论证是指，如果前提为真，结论必然为真。逻辑提供了区分好论证和坏论证的工具。亚里士多德用三段论系统化了逻辑。中世纪的逻辑学家对其进行了完善。弗雷格和罗素发展了现代符号逻辑，它使用形式语言来表示论证，并使用推理规则来推导出结论。逻辑被应用于数学、计算机科学、语言学和哲学等领域。

逻辑学与心理学不同。逻辑学研究的是规范原则，而非人们的实际思维方式。人们常常会进行不合逻辑的推理，但这并不改变有效性的要求。逻辑学也不同于修辞学。修辞学的目的是说服，而逻辑学的目的是证明。两者有时会有重叠，但它们本质上是不同的。逻辑学包含许多分支：命题逻辑、谓词逻辑、模态逻辑、时序逻辑和多值逻辑等等。每个分支都有其自身的符号、规则和语义。逻辑学是一门形式科学，如同几何学一样，它在任何需要精确推理的领域都有应用。

逻辑类型

• Propositional. 处理整个命题和连接词。
• Predicate. 处理对象、属性和量词。
• Modal. 处理可能性和必要性。
• Informal. 处理自然语言推理。

逻辑并非关于世界的知识体系，而是关于因果关系的知识体系。