タルスキ Alfred Tarski (1902-　) アメリカの論理学者・数学者。ポーランド生まれ。真理概念の論理的分析を通じて意味論の方法を確立し，現代の記号論理学の展開に多大な貢献をなした。著「形式言語における真理概念」など。