問い機械は思考できるか?推論とは計算にほかならない
機械は思考できるか?思考とは計算である

推論とは計算にほかならない

理性としての計算(ホッブズ)

トマス・ホッブズ 1588 · 1679国家がなければ、人生は孤独で、残忍で、短いものになるだろう。
プロフィールを見る
その主張:

したがって、推論とは記号に対する計算にほかならず、これらの規則を正しく適用する装置は、肉でできていようと歯車でできていようと、推論しているのである。

なぜか

推論とは、慣習によって選ばれた記号を足したり引いたりすることである。それだけの操作であれば、装置によって行うことができる。

要点

「推論とは計算にほかならない」は、問い「機械は思考できるか?」(答え:思考とは計算である)に関するトマス・ホッブズの論証です(『リヴァイアサン』第1部第5章(1651年);『物体論』第1部第1章第2節)。その主張は次のとおりです:したがって、推論とは記号に対する計算にほかならず、これらの規則を正しく適用する装置は、肉でできていようと歯車でできていようと、推論しているのである。。 AskPhilosophyの論理チェック(Z3ソルバー)によれば、この論証が妥当であるのは、著者が明示していない前提(P3)を認める場合に限られます。 AskPhilosophyでは、3件の反論を紹介しています。そのうち2件には文献に基づく応答があり、各前提の元になった原文も一字一句照合して確認しています。

『リヴァイアサン』第1部第5章(1651年);『物体論』第1部第1章第2節
暗黙の前提を補えば妥当

1651年、ホッブズは、推論とは数に対して行うのと同じように足し算と引き算をすることであり、ただしそれを言葉で行うのだと主張する。それが真であれば、推論する思考とは記号に対する計算である。ホッブズ自身は推論する機械について語っていないが、自動機械には「人工の生命」があると書いてもいる。そのため彼は、うまく作られた機械は思考しうるという考えの先駆者としてしばしば見なされる。

P1推論するとは、部分を足して全体を得ること、あるいは一つの総和から別の総和を引いて残りを求めることである。言葉で行う場合、それは言葉の名称から帰結するものを順に辿ることを意味する。
P2私たちが用いる名称は一般的な記号であり、私たちの思考を表し、他者に知らせるために、慣習によって取り決められたものである。したがって、計算はこれらの記号に対して行われる。
P3 · 暗黙の前提規則に従って記号を足したり引いたりすることだけからなる操作は、それが何でできているかにかかわらず、それらの規則を適用するどんな系によっても実行できる。
したがって、推論とは記号に対する計算にほかならず、これらの規則を正しく適用する装置は、肉でできていようと歯車でできていようと、推論しているのである。

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

すべての前提を受け入れるなら、論理によって結論も受け入れざるをえません。したがって、議論は前提をめぐるものになります。
論理ソルバーで検証済み:すべての前提が真で結論が偽であることはありえません。
暗黙の前提がない場合: P3がなければ、コンピュータは、推論が確かに記号に対する計算でありながら、それを遂行できるのは生き物だけである場合を見つける。ホッブズの定義は真のままだが、機械についての結論はそうならない。
P3があれば妥当である。P1とP2は推論とは何か(記号に対する計算)を述べている。P3は、この計算がそれを実行する担い手に依存しないと述べている。ホッブズはこの形では書いておらず、ばね仕掛けの自動機械に「人工の生命」がありうると書いているにすぎない。P3がなければ、装置についての結論は導かれない。推論が計算であっても、なお生きた脳を必要とするかもしれないからである。
類推. 割り算は、手でも、電卓でも、頭の中でも同じやり方で行われる。重要なのは規則であって、道具ではない。ホッブズは、推論もまた記号に規則を適用することだと言う。

反論

3

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

ルネ・デカルト 1637 · 前提3を攻撃

言葉を発する機械を考えることはできるが、その機械が、最も愚鈍な人間にもできるように、自分の前で言われたことすべての意味に応じて、言葉をさまざまに並べ替えて答えるとは考えられない。そして理性は普遍的な道具であるのに対し、機械の器官は行為ごとに特定の配置を必要とする。機械には、あらゆる状況で理性のように行為するのに十分な配置をもつことはできない。

擁護者の応答
論証を見る
ホッブズの著作の中に、直接の応答はまだ見つかっていません。
ア
アラン・チューリング 論証の擁護者 · 1950
デジタルコンピュータは、あらゆる離散状態機械を模倣できる。したがって、課題ごとに新しい機械を設計する必要はない。それぞれの場合に応じて適切にプログラムされた一台のデジタルコンピュータが、そのすべてをこなせるのである。
ノ
ノーム・チョムスキー 1966
チョムスキーはデカルトの議論を引き継ぐ。言語の通常の使用は創造的で、際限がなく、状況に適合しているが、状況によって引き起こされているわけではない。万能機械はあらゆるものを計算できるが、そのことはこの使用を説明しない。
議論は続く(当サイトによる要約) デカルトが書いたのは『リヴァイアサン』より前であり、ホッブズはこの箇所に答えていない。議論は現代のコンピュータとともに続いた。
議論の現状(当サイトによる要約)要約:この論争は、プログラムが何をカバーできるかをめぐるものである。擁護者たちは、万能機械には状況ごとの器官は要らないと言う。これに対してデカルトの後継者たちは、重要なのは言語の創造的で適切な使用であり、それは前もって定められた規則をただ適用することではない、と答える。根本的な不一致は未決着のままである。
ライプニッツ 1714 · 結論を攻撃

たとえ推論が部品によって行われる計算だとしても、知覚は部品によっては説明されない。拡大された機械の中に風車小屋に入るように入っても、見えるのは互いに押し合う部品だけで、知覚を説明するものは何も見えないだろう。

応答なし
論証を見る
応答はありえません:この反論は、著者の死後(1679)の1714年に提起されました。
議論の現状(当サイトによる要約)要約:ライプニッツが語っているのは計算ではなく知覚である。彼が正しいとしても、推論は計算であるが、計算だけでは知覚したり理解したりするのに十分ではない、と主張することはできる。論争は関連する論証で続いている。未解決の論点である。
ジ
ジョン・サール 1980 · 結論を攻撃

部屋に閉じ込められた男が、中国語の記号を操作するプログラムに従うことで、中国語を一語も理解しないまま、適切な答えを返すことができる。したがって、記号に関する規則に従うだけでは、理解するにも、思考するにも十分ではない。

擁護者の応答
論証を見る
応答はありえません:この反論は、著者の死後(1679)の1980年に提起されました。
ダ
ダニエル・デネット 論証の擁護者 · 1987
デネットは、この思考実験が成り立つのは私たちが取るに足らないプログラムを想像しているからだ、と論じる。本物の会話ができるプログラムは途方もなく複雑であり、「それは何も理解していない」という私たちの直観は当てにならなくなる。
議論の現状(当サイトによる要約)要約:サールは、記号の操作だけでは意味は生じないと主張する。批判者たちは、この思考実験のせいで、本物の会話プログラムがどのようなものになるかを私たちが過小評価してしまうと反論する。理解と意味とは何かをめぐる根本的な不一致である。