کتاب مفهوم صدق در زبان های صوری شده

آلفرد تارسکی  با نام اصلی آلفرد تیتلباوم؛ 14 ژانویه 1901 - 26 اکتبر 1983) منطق‌دان و ریاضی‌دان لهستانی-آمریکاییبود. او نویسنده‌ای پرکار بود که بیشتر به خاطر آثارش در نظریه مدل، فراریاضیات و منطق جبری شناخته می‌شود. او همچنین در جبر انتزاعی، توپولوژی، هندسه، نظریه اندازه، منطق ریاضی، نظریه مجموعه‌ها، نظریه نوع‌ها و فلسفه تحلیلی مشارکت داشت.او در دانشگاه ورشو در لهستان تحصیل کرد و عضو مکتب منطق لووف-ورشو و مکتب ریاضیات ورشو بود. در سال ۱۹۳۹ به ایالات متحده مهاجرت کرد و در سال ۱۹۴۵ شهروند آنجا شد. تارسکی از سال ۱۹۴۲ تا زمان مرگش در سال ۱۹۸۳ در دانشگاه کالیفرنیا، برکلی، در رشته ریاضیات تدریس و تحقیق می‌کرد.