タルスキー（読み）たるすきー（英語表記）Alfred Tarski

日本大百科全書(ニッポニカ)

タルスキー
たるすきー
Alfred Tarski
（1901／1902―1983）

ポーランド生まれのアメリカの論理学者。ワルシャワ大学で、レスニエウスキーStanisław Leśniewski（1886―1939）、ルカシェービチに学ぶ。1945年アメリカに帰化、カリフォルニア大学教授を長く務めた。

　モデル理論の創始者であり、とくにアメリカに移って以後、この方面で弟子を多数養成し、西海岸論理学界の大御所的存在になったが、若いときの彼を国際的に有名にしたのは、1931年に出版の『形式的言語における真理概念』である。この論文で、彼は、昔から有名だった「うそつきのパラドックス」を扱い、アリストテレス的な「表現と事態の一致」という真理概念を使う限り、メタ（高次）言語と対象言語を区別しなくては、このパラドックスを解決することはできないことを示した。決定可能性の問題、集合論の公理の関連の問題、とくに、到達不能数の問題、代数学の論理学への応用の問題など、彼が手がけて論文の形で業績を残している問題は数多い。著書に、若いころの成果を集めた『論理・意味論・メタ数学』（1956）などがある。

［吉田夏彦　2015年10月20日］

[参照項目] | 意味論 | ルカシェービチ

出典　小学館　日本大百科全書(ニッポニカ)

ブリタニカ国際大百科事典 小項目事典

タルスキー
Tarski， Alfred

[生]1902.1.14. ワルシャワ
[没]1983.10.26.
ポーランド生れのアメリカの論理学者，数学者。アメリカに移住し，カリフォルニア大学数学科教授。ワルシャワ大学でレスニエフスキー，アジュキエウィッツなどの指導下で数学，論理学を学び (1918～23) ，多値論理学，ゲーデルの不完全性定理，意味論の定式化などの研究により，ポーランド学派の有力な一員となり，30年代のオーストリア学派 (ウィーン学派) に影響。特に"Der Wahrheitsbegriff in den formalisierten Sprachen" (35～36) は近代意味論の出発点とされた。また数学の分野では実数論の決定問題，測度論の代数化などに業績がある。主著"Introduction to Logic and to the Methodology of Deductive Sciences" (36) ，"Cardinal Algebras" (49) ，"Logic，Semantics，Metamathematics" (56) など。

出典　ブリタニカ国際大百科事典 小項目事典