問い機械は思考できるか?機械は何も生み出さない。命じられたことを実行するだけである
機械は思考できるか?理解が欠けている

機械は何も生み出さない。命じられたことを実行するだけである

ラブレス夫人の反論

Ada Lovelace 1815 · 1852彼女はバベッジの解析機関を記述し、それが数以外のものも扱いうることを見抜いたうえで、機械が越えない限界を定めた。機械は何ものも創り出さない、というものである。
プロフィールを見る
その主張:

したがって解析機関は何も創造しない。それが生み出すものはすべて、命じられたことに由来する。

なぜか

機械は、私たちが命じ方を知っていることしかできず、何も先取りできない。そして創造するとは、それ以上のことである。

歴史を貫く同じ発想
Charles Babbage1837バベッジは解析機関を設計する。パンチカードで動く機械で、記憶装置と演算装置を備え、非常に多様な計算のためにプログラムできる。
Ada Lovelace1843ラブレスはこの機械についてのメナブレアの論文を翻訳する際に、自分の注を付け加えた。注Gで彼女は、誇張された考えに対して注意を促している。機械は、私たちが命じ方を知っていることしかできない。
要点

「機械は何も生み出さない。命じられたことを実行するだけである」は、問い「機械は思考できるか?」(答え:理解が欠けている)に関するAda Lovelaceの論証です(メナブレアに関する注解、注G、1843年, 1843)。その主張は次のとおりです:したがって解析機関は何も創造しない。それが生み出すものはすべて、命じられたことに由来する。。 AskPhilosophyの論理チェック(Z3ソルバー)によれば、この論証が妥当であるのは、著者が明示していない前提(P3)を認める場合に限られます。 AskPhilosophyでは、5件の反論を紹介しています。そのうち0件には文献に基づく応答があり、各前提の元になった原文も一字一句照合して確認しています。

メナブレアに関する注解、注G、1843年
暗黙の前提を補えば妥当

1843年、エイダ・ラブレスは、パンチカードでプログラムする機械式計算機であるバベッジの解析機関を記述する。彼女は非常に先を見通していたが(この機械は数以外のものも扱えるだろう)、一つの限界を設ける。この機械に、それが持たない能力を与えてはならない。機械は、私たちが命じ方を知っていることを実行する。何も創造しない。この一文は「ラブレス夫人の反論」となった。機械は本当には考えない。なぜなら、機械には自発性がなく、自分が行うことについての固有の理解もないからである。

P1解析機関は、何か新しいものを生み出すなどという主張を一切持たない。私たちが実行するよう命じ方を知っていることなら、何でもできる。
P2それは解析に従うことはできるが、解析上の関係や真理をあらかじめ見通す力は全く持たない。
P3 · 暗黙の前提創造するとは、規則によっても、規則を与える者によっても、あらかじめ定められていなかった何かを生み出すことである。したがって、命じられたことしかせず、何も先取りしない機械は、何も創造しない。
したがって解析機関は何も創造しない。それが生み出すものはすべて、命じられたことに由来する。

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

すべての前提を受け入れるなら、論理によって結論も受け入れざるをえません。したがって、議論は前提をめぐるものになります。
論理ソルバーで検証済み:すべての前提が真で結論が偽であることはありえません。
暗黙の前提がない場合: P3がなければ、コンピュータは、機械が命じられたことしかせず何も先取りしないにもかかわらず、創造するという事例を見つけ出す。文法と詩作の規則を文字どおりに適用する生徒が、本人も教師も、誰も予見していなかった詩を書く。規則に従うことは、新しいものを生み出すことを妨げない。
P3を加えれば、この論証は妥当である。P1とP2は、機械が何をするか(遂行する、従う)と、何をしないか(先取りする)を述べている。P3は「創造する」とは何を意味するかを述べている。ラヴレスはそれを前提として明示してはいない。「originate」と書くことで、それを含意しているのである。議論の全体は、P3と、P1の「命令する」という語をめぐっている。機械に命令することが、機械が何を生み出すかを知っていることを意味しないのであれば、機械は私たちを驚かせることができ、おそらくは創造することもできる。
類推. ピアノは、ピアニストが弾かせるものしか弾かない。ピアノが音楽を発明するとは言わない。ラヴレスにとって、解析機関は並外れて強力な道具ではあるが、あくまで道具である。発明は、それをプログラムする者から来る。

反論

5

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

ア
アラン・チューリング 1950 · 前提3を攻撃

