アルフレト・タルスキ

アルフレト・タルスキ（Alfred Tarski, 1901年 1月14日 - 1983年 10月26日）は、20世紀を代表するポーランドおよびアメリカの数学者、論理学者です。彼はしばしば、アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに「四人の偉大な論理学者」の一人に数えられます。その学術的な貢献は多岐にわたり、特に現代論理学における真理概念の基礎づけやモデル論の発展に決定的な役割を果たしました。幾何学の分野における驚くべき結果である「バナッハ＝タルスキーの定理」も、彼の名を冠した有名な業績の一つです。

生涯（ポーランド時代）

1901年にポーランドで生まれたタルスキは、若い頃から優れた才能を示し、ワルシャワ大学に進学しました。当初は生物学に関心がありましたが、やがて数学、とりわけ数学基礎論へとその関心を深めていきました。大学では、ヴァツワフ・シェルピンスキのもとで集合論を、ヤン・ウカシェヴィチやスタニスワフ・レシニェフスキから論理学を、そしてタデウシュ・コタルビンスキから哲学を学びました。これらの多様な学びが、タルスキの後の独創的な研究の基礎となりました。

1923年、タルスキは師レシニェフスキの論理体系における長年の未解決問題を解決する業績を挙げ、翌1924年に博士号を取得しました。また、同年には数学者のステファン・バナッハと共同で「バナッスキー＝タルスキーの定理」を発表し、その名を広く知らしめることになります。

タルスキの家系はユダヤ系でしたが、彼と弟は姓をポーランド風の「タルスキ」に変更し、ローマ・カトリックに改宗しました。これは、彼が自身をポーランド民族と強く認識し、そのように受け止められることを望んだことによるものです。その後も、彼は家庭では母語であるポーランド語を話し続けました。

博士号取得後、タルスキはワルシャワ大学で講師として働き、またヤン・ウカシェヴィチの助手も務めましたが、収入が十分ではなかったため、ワルシャワの高校でも数学を教えて生計を立てていました。当時のヨーロッパでは、研究者が高等学校で教鞭をとることは一般的なことでした。この時期も、彼は活発に研究を行い、数多くの重要な論文を発表しました。1929年には、高校教師で元ポーランド陸軍の通信兵であったマリア・ヴィトコフスカと結婚し、息子ヤンと娘クリスティナを授かりました。

ウィーン学団との交流

1930年、タルスキは数学者カール・メンガーの招聘を受け、ウィーンを訪問しました。当時、論理実証主義運動の中心であったウィーン学団に対し、タルスキの集合論や多値論理に関する講義は大きな刺激を与えました。特に、若きクルト・ゲーデルとルドルフ・カルナップは、タルスキの研究手法に深い感銘を受けました。

ゲーデルは同時期に自身の一階述語論理の完全性定理についてタルスキに報告し、これが後のタルスキのモデル論研究の重要な示唆となりました。一方、カルナップはタルスキのメタ数学的な手法を自身の言語哲学に取り入れ、その後の研究に大きな影響を受けました。タルスキ、ゲーデル、カルナップの三人が後にアメリカで再会し、それぞれの分野で中心的な役割を果たすことになったのは、まさに歴史的な偶然でした。

1931年には、ゲーデルから有名な不完全性定理に関する報告を受け取ったタルスキは、自らも真理定義の研究から同様の結果に近づいていたこともあり、強い衝撃を受けました。タルスキはゲーデルを終生にわたりライバルとして意識していたと言われています。

1933年には、アメリカの哲学者W・V・O・クワインがワルシャワを訪れ、タルスキと親交を深めました。この出会いが、後にタルスキがアメリカへ移住する重要なきっかけの一つとなりました。

1935年、パリで開催された統一科学国際会議において、タルスキは「論理的帰結の概念について」と「科学的意味論の基礎」という二つの画期的な発表を行いました。特に後者は、形式言語における真理概念の定義という、彼の名を不朽のものとする業績に関する発表でした。しかし、その真理論は、タルスキに友好的と思われていた論理実証主義陣営からも批判的な意見を引き出し、活発な議論を巻き起こしました。

アメリカへの移住

1930年代後半、ナチス・ドイツの台頭により、ヨーロッパの政治情勢は急速に悪化していました。1939年春、タルスキはクワインからの誘いを受け、アメリカのハーバード大学で開催される会議への参加を検討します。当初はポーランドに残ることを考えていましたが、アメリカでの職の可能性が示唆されたことで、最終的に移住を決断しました。

同年8月、タルスキを乗せた客船「ピウスツキ号」が出港した直後に、ポーランドからの渡航ビザの発行が停止されました。これは、第二次世界大戦の勃発直前という、文字通り間一髪のタイミングでした。タルスキは、このとき妻と子供たちをポーランドに残さざるを得ませんでした。ドイツによるポーランド占領が始まり、ユダヤ系のタルスキの親族の多くはホロコーストの犠牲となりました。妻や子供たちと無事に再会できたのは、終戦から一年後の1946年のことでした。

アメリカ時代と主な業績

アメリカに渡ったタルスキは、様々な大学を経て、1949年にカリフォルニア大学バークレー校の教授に就任しました。以後、彼はこの地を拠点に研究と教育に専念し、バークレーを論理学の一大中心地に育て上げました。彼は多くの優れた後進を指導し、その中には後の著名な論理学者も多数含まれています。

タルスキの最も重要な学術的貢献は、現代モデル論の基礎を築いたことです。特に、形式言語における真理概念の帰納的定義は、その後の論理学の発展に不可欠な基盤を提供しました。この定義は、「SはPである」という形の文が真であるのは、指示対象Sが指示対象Pの要素であるときに限る、というような直観を、形式的な枠組みの中で厳密に捉え直したものです。この研究は、論理学にとどまらず、言語哲学、数理言語学、計算機科学など、幅広い分野に深い影響を与えました。

また、彼は代数的論理学の分野でも先駆的な研究を行い、集合論、測度論、一般代数など、数学の様々な分野に重要な貢献をしました。

結び

アルフレト・タルスキは、20世紀の論理学と数学基礎論に計り知れない影響を与えた巨人です。彼の形式的な手法と厳密な定義への探求は、学術研究における新しい標準を確立しました。1983年にその生涯を閉じましたが、彼の研究は現在も多くの分野で参照され、生き続けています。

もう一度検索