逻辑
邏輯（；；；；意大利语、西班牙语: logica；葡萄牙语: lógica），又稱理則、論理、推理、推論，是有效（或正确）推論的研究。更广泛地说，逻辑是对论证的分析和评估。
邏輯可分為形式邏輯，與非形式邏輯。
邏輯被使用在大部份的智能活動中，但主要在心理、学习、哲學、語義學、數學、推论统计学、脑科学、法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證一般會呈現的一般形式，哪種形式是有效的，以及其中的謬論。
邏輯推理通常可分為三种：歸納推理、溯因推理和演繹推理。 科學方法都屬於歸納推理, 沒有必然性。 數學則屬於演繹推理。
在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。
在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也涉及到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。
在心理、脑科学、语义学、法律裡，是研究人类思想推理的处理。
在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。
在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。
从古文明开始（如古印度、古中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。
邏輯（）的字根源起於希臘語邏各斯（），最初的意思有詞語、思想、概念、推理、論點之意。後譯為（），最後發展為英文中的邏輯（）。
1902年嚴復譯《穆勒名學》時，將其意譯為「名學」，但這不合名家或者名教之名學中「名」的本意。和製漢語採用漢字「論理」，意譯為「論理學」。孫文於其文《治國方略·以作文為證》意譯為「理則」，當代中文一般採取音譯方式，將其譯為邏輯。
邏輯本身是指是推論和證明的思想過程，而邏輯學是研究「有效推論和證明的原則與標準」的一門學科。作為一個形式科學，邏輯透過對推論的形式系統與自然語言中的論證等來研究並分類命題與論證的結構。
逻辑的范围是非常广阔的，從對謬論與悖論的研究之類的核心議題，到利用機率來推論及包含因果論的論證等專業的推理分析。邏輯在今日亦常被使用在論辯理論之中（参见：非形式逻辑）。
传统上，逻辑被作为哲学的一个分支来研究，和文法與修辭一同被稱為古典三學科。古希腊亚里斯多德系统的研究了逻辑系统，介绍于其著作集《工具论》中。 《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六篇关于逻辑的著作汇编成的一部著作集，并定为此名。这六篇著作分别是《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》和《辨谬篇》。
自十九世紀中葉，形式邏輯已被作為數學基礎而被研究，當中經常被稱之為符號邏輯。1903年，阿弗烈·諾夫·懷海德與伯特蘭·羅素寫成了《数学原理》，試圖將邏輯形式地建立成數學的基石。不過，除了些基本的以外，當時的系統已不再被使用，大部份都被集合論所取代掉了。當對形式邏輯的研究漸漸地擴張了之後，研究也不再只侷限於基礎的議題，之後的各個數學領域被合稱為數理邏輯。形式邏輯的發展和其在電腦上的應用是電腦科學的基礎。戈特弗里德·莱布尼茨、乔治·布尔、戈特洛布·弗雷格、 大卫·希尔伯特、库尔特·哥德尔，等等，都在這個過程中非常重要。
经典逻辑: 经典逻辑的逻辑系统基于公理化的传统逻辑的四个基本原理：同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律，和其它经典逻辑特有的特征(见:经典逻辑#特征）。 经典逻辑 是19 和 20 世纪的创新, 它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。
非经典逻辑: 与经典逻辑公理化假设（见：经典逻辑#特征）有矛盾的逻辑系统。例如：拒绝无矛盾律的所有种类的 次协调逻辑 ，包括 相干逻辑， 双面真理说‎ 等等。 这些的形式化次协调逻辑既属于非经典逻辑也属于形式逻辑。
形式邏輯 是对命题、陈述或断然使用的句子和演绎论证的抽象研究。 是研究純形式內容的推論的一門學科，這種內容是很明確的。若一个推论可以被表達成一個完全抽象的規則（即不只是和任一特定事物或性質有關的規則）的一個特定應用，则这个推論擁有純形式內容。形式邏輯的規則由亞里斯多德最先寫成。在許多邏輯的定義中，邏輯推論與帶有純形式內容的推論會是同一種概念。但這不表示非形式邏輯的概念是空洞的，因為沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別。 形式是邏輯的核心，但在「形式邏輯」中對「形式」使用時常不很明確，因而使其闡述變得很費解。其中，符號邏輯僅為形式邏輯的一種類型，而和形式邏輯的另一種類型－只處理直言命題的三段論不同。
符號邏輯捕獲了邏輯推論的形式特徵，並將其抽象化為符號的研究。符號邏輯通常分為兩個分支：命題邏輯和謂詞邏輯。 「形式邏輯」通常作为符號邏輯的同義詞。但廣義地來說，形式邏輯是古老的，可追溯至兩千年以前，而符號邏輯則相對較新，只有一個世紀左右的歷史而已。
數理邏輯是符號邏輯在其他領域中的延伸，特別是对模型論、證明論、集合論和遞歸論的研究。
非形式邏輯是研究自然語言論證的一門學科，也被认为与批判性思维相关联, 被理解為不包含符號抽象化的任何一種邏輯推論；這是由「形式語言」和「形式理論」中類推而來的用法。
沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別,这说明了非形式邏輯研究存在的必要性。 但非形式邏輯典型特征是不如形式逻辑善于做严密分析。柏拉圖的作品是非形式邏輯的一重要例子。 對謬論的研究是非形式邏輯中尤其重要的一個分支，其历史可追寻于古希腊时期亚里斯多德的著作《辨谬篇》。
哲学逻辑是指传统上使用公认的逻辑方法来解决或推进哲学问题讨论的哲学领域,是对逻辑更特定于哲学的方面的研究。 该术语被理解为包含并专注于非经典逻辑, 尽管还有其他含义。 的《哲学逻辑》介绍了非经典逻辑的五个中心分支（时间逻辑、模态逻辑、条件逻辑、相干逻辑和直觉逻辑），重点关注形式化模型和直觉动机之间有时存在问题的关系。进一步的介绍可见其它有关文献。
经典逻辑的四个基本公理： 只与非经典逻辑有关的公理：
辯證邏輯和對立統一規律：
形式邏輯系統可以具有的重要属性包括：
一些邏輯系統不擁有上述所有性質，比如庫爾特·哥德爾的哥德爾不完備定理證明了，沒有任何一個蘊涵皮亞諾公理的算術形式系統可以同時滿足自洽性和完備性。同時他的針對沒有通過特定公理擴展為帶有等式的算術形式系統的一階謂詞邏輯的定理，證實了它們可以同時滿足自洽性和完備性。
邏輯產生於對論證正確性的關注。邏輯是對論證的研究，這個概念在歷史上是很基本的，而這也是不同邏輯傳統的創立者如柏拉圖和亞里斯多德所設想的。現代的邏輯學家通常會希望確保對邏輯的研究只侷限於由適度一般化了的推論中所產生出來的論證；所以如《斯坦福哲學百科》所稱，「邏輯……沒有涵蓋有效推理的整個課題，那是理性理論的工作。更明確地說，邏輯處理一種推論，其有效性可追溯至推論中的表述的形式特徵，這可以是語言的，心理的，或其他的表述。」(Hofweber 2004).
相對地，伊曼努爾·康德引入了另一種概念來闡述什麼是邏輯。他主張邏輯應當被設想為判斷的科學，這種想法被戈特洛布·弗雷格採納，寫入他的邏輯與哲學著作之中，其中，思維（）這一詞取代了康德的判斷（）。在此觀點下，有效的邏輯推論是源於判斷或思維的結構特徵。
演繹推理關注於從給定的前提下有什麼是可得出的。而歸納推理（從觀察中推論出可靠廣義化的過程）有時也被包含在對邏輯的研究中。相對應地，必須要區分出演繹有效性和歸納有效性。一個推論是演繹有效的，若且唯若不可能存在所有前提皆為真但結論為假的狀況。對於形式邏輯的系統，演繹有效性的概念可以用語義學中已明確理解的概念嚴格地陳述出来。另一方面，歸納的有效性則要求必須定義對某一觀察集合的「可靠廣義化」。此定義可以用各種不同的方式來達成，有的方式會比其他的方式不那麼形式化；有些定義也許會用到機率的數學模型。
许多文化都采用复杂的推理系统，最初僅有三个地方把逻辑学作为對推理方法的明确分析，並且有持续的发展，那就是前6世纪的印度、前5世纪的中国和前4世纪与前1世纪间的希腊。
现代逻辑的形式复杂处理明显源自希腊传统，但是有人提出布尔逻辑的先驱可能知道印度逻辑（Ganeri 2001）。希腊传统自身来自亚里士多德逻辑的传播，伊斯兰哲学家和中世纪逻辑学家对它的评论。欧洲以外的传统没有存活到现代时期：在中国，对逻辑的学术研究传统在韩非的法家哲学之后就被秦朝压制；在伊斯兰世界，艾什爾里派（Ash'ari）的崛起压制了逻辑的原始工作。
但是在印度，经院学派正理派的创新持续到18世纪早期。它没有存活到。在20世纪，西方哲学家如Stanislaw Schayer和Klaus Glashoff探究了印度传统逻辑学的某些方面。
中世纪时期，在亚里士多德的想法显示与信仰大量兼容之后，他的逻辑被给予更大强调。在中世纪的后期，逻辑成为一部分哲学家的關注焦点，他们專注於對哲学论证的逻辑分析。