邏輯（古希臘語：λογική；德語：Logik；法語：logique；英語：logic；義大利語、西班牙語、葡萄牙語: logica），又稱理則、論理、推理、推論，是對有效推論的哲學研究。邏輯被使用在大部份的智慧活動中，但主要在心理、學習、哲學、語義學、數學、推論統計學、腦科學、法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。

邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。

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

在數學裡，邏輯是指形式邏輯和數理邏輯，形式邏輯是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。數理邏輯是研究抽象邏輯關係和數學基本的問題。

在心理、腦科學、語義學、法律裡，是研究人類思想推理的處理。

在學習、推論統計學裡，是研究最大可能的結論。主要是歸納推理、溯因推理。

在電腦科學裡， 是研究各種方法的性質，可能性，和實現在機器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。

從古文明開始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。

認知心理學|邏輯