تارسکی، آلفرد (۱۹۰۲ـ۱۹۸۲)

تارْسْکی، آلْفرِد (۱۹۰۲ـ۱۹۸۲)(Tarski, Alfred)

(نام اصلی: آلفرد تایتلباوم) منطق‌دان و ریاضی‌دان امریکاییِ لهستانی‌تبار. در ورشو متولد شد. از ۱۹۲۵ تا شروع جنگ جهانی دوم در آن‌جا سمتِ استادی داشت. توانست به ایالات متحده مهاجرت کند و به دانشگاه کالیفرنیا در برکلی رفت (۱۹۴۲ـ۱۹۶۸). در پیشبرد منطق ریاضی، به‌ویژه بخش‌هایی که به معنی‌شناسی و «نظریۀ مدل‌ها» مرتبط می‌شدند، نقش بسیاری داشت. به مناسبت آنچه «پارادُکس باناخ ـ تارسکی» نامیده می‌شود، و به مجموعه‌های اندازه‌ناپذیر مربوط است، شهرت دارد، اما شهرتش بیشتر برای تعریفِ صدق در زبان‌های منطق صوری است؛ او این تعریف را در تک‌نگاشتی با عنوان مفهوم صدق در زبان‌های صوری ‌شده (۱۹۳۳) تنظیم و تدوین کرد.