「逻辑」修訂間的差異檢視原始碼討論檢視歷史

於 2020年2月24日 (一) 18:36 的修訂

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

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

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

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

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

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

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

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

本質

形式是邏輯的核心，但在「形式邏輯」中對「形式」使用時常不很明確，因而使其闡述變得很費解。其中，符號邏輯僅為形式邏輯的一種類型，而和形式邏輯的另一種類型－只處理直言命題的三段論不同。

非形式邏輯是研究自然語言論證的一門學科。對謬論的研究是非形式邏輯中尤其重要的一個分支。柏拉圖的作品是非形式邏輯的一重要例子。

形式邏輯是研究純形式內容的推論的一門學科，這種內容是很明確的。若一個推論可以被表達成一個完全抽象的規則（即不只是和任一特定事物或性質有關的規則）的一個特定應用，則這個推論擁有純形式內容。

形式邏輯的規則由亞里士多德最先寫成。在許多邏輯的定義中，邏輯推論與帶有純形式內容的推論會是同一種概念。但這不表示非形式邏輯的概念是空洞的，因為沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別。

符號邏輯捕獲了邏輯推論的形式特徵，並將其抽象化為符號的研究。符號邏輯通常分為兩個分支：命題邏輯和謂詞邏輯。

數理邏輯是符號邏輯在其他領域中的延伸，特別是對模型論、證明論、集合論和遞歸論的研究。

「形式邏輯」通常作為符號邏輯的同義詞，而非形式邏輯則是被理解為不包含符號抽象化的任何一種邏輯推論；這是由「形式語言」和「形式理論」中類推而來的用法。但廣義地來說，形式邏輯是古老的，可追溯至兩千年以前，而符號邏輯則相對較新，只有一個世紀左右的歷史而已。

@@ 行 1： / 行 1： @@
 [[File:逻辑.jpg|350px|缩略图|右|<big></big>[http://5b0988e595225.cdn.sohucs.com/images/20190116/b3a5b50520a9403c921840d4b1ccfe85.jpeg 原图链接][https://www.sohu.com/a/289352053_136745 来自 搜狐 的图片]]]
- 逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究[1] 。逻辑被使用在大部分的智能活动中，但主要在心理、学习、哲学、语义学、数学、推论统计学、脑科学、法律和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。
+''' 逻辑''' （[[ 古希腊语]] ：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、[[ 葡萄牙语]]: logica），又称理则、论理、推理、推论，是对有效推论的[[ 哲学]] 研究。逻辑被使用在大部分的智能活动中，但主要在心理、学习、哲学、语义学、[[ 数学]] 、推论统计学、脑科学、[[ 法律]] 和[[ 计算机科学]] 等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。
  逻辑通常可分为三个部分：归纳推理、溯因推理和演绎推理。
- 在哲学里，逻辑被应用在大多数的主要领域之中：形而上学/宇宙论、本体论、知识论及伦理学。
+ 在哲学里，逻辑被应用在大多数的主要领域之中：[[ 形而上学]]/宇宙论、本体论、知识论及[[ 伦理学]] 。
- 在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论[2] 。主要是演绎推理。  在辩证法中也会学习到逻辑[3] 。数理逻辑是研究抽象逻辑关系和数学基本的问题。
+ 在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。在[[ 辩证法]] 中也会学习到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。
- 在心理、脑科学、语义学、法律里，是研究人类思想推理的处理。
+ 在心理、[[ 脑科学]] 、[[ 语义学]] 、法律里，是研究人类思想推理的处理。
- 在学习、推论统计学里，是研究最大可能的结论。主要是归纳推理、溯因推理。
+ 在学习、推论[[ 统计学]] 里，是研究最大可能的结论。主要是归纳推理、溯因推理。
- 在计算机科学里，  是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。
+ 在计算机科学里，是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。
- 从古文明开始（如古印度[注 1] 、中国[ 注 2]和 古希腊）都有对逻辑进行研究。在西方，亚里 斯 多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。
+ 从古文明开始（如古印度、中国 和[[古希腊]] ）都有对逻辑进行研究。在西方，[[ 亚里 士 多德]] 将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。
 ==本质==
- 形式是逻辑的核心，但在“形式逻辑”中对“形式”使用时常不很明确，因而使其阐述变得很费解。其中，符号逻辑仅为形式逻辑的一种类型，而和形式逻辑的另一种类型－只处理直言命题的三段论不同。[9]
+ 形式是逻辑的核心，但在“形式逻辑”中对“形式”使用时常不很明确，因而使其阐述变得很费解。其中，[[ 符号]] 逻辑仅为形式逻辑的一种类型，而和形式逻辑的另一种类型－只处理直言命题的三段论不同。
+非形式逻辑是研究[[自然语言]]论证的一门学科。对谬论的研究是非形式逻辑中尤其重要的一个分支。[[柏拉图]]的作品是非形式逻辑的一重要例子。
+[[形式逻辑]]是研究纯形式内容的推论的一门学科，这种内容是很明确的。若一个推论可以被表达成一个完全抽象的规则（即不只是和任一特定事物或性质有关的规则）的一个特定应用，则这个推论拥有纯形式内容。
+形式逻辑的规则由亚里士多德最先写成。在许多逻辑的定义中，逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式逻辑的概念是空洞的，因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。
+[[符号逻辑]]捕获了逻辑推论的形式特征，并将其抽象化为符号的研究。符号逻辑通常分为两个分支：命题逻辑和谓词逻辑。
+[[数理逻辑]]是符号逻辑在其他领域中的延伸，特别是对模型论、证明论、集合论和递归论的研究。
-非形式逻辑是研究自然语言论证的一门学科。对谬论的研究是非形式逻辑中尤其重要的一个分支。柏拉图的作品[10]是非形式逻辑的一重要例子。
+ “形式逻辑”通常作为符号逻辑的同义词，而非形式逻辑则是被理解为不包含符号抽象化的任何一种逻辑推论；这是由“形式语言”和“形式理论”中类推而来的用法。但广义地来说，形式逻辑是古老的，可追溯至两千年以前，而符号逻辑则相对较新，只有一个世纪左右的[[ 历史]] 而已。
-形式逻辑是研究纯形式内容的推论的一门学科，这种内容是很明确的。若一个推论可以被表达成一个完全抽象的规则（即不只是和任一特定事物或性质有关的规则）的一个特定应用，则这个推论拥有纯形式内容。形式逻辑的规则由亚里斯多德最先写成[11]。在许多逻辑的定义中，逻辑推论与带有纯形式内容的推论会是同一种概念。但这不表示非形式逻辑的概念是空洞的，因为没有任何一种形式语言可以捕捉到自然语言语义间所有的微细差别。
-符号逻辑捕获了逻辑推论的形式特征，并将其抽象化为符号的研究[6][12]。符号逻辑通常分为两个分支：命题逻辑和谓词逻辑。
-数理逻辑是符号逻辑在其他领域中的延伸，特别是对模型论、证明论、集合论和递归论的研究。
- “形式逻辑”通常作为符号逻辑的同义词，而非形式逻辑则是被理解为不包含符号抽象化的任何一种逻辑推论；这是由“形式语言”和“形式理论”中类推而来的用法。但广义地来说，形式逻辑是古老的，可追溯至两千年以前，而符号逻辑则相对较新，只有一个世纪左右的历史而已。

「逻辑」修訂間的差異檢視原始碼討論檢視歷史

於 2020年2月24日 (一) 18:36 的修訂

目錄

本質