本帖最後由 尊 於 14-01-06 21:13 編輯
邏輯（logic）
又稱理則、論理、推理、推論，是有效推論的哲學研究。
-------------------------------------------------------------------------------------------
邏輯學
是研究規律性事物的一門學科。
在辯證法，也會學習到邏輯。
在數學裡，邏輯是指研究某個形式語言的有效推論。
在哲學裡，邏輯被應用在大多數的主要領域之中：形上學、本體論、知識論及倫理學。
邏輯被使用在大部份的智能活動中，但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。
-------------------------------------------------------------------------------------------
邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。
歸納推理(Inductive reasoning)
或歸納法，有時叫做歸納邏輯，是論證的前提支持結論但不確保結論的推理過程。
它基於對特殊的代表(token)的有限觀察，把性質或關係歸結到類型；
或基於對反覆再現的現象的模式(pattern)的有限觀察，公式表達規律。
溯因推理
或溯因法，是推理到最佳解釋的過程。
換句話說，它是開始於事實的集合併推導出它們的最合適的解釋的推理過程。
有時使用術語溯因(abduction)意味生成假設來解釋觀察或結論，但是前者定義在哲學和計算二者中更常見。
演繹推理（英語：Deductive Reasoning）
「結論，可從叫做『前提』的已知事實，『必然地』得出的推理」。是在傳統的亞里士多德中邏輯。
如果前提為真，則結論必然為真。這區別於溯因推理和歸納推理：它們的前提可以預測出高機率的結論，但是不確保結論為真。
「演繹推理」還可以定義為結論在普遍性上不大於前提的推理，或「結論在確定性上，同前提一樣」的推理。
-------------------------------------------------------------------------------------------
1121118
1121119