邏輯是研究有效推理的學科。它探究什麼能從什麼推導出什麼。一個有效的論證是指，如果前提為真，結論必然為真。邏輯提供了區分好論證和壞論證的工具。亞里斯多德用三段論系統化了邏輯。中世紀的邏輯學家對其進行了完善。弗雷格和羅素發展了現代符號邏輯，它使用形式語言來表示論證，並使用推理規則來推導出結論。邏輯被應用於數學、電腦科學、語言學和哲學等領域。

邏輯學與心理學不同。邏輯學研究的是規範原則，而非人們的實際思考方式。人們常常會進行不合邏輯的推理，但這並不改變有效性的要求。邏輯學也不同於修辭學。修辭學的目的是說服，而邏輯學的目的是證明。兩者有時會有重疊，但它們本質上是不同的。邏輯學包含許多分支：命題邏輯、謂詞邏輯、模態邏輯、時序邏輯和多值邏輯等等。每個分支都有其自身的符號、規則和語義。邏輯學是一門形式科學，如同幾何學一樣，它在任何需要精確推理的領域中都有應用。

邏輯類型

• Propositional. 處理整個命題和連接詞。
• Predicate. 處理物件、屬性和量詞。
• Modal. 處理可能性和必要性。
• Informal. 處理自然語言推理。

邏輯並非關於世界的知識體系，而是關於因果關係的知識體系。