彼は問う。自分が成し遂げた「独創的な仕事」が、教育によって自分の中に植えられた種の成長にすぎない、あるいはよく知られた一般原理に従った結果にすぎない、ということを、誰が確実に否定できるだろうか。それが基準だとすれば、人間もまた無から創造してはいないのかもしれず、P3における「創造する」の定義は強すぎる。

応答なし
論証を見る
応答はありえません:この反論は、著者の死後(1852)の1950年に提起されました。
議論の現状(当サイトによる要約)未決の論点。チューリングは、人間が「無から」創造するという考えに異議を唱える。ラヴレスの擁護者は、人間が教育によって形づくられるとしても、人間は自分の気に入るもの、偽であるものや美しいものを選ぶのであり、機械はそれを自力ではしない、と答えることができる。どちらの解釈も支配的にはなっていない(本サイトによる要約)。
ア
アラン・チューリング 1950 · 前提1を攻撃

機械は非常にしばしば彼を驚かせる。それは機械が命じられたこととは別のことをするからではなく、機械が何をするかを彼があらかじめ計算していないからである。したがって、何を生み出すか分からないプログラムを機械に命じることはできる。「それを命じる仕方を知っている」ことは、「何が出てくるかを知っている」ことを意味しない。

応答なし
論証を見る
応答はありえません:この反論は、著者の死後(1852)の1950年に提起されました。
議論の現状(当サイトによる要約)争われている論点。チューリングは、「命令する」ことと「予見する」ことが別のものであることを示す。これに対して批判者は、結果に驚かされたからといって機械がそれを発明したとは言えない、驚きは観察者の心の中にある、と答える。チューリングはそのことを承知しており、同じ一節で自らそう述べている(本サイトによる要約)。
ア
アラン・チューリング 1950 · 前提2を攻撃

機械が学習するなら、それを教育する者は、内部で何が起きているかをほとんど知らないことが多い。それでも、生徒の振る舞いをある程度は予測できるかもしれない。したがって、各段階を追うことのできる通常の計算とは対照的に、学習する機械は、誰も一つずつプログラムしなかったことを最終的に行うようになる。

応答なし
論証を見る
応答はありえません:この反論は、著者の死後(1852)の1950年に提起されました。
議論の現状(当サイトによる要約)未決の論点。チューリングは、振る舞いが一行ずつ書かれているわけではない機械を描いている。問題は、それで異論に答えるのに十分かどうかである。プログラマーはやはりすべてを命じていた(学習の方法)と言うこともできるし、機械はいまや一種の主導性をもっていると言うこともできる。合意はない(本サイトによる要約)。
ダ
ダグラス・ハートリー 1949 · 結論を攻撃

ハートリーはラヴレスの文を引用したうえで、それは原理的には、いつか「自分で考える」機械を作ることを排除しない、と述べる。たとえば、「学習」の基礎となる条件反射を機械に与えることによってである。しかし当時作られていた、あるいは計画されていた機械は、この性質をもっていなかった。したがって、ラヴレスの限界が記述しているのは機械の現状であって、可能なあらゆる機械ではない。

応答なし
応答はありえません:この反論は、著者の死後(1852)の1949年に提起されました。
議論の現状(当サイトによる要約)ハートリーは、ラヴレスの文の射程を、彼女の時代の技術に限定する。そこに残る結論は、より控えめなものである。単に実行するだけの機械は何も創始しないが、機械がそれ以上のことを決してしないとは言えない。チューリングもこの見方を共有している(本サイトによる要約)。
マ
マーガレット・ボーデン 1990 · 前提3を攻撃

ボーデンは創造性を神秘として扱うことを拒む。彼女は創造性を、見慣れた観念を予想外の仕方で組み合わせ、規則によって定められた可能性の空間を探索し、ときにはその規則そのものを変換する能力として記述する。これらの操作の一部は、プログラムによって記述できる。そこで問いは、機械はどのような形の創造性をもちうるのか、そしてどのような形がそれには手の届かないものなのか、となる。

応答なし
Lovelaceはこの反論に答えていません。
議論の現状(当サイトによる要約)争われている論点。ボーデンは、「創造する」ことは「規則に従う」ことと両立しないわけではなく、P3は創造性を誤って定義していると主張する。批判者は、与えられた規則の空間を探索する機械が、自分が見つけたものの価値を理解しているのか、それともそれを認めるのはやはり人間なのか、と問う(本サイトによる要約)。