逻辑

邏輯古希腊语λογική;德語:Logik;法语:logique英语:logic;意大利语、西班牙语、葡萄牙语: logica),又稱理則論理推理推論,是对有效推論哲學研究[1]。邏輯被使用在大部份的智能活動中,但主要在哲學心理学习推论统计学脑科学數學語義學法律電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論

邏輯通常可分為三個部份:歸納推理溯因推理演繹推理

哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論本體論知識論倫理學

數學裡,邏輯是指形式逻辑和数理邏輯,形式逻辑是研究某個形式語言的有效推論[2]。主要是演繹推理。 在辯證法中也會學習到邏輯[3]。数理邏輯是研究抽象邏輯关系和数学基本的问题。

心理脑科学語義學法律裡,是研究人类思想推理的处理。

学习推论统计学裡,是研究最大可能的结论。主要是歸納推理溯因推理

電腦科學裡, 是研究各种方法的性质,可能性,和实现在机器上。主要是歸納推理溯因推理,也有在歸納推理的研究。

古文明开始(如古印度[註 1]中國[註 2]古希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位置。