不要誇大形式邏輯的功能

形式邏輯有用。

形式邏輯的訓練也有益。比如數學證明就是一種形式邏輯的訓練。

形式邏輯一般包括演繹和歸納。這兩種思維方式都有其用處。有些人沒有基本的邏輯訓練，就聲稱證明了某個數學問題，比如哥德巴赫猜想，這樣會徒勞無功。

但有些受教育程度較高的人，會犯另外一個錯誤，就是認為邏輯思維是唯一正確的思維方式，或者說歸納和演繹是唯二的正確思維方式，這就把自己綁起來了。福奇說的“相信科學，相信專家”就是這類錯誤的一個例子。

他們不知道還有一種思維方式叫綜合思維（abductive reasoning）。這種思維在探索未知和戰略決策中尤為重要。

所有跟帖： 

• 根據哥德爾不完備定理，形式邏輯總是會失效，隻要你思考夠基本、夠遠。這決定了發明家職業總會存在，但越來越稀少。 -dhyang_wxc- ♂ (0 bytes) () 11/05/2023 postreply 21:11:26

• 哥德爾說得是有些數學係統，一階邏輯是完備的。 -露重煙微- ♀ (0 bytes) () 11/05/2023 postreply 21:37:00

• 咦，我這句話哪裏談到一階？邏輯功能不宜誇大，邏輯是工具一種，功能有限，不能獨立用來解決5大類問題。 -dhyang_wxc- ♂ (170 bytes) () 11/06/2023 postreply 05:38:41

• 一階邏輯是形式邏輯的一種。對咱一般人來說，最大的功能限製就是沒學以及沒學好。 -露重煙微- ♀ (0 bytes) () 11/06/2023 postreply 07:34:00

• 第一， 請定義什麽叫誇大？ 第二， 有什麽東西可以獨立解決“5大類問題”？ -SwiperTheFox- ♂ (0 bytes) () 11/06/2023 postreply 08:00:49

• Abductive Reasoning, 溯因法，是歸納法中的一種。 -露重煙微- ♀ (0 bytes) () 11/05/2023 postreply 21:41:00

• 這個一般不歸於形式邏輯，這個思維方式沒法教，隻能自己領會。 -solo1- ♂ (0 bytes) () 11/06/2023 postreply 08:11:24

• 那有可能您說的Abductive Reasoning和我了解的不一樣。溯因法是從現有數據反推最佳理論的過程。這種邏輯在19世紀後 -露重煙微- ♀ (0 bytes) () 11/06/2023 postreply 10:41:00

• 半葉已經formulated了。 -露重煙微- ♀ (0 bytes) () 11/06/2023 postreply 10:43:00