タルスキ【Alfred Tarski】 （1902-1983） アメリカの論理学者・数学者。ポーランド生まれ。真理概念の論理的分析を通じて意味論の方法を確立し，現代の記号論理学の展開に多大な貢献をなした。