問い機械は思考できるか?機械は考えることができるか。潜水艦は泳ぐかと問うのと同じくらいの意味しかない
機械は思考できるか?不適切に立てられた問い

機械は考えることができるか。潜水艦は泳ぐかと問うのと同じくらいの意味しかない

潜水艦は泳がない(ダイクストラ)

Edsger W. Dijkstra 1930 · 2002機械は考えることができるのかと問うのは、潜水艦は泳げるのかと問うのとほとんど同じくらい役に立たない。プログラムが実際に何をしているのかを研究するほうがよい。
プロフィールを見る
その主張:

したがって、「機械は考えることができるか」という問いは立て方が悪い。それは「潜水艦は泳げるか」という問いとほぼ同じ程度にしか意味がない。プログラムが何をするのか、そしてどのように作られているのかを研究するほうがよい。

なぜか

機械がどのように働くかが分かってしまえば、それが「考える」かどうかは、いかなる事実も変えない。それは単に語彙の問題にすぎない。

歴史を貫く同じ発想
ルートヴィヒ・ウィトゲンシュタイン1953『哲学探究』(§ 360)でウィトゲンシュタインは、「考える」という語を道具として見るよう促し、「機械は考えることができるか」という問いはこの語の用法に関わるものだと指摘している。
Alan Turing1950チューリングは、「機械は考えることができるか」という問いは無意味すぎて議論に値しないと判断し、それを模倣ゲームに置き換えることを提案する。
Edsger W. Dijkstra1984ダイクストラはこの指摘をオースティンでの講演で一文にまとめて取り上げている。その問いは、潜水艦が泳ぐかどうかと同程度にしか意味がない、というのである。
要点

「機械は考えることができるか。潜水艦は泳ぐかと問うのと同じくらいの意味しかない」は、問い「機械は思考できるか?」(答え:不適切に立てられた問い)に関するEdsger W. Dijkstraの論証です(「計算機科学への脅威」(EWD898)、1984年, 1984)。その主張は次のとおりです:したがって、「機械は考えることができるか」という問いは立て方が悪い。それは「潜水艦は泳げるか」という問いとほぼ同じ程度にしか意味がない。プログラムが何をするのか、そしてどのように作られているのかを研究するほうがよい。。 AskPhilosophyの論理チェック(Z3ソルバー)によれば、この論証が妥当であるのは、著者が明示していない前提(P3)を認める場合に限られます。 AskPhilosophyでは、2件の反論を紹介しています。そのうち0件には文献に基づく応答があり、各前提の元になった原文も一字一句照合して確認しています。

「計算機科学への脅威」(EWD898)、1984年
暗黙の前提を補えば妥当

1984年、オースティンでの講演で、オランダの計算機科学者エドガー・ダイクストラは、草創期の自分の分野の精神を批判する。彼によれば、この分野の創始者たちはかなり混乱していた。フォン・ノイマンはコンピュータと脳を比較し、チューリングは機械が考えることができるかどうかを決める基準を探したが、この問いについては「今では分かっている」ように、それは潜水艦が泳げるかどうかと同じ程度にしか意味がない。彼はこの考えを詳しく展開してはいない。以下の議論は、その最も強力な再構成である。水中を進む潜水艦のイメージは、言葉についての問いへの答えがいかなる事実も変えないことを示している。注意:ダイクストラは哲学者ではなく、機械が考える、あるいは考えないと言っているわけでもない。彼が言っているのは、その問いが有益な仕事から注意をそらす、ということである。

P1潜水艦が「泳ぐ」かどうかは、何の関心にも値しない問いである。それがどのように進むのか、どれほどの速さで、どれほどの深さまで、そして何の役に立つのかは分かっている。答えがどうであれ、これらの事実はどれも変わらない。ただ言葉を選ぶだけのことになるだろう。
P2機械と「考える」という動詞についても同じことが言える。プログラムが行うこと(その計算、結果、誤り)は、言葉の問題に決着をつけなくても記述し検証することができる。チューリング自身も、その問いを「無意味すぎて議論に値しない」と判断している。
P3 · 暗黙の前提答えがいかなる事実も変えない問いは、語彙の問題であり、科学的・技術的な仕事には関わりがない。
したがって、「機械は考えることができるか」という問いは立て方が悪い。それは「潜水艦は泳げるか」という問いとほぼ同じ程度にしか意味がない。プログラムが何をするのか、そしてどのように作られているのかを研究するほうがよい。

前提をクリックすると、それを退けられます

すべての前提を受け入れるなら、論理によって結論も受け入れざるをえません。したがって、議論は前提をめぐるものになります。
論理ソルバーで検証済み:すべての前提が真で結論が偽であることはありえません。
暗黙の前提がない場合: P3がなければ、コンピュータは、観察可能な事実を何も変えないのに意義を保つ問いを見つける。たとえば、機械が何かを経験しているかどうかという問いである。
P3とあわせれば妥当である。この前提には異論の余地がある。ある問いが機械の行うことを何ら変えなくとも、別のこと、たとえば機械が何を感じるか、あるいは何を理解するかに関わりうる。サールやチャーマーズの反論はこの方向にある。また、潜水艦の類比はダイクストラのものであり、それは「考える」が「泳ぐ」と同様、その用法が約束事にすぎない語だと想定していることにも注意されたい。
類推. 魚は泳ぎ、人間は泳ぎ、船は波を「切り」、潜水艦は滑るように進む。「泳ぐ」という動詞はどこで終わるのか。それを決めたところで、誰も何も得をしない。潜水艦のイメージはダイクストラのものだが、この展開は私たち自身のものである。

反論

2

それぞれの反論は一つの対話です。クリックすると、誰が応答しているか、そして議論が今どこにあるかが分かります。

ジ
ジョン・サール 1980 · 結論を攻撃

理解の問題は言葉の問題ではない。プログラムに従うコンピュータは、記号の意味を知らずに記号を操作している。そこにあるのは統語論であり、意味論ではない。プログラムが理解に十分かどうかは、サールにとって「問うべき正しい問い」であり、彼の答えは否である。ここでは、その答えが機械とは何かを変える。

応答なし
論証を見る
Dijkstraの著作の中に、直接の応答はまだ見つかっていません。
議論の現状(当サイトによる要約)ダイクストラは言葉の問題を脇に置く。サールは、理解の問題は実在し、「考える」という語を争わなくても生じると主張する。一方、機能主義者はサールの議論を退ける。合意はない。すべては「理解する」で何を意味するかにかかっている。
デ
デイヴィッド・チャーマーズ 1995 · 前提3を攻撃

「考える」や「理解する」という語を脇に置いても、言葉の問題ではない問いが残る。この機械であるとはどのようなことか、という何かがあるのか。チャーマーズは「真の困難な問題」、すなわち経験の問題について語る。ある答えが観察可能な行動を何も変えないということは、その問いが空虚であることを示さない。

応答なし
論証を見る
Dijkstraの著作の中に、直接の応答はまだ見つかっていません。
議論の現状(当サイトによる要約)未解決の点。ダイクストラは意識について語らなかったし、この種の反論に対する彼の返答も私たちは見つけていない。経験の問題は実在し、言葉の問題とは別だと考える人もいれば、脳をよりよく理解すれば消えるだろうと考える人もいる。