Та́рский Альфред (Alfred Tarski, наст. Тайтельбаум) (14 января 1902, Варшава — 26 октября 1983, Беркли, Калифорния) — польский ученый-математик еврейского происхождения, один из главных представителей львовско-варшавской научной школы, автор трудов по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Тарский стал основоположником логической семантики как дедуктивной теории, полученные им результаты относятся к теории множеств, теории булевых алгебр, логикам с формулами бесконечной длины, разделам математической логики и оснований математики. Основополагающий характер имеют работы ученого в области моделей теории, логической семантике, металогике и методологии дедуктивных наук. С 1939 года Альфред Тарский жил в США.
- Введение в логику и методологию дедуктивных наук. М., 1948.
- Истина и доказательство // Вопросы философии. 1972, № 8.
- Logic, Semantic, Metamathematic. Oxford, 1956.