邏輯學

邏輯（logic）又稱理則、論理、推理、推論，是有效（或正确）推論的研究；更广泛地说，逻辑是对论证的分析和评估。 邏輯可分為形式邏輯，與非形式邏輯。 邏輯被使用在大部份的智能活動中，但主要在心理、学习、哲學、語義學、數學、推论统计学、脑科学、法律和計算機科學等領域內被視為一門學科。邏輯討論邏輯論證一般會呈現的，哪種形式是有效的，以及其中的謬論。 邏輯推理通常可分為三种：歸納推理、溯因推理和演繹推理。 科學方法都屬於歸納推理, 沒有必然性。 數學則屬於演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也涉及到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、语义学、法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國古代和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。