アルフレト・タルスキ
出典: フリー百科事典『ウィキペディア（Wikipedia）』
アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）はポーランド出身のアメリカで活躍した数学者・論理学者。ワルシャワのユダヤ系家庭に生まれ、もとの姓はテイテルバウム（Teitelbaum）であったが、後にタルスキに改名している。また、彼の生年を1902年とする記述も散見されるが、これは誤りである。
目次 |
[編集] ポーランド時代
ギムナジウム時代より神童の誉れ高かったタルスキは、ワルシャワ大学に入学した当初は生物学を志したが、次第に数学（特に数学基礎論）に興味を移していった。大学ではヴァツワフ・シェルピンスキのもとで集合論を、ヤン・ウカシェヴィチおよびスタニスワフ・レシニェフスキのもとで論理学を、タデウシュ・コタルビンスキのもとで哲学を学び、これが彼の後の研究を方向付けることとなる。
1923年には、師のレシニェフスキが考案した論理体系に関するある未解決問題を解決し、この業績により博士号を取得（1924年）。同24年には、ステファン・バナフ（バナッハ）との共著論文において、有名な「バナッハ＝タルスキの定理」を発表している。このころ姓をタルスキに改め、またカトリックに改宗している。
レシニェフスキは優秀な弟子であるタルスキを非常にかわいがったが、博士論文提出後、両者の関係は次第に冷めたものになっていく。これには、タルスキが次第にレシニェフスキ論理学の研究から遠ざかっていったこと、レシニェフスキが反ユダヤ的態度を隠さなかったこと等が影響しているといわれている。
1929年にはマリア・ヴィトコフスカと結婚するが、当時のポーランドではユダヤ人が大学にポストを得るのは難しかったため、しばらくはギムナジウムで数学を教えるかたわら論文を書く日々が続く。
[編集] ウィーン学団との交流
1929年秋、ウィーンより数学者カール・メンガーがワルシャワに招かれ、一連の講義を行った。メンガーは、当時論理実証主義運動を先導していた「ウィーン学団」の中心的メンバーであり、このとき知り合ったタルスキの仕事に興味を持つようになる。このメンガーの招きにより、1930年、タルスキはウィーンを訪れる。ウィーンで集合論やウカシェヴィチの三値論理に関する講義を行ったタルスキは、出席していたウィーン学団のメンバーに多大な影響を与えることとなった。
特にクルト・ゲーデルとルドルフ・カルナップに深い感銘を与えたことは特筆に値する。当時まだ博士論文を提出したばかりだったゲーデルは、ウィーン学団の基本理念には賛同していなかったが、学団の会合やセミナーには参加していた。その関係でタルスキの講義に接したゲーデルは、このときタルスキと個人的に会い、博士論文で証明した一階述語論理の完全性定理について報告している。この定理は、後にタルスキによって発展させられたモデル論において、重要な意味を持つことになる。
またカルナップは、タルスキのメタ数学的手法をこのとき吸収し、これは後のカルナップの言語哲学に大きな影響を与えた。タルスキ、ゲーデル、カルナップの三人は奇しくもその後アメリカに渡り、そこで再会を果たすことになる。
1931年2月、タルスキはゲーデルより書簡を受け取る。この書簡でゲーデルは、後に不完全性定理として知られる結果について報告している。このころ、形式言語における真理定義について研究をすすめていたタルスキは、自らも不完全性定理まであと一歩のところまで迫っていたため、この結果に衝撃を受けた。タルスキとゲーデルは友人同志ではあったが、タルスキは終生ゲーデルをライバル視していたという。
1933年、W・V・O・クワインがワルシャワを来訪。クワインはこの直前に博士号を取得したばかりで、ヨーロッパ各地の哲学研究グループを来訪して回っている途中であった。このときクワインと親交を結んだことが、後のタルスキのアメリカ行きを決定付けることになる。
1934年には長男ヤヌシュが誕生。同年、ウィーン学団のメンバーらによって組織された統一科学国際会議パリ大会（1935年）のための準備会議がプラハで催され、タルスキもこれに出席している。ポーランドからはタルスキのほか、カジミェシュ・アイドゥキェヴィチ、アドルフ・リンデンバウムらが出席。このとき初めてカール・ポパーと会っている。
1935年、統一科学国際会議に出席するためにパリを訪れる。このとき、科学哲学者のカール・ヘンペル、生物学者のジョーゼフ・ヘンリー・ウッジャーらと初めて会っている。特にウッジャーとはその後も親交を深め、後にウッジャーはタルスキの論文集を編集することになる。ウッジャーは記号論理学を生物学へと応用したことで知られているが、1937年に出版された彼の『生物学における公理論的方法』の付録は、タルスキによって執筆された。
この会議でタルスキは、「論理的帰結の概念について」および「科学的意味論の基礎」と題された二つの発表を行っている。前者は、論理的帰結関係のモデル論的定義の先駆をなす画期的なものだった。そして後者が、彼の名をこんにち不動のものとしている、形式言語における真理定義に関する発表である。しかし彼の真理論に対しては、タルスキに好意的と思われていた論理実証主義陣営からも批判的な意見が相次いだ。このため、さらなる討議のための非公式セッションが設けられ、白熱した議論が戦わされた。
[編集] アメリカへ
このころ、ヨーロッパではナチスの台頭により、徐々に不穏な空気が醸成されつつあった。1935年にはポーランド独立の英雄、ピウスツキ元帥が死去。これをきっかけに、ポーランド国内では反ユダヤの機運が高まっていた。1935年以降、精力的にヨーロッパ各地の会議に出席していたタルスキは、1938年、ベルリンを訪れクルト・グレリング（グレリングのパラドクスで有名）の家でもてなしを受ける。グレリングと連れ立って散歩に出かけたタルスキは、このときたまたまヒトラーの街頭演説に出くわしたという。またベルリンではレオポールト・レーヴェンハイムにも会っている。
1938年には、最初の弟子ともいえるアンジェイ・モストフスキが、タルスキの指導のもとで博士号取得。ただしタルスキは正教授ではなかったため、正式な指導教官としては記録されていない。また、この年には長女クリスティナが生まれている。
1939年春、クワインより書簡が舞い込む。それは、ハーヴァードで開催予定の第5回統一科学国際会議への招待を告げるものだった。しかしタルスキはこの誘いを受けることに躊躇する。同年5月にレシニェフスキが急逝し、これにより、ワルシャワ大学論理学教授のポストは空席になっていた。いまだに大学に専任ポストを得ていなかったタルスキは、なんとしてもレシニェフスキの後任におさまりたいと考え、そのためにはワルシャワに留まったほうが得策だと考えたようである。
しかしクワインから再度送られてきた書簡で、アメリカで職が得られる可能性が示唆されていたため、これに動かされてついにアメリカ行きを決断することになる。タルスキの乗船「ピウスツキ号」が出港した直後に滞在用ビザの発行が停止されたため、タルスキの決断はまさにぎりぎりだった。実際、タルスキの次の便でアメリカ行きを予定していた科学哲学者のヤニナ・ホシアッソン＝リンデンバウム（アドルフ･リンデンバウムの妻）にはビザが発行されず、ポーランドに留まったリンデンバウム夫妻は第二次大戦中に非業の死をとげることになる。
[編集] アメリカ時代
1949年からはカリフォルニア大学バークレー校教授に就任。 書きかけです
[編集] 数学上の業績
現代的なモデル論の基礎を開拓。特に真理概念の帰納的定義は、論理学のみならず言語哲学にも大きな影響を与えた。 書きかけです
[編集] 参考文献
- Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. ISBN 0-521-80240-7（詳細な伝記。本項目の記述も、その多くをこれに負っている。）
- Journal of Symbolic Logic, Vol.51(4), 1986.（タルスキ追悼特集号。Steven Givant による詳細な著作目録のほか、Robert Vaught、Donald Monk、Georg McNulty らによる業績紹介論文を収録。）
 |
この項目「アルフレト・タルスキ」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（ポータル 数学／ウィキプロジェクト 数学） |
