演繹法は機械的処理に近いですか？

演繹法は機械的処理に近いですか？

No.3 回答者： ありものがたり 回答日時： 2023/03/04 13:40

演繹法は、人間の精神の自然な発露です。

帰納法が運任せのデタラメなのとは対象的です。
「機械的処理」って何ですか？
機械の動作が設計どおりだろうという仮定は、
帰納的な推測の結果に過ぎませんよ。
演繹は、人の思考の中にしか存在しません。

No.2 回答者： satoumasaru 回答日時： 2023/03/04 11:51

近いと言えば近いですね。

でもAIの手法であるディープラーニングは膨大なデータを読み込ますわけですから帰納法そのものです。

No.1 回答者： stomachman 回答日時： 2023/03/04 11:41

普通の命題論理や一階述語論理では「ロビンソンの導出原理」というアルゴリズムが存在しますから、「機械的処理に近い」のではなく「機械的処理」です。

一方、自然数を含む体系ではカンペキなアルゴリズムが存在しないことが知られています。ですが、「機械的処理」でイケちゃう部分も多くあります。その意味で「機械的処理に近い」と言えなくもないでしょう。