アルフレート・タルスキとは？
あるふれーとたるすき
アルフレート・タルスキは、20世紀を代表するポーランド出身の論理学者・数学者で、真理の意味論的定義や論理的帰結の概念を確立した人物です。
アルフレート・タルスキ（Alfred Tarski、1901〜1983年）は、ポーランド・ワルシャワ生まれの論理学者・数学者です。ワルシャワ大学でヤン・ウカシェヴィチらに師事し、数理論理学の研究を進めました。第二次世界大戦を逃れてアメリカに渡り、カリフォルニア大学バークレー校で長く活躍しました。
タルスキの最大の業績は、1933年に発表した「真理の意味論的定義」です。これは、形式言語における「真理」の概念を厳密に定義しようとする試みで、「『雪は白い』という文は、雪が白いときに限り真である」という形の定義（Tスキーマ）によって真理概念を数学的に扱える形にしました。この仕事は現代の論理学・言語哲学・コンピュータ科学の基礎となっています。
主な業績をまとめると以下の通りです。
- 真理の意味論的定義（タルスキの真理論）
- 論理的帰結の厳密な定義
- モデル理論の創設と発展への貢献
- バナッハ＝タルスキのパラドックス（集合論・測度論）
- 代数的論理学（関係代数など）の体系化
タルスキの仕事は純粋数学から哲学、さらにはデータベース理論やプログラミング言語の意味論にまで影響を与え、20世紀論理学の発展に決定的な貢献をした人物として高く評価されています。
使い方・例文
論理学・数学基礎論・言語哲学の教科書や論文で「真理の意味論」や「モデル理論」を説明する文脈でほぼ必ず登場する人物です。
この用語をシェア
最終更新: