檢視逻辑的原始碼

[[File:逻辑.jpg|350px|缩略图|右|<big></big>[http://5b0988e595225.cdn.sohucs.com/images/20190116/b3a5b50520a9403c921840d4b1ccfe85.jpeg 原图链接][https://www.sohu.com/a/289352053_136745 来自 搜狐 的图片]]]

'''逻辑'''（[[古希腊语]]：λογική；德语：Logik；法语：logique；英语：logic；[[意大利]]语、西班牙语、[[葡萄牙语]]: logica），又称理则、论理、推理、推论，是对有效推论的[[哲学]]研究。逻辑被使用在大部分的智能活动中，但主要在心理、学习、哲学、语义学、[[数学]]、推论统计学、[[脑]]科学、[[法律]]和[[计算机科学]]等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。

逻辑通常可分为三个部分：归纳[[推理]]、溯因推理和演绎推理。

在哲学里，逻辑被应用在大多数的主要领域之中：[[形而上学]]/[[宇宙]]论、本体论、知识论及[[伦理学]]。

在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。在[[辩证法]]中也会学习到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。

在心理、[[脑科学]]、[[语义学]]、法律里，是研究[[人类]]思想推理的处理。

在学习、推论[[统计学]]里，是研究最大可能的结论。主要是归纳推理、溯因推理。

在计算机科学里，是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。

从古文明开始（如古印度、中国和[[古希腊]]）都有对逻辑进行研究。在西方，[[亚里士多德]]将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置<ref>[http://www.docin.com/p-1411405475.html 第二十二章 亚里士多德的逻辑[整理版<nowiki>]</nowiki>]，豆丁，2016-01-01</ref>。