邏輯（英語：logic）的字根來自（古希臘語：λογική，羅馬化：logikḗ），意为：具有理由的、知识的、辩证的、论辩的；邏輯此词又与邏各斯（古希臘語：λόγος，羅馬化：lógos）同源，意为：詞語、思想、概念、 展开

经典逻辑
经典逻辑: 经典逻辑的逻辑系统基于公理化的传统逻辑的四个基本思维规律：同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律，和其它经典逻辑特有的特征(见:经典逻辑#特征） 。 经典逻辑 是19 和 20 世纪的创新, 它比亚里士多德的 展开

许多文化都采用复杂的推理系统，最初僅有三个地方把逻辑学作为對推理方法的明确分析，並且有持续的发展，那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊 展开

1. ^ 例如，可追溯至1900年前的正理論。
2. ^ 2200年前的墨家和名家 展开

邏輯本身是指是推論和證明的思想過程，而邏輯學是研究「有效推論和證明的原則與標準」的一門學科。作為一個形式科學，邏輯透過對推論的形式系統與自然語言中的論證等來研究並分類命題與論證的結構 。
逻辑的范围是非常广阔的，從對謬論與悖論的研究之類的核心議題， … 展开

邏輯學基本公理
形式邏輯學
经典逻辑的四个基本公理：
同一律（the law of identity） 事物跟其自身相等同，「自己」不能「不是自己」。 無矛盾律（the law of non-contradiction） 事物不能同時「是」跟「不 … 展开

• 经典逻辑
• 非经典逻辑
• 数理逻辑（符号逻辑）
• 直觉逻辑（构造性逻辑）
• 多值逻辑 展开