不要夸大形式逻辑的功能

形式逻辑有用。

形式逻辑的训练也有益。比如数学证明就是一种形式逻辑的训练。

形式逻辑一般包括演绎和归纳。这两种思维方式都有其用处。有些人没有基本的逻辑训练，就声称证明了某个数学问题，比如哥德巴赫猜想，这样会徒劳无功。

但有些受教育程度较高的人，会犯另外一个错误，就是认为逻辑思维是唯一正确的思维方式，或者说归纳和演绎是唯二的正确思维方式，这就把自己绑起来了。福奇说的“相信科学，相信专家”就是这类错误的一个例子。

他们不知道还有一种思维方式叫综合思维（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