邏輯（logic）又稱理則、論理、推理、推論，是有效（或正確）推論的研究 ；更廣泛地說，邏輯是對論證的分析和評估 。邏輯的目的可以是來發展評估他人的論證或構建自己論證的一套方法和原則體系 。
邏輯可分為 展开

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

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

邏輯（英語：logic）的字根來自（古希臘語：λογική，羅馬化：logikḗ），意為：具有理由的、知識的、辯證的、論辯的；邏輯此詞又與邏各斯（古希臘語：λόγος，羅馬化：lógos）同源，意為：詞語、思想、概念、理念、論據、論點、說明、理由、原則、推理 展开

經典邏輯
經典邏輯: 經典邏輯的邏輯系統基於公理化的傳統邏輯的四個基本思維規律：同一律, 排中律, 無矛盾律(也被稱為矛盾律),和充足理由律，和其它經典邏輯特有的特徵(見:經典邏輯#特徵） 。 經典邏輯 是19 和 20 世紀的創新, 它比亞里斯多德的 展开

許多文化都採用複雜的推理系統，最初僅有三個地方把邏輯學作為對推理方法的明確分析，並且有持續的發展，那就是前6世紀的印度、前5世紀的中國和前4世紀與前1世紀間的希臘 展开

• 經典邏輯
• 非經典邏輯
• 數理邏輯（符號邏輯）
• 直覺邏輯（構造性邏輯）
• 多值邏輯 展开