變更

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

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

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

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

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

形式逻辑的规则由亚里士多德最先写成。在许多逻辑的定义中，逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式 [[ 逻辑 ]] 的概念是空洞的，因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。

[[数理逻辑]]是符号逻辑在其他领域中的延伸，特别是对模型论、证明论、集合论和递归论的研究 <ref>[https://www.douban.com/note/711117253/ 形式逻辑、辩证逻辑和数理逻辑]，豆瓣，2019-3-21</ref> 。