逻辑

邏輯（logic）又稱理則、論理、推理、推論，是有效（或正确）推論的研究；更广泛地说，逻辑是对论证的分析和评估。邏輯可分為形式邏輯，與非形式邏輯。

邏輯（logic）又稱理則、論理、推理、推論，是有效（或正确）推論的研究[1][2]；更广泛地说，逻辑是对论证的分析和评估[3]。

邏輯可分為形式邏輯，與非形式邏輯。

邏輯被使用在大部份的智能活動中，但主要在心理、学习、哲學、語義學、數學、推论统计学、脑科学、法律和計算機科學等領域內被視為一門學科。邏輯討論邏輯論證一般會呈現的一般形式，哪種形式是有效的，以及其中的謬論。

邏輯推理通常可分為三种：歸納推理、溯因推理和演繹推理。 科學方法都屬於歸納推理, 沒有必然性。 數學則屬於演繹推理。

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

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

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

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

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

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

邏輯（英語：logic）的字根來自（古希臘語：λογική，羅馬化：logikḗ），意为：具有理由的、知识的、辩证的、论辩的；邏輯此词又与邏各斯（古希臘語：λόγος，羅馬化：lógos）同源，意为：詞語、思想、概念、理念、论据、論點、说明、理由、原则、推理[6]。“logi...