Alfred Tarski (/ˈtɑːrski/, 14 Ocak 1901 – 26 Ekim 1983), doğduğunda adı Alfred Teitelbaum,[3][4][5] olan bir Polonyalı-Amerikalı,[6] mantıkçı ve matematikçi.[7] Model teorisi, metamatematik ve cebirsel mantık konusundaki çalışmaları ile tanınan üretken bir yazar, aynı zamanda soyut cebir, topoloji, geometri, ölçü teorisi, matematiksel mantık, küme teorisi ve analitik felsefeye de katkıda bulundu.
Alfred Tarski, 1930'larda mantıkta önemli bir çalışma olan semantik metodunu biçimlendirmiştir. Bu metot mânâları ile mânâların gösterdiği simgeler arasındaki bağı ele alarak tartışmaktadır. Daha başlangıçta semantik, dil çalışmalarında yeni imkânlar açmış ve bu gibi nesne-mânâ ilişkilerinin münakaşalarında tabii bir metot sunmuştur.
Polonya'da Varşova Üniversitesi'nde eğitim gördü ve Lwów-Varşova Mantık Okulunun ve Varşova Matematik Okulunun bir üyesi olarak 1939'da Amerika Birleşik Devletleri'ne göç etti ve burada 1945'te vatandaşlık aldı. Tarski, 1942'den 1983'teki ölümüne kadar Kaliforniya Üniversitesi, Berkeley'de matematik dersleri vermiş ve araştırmalar yürütmüştür.[8]
Biyografi yazarları Anita Burdman Feferman ve Solomon Feferman, "Çağdaşı Kurt Gödel ile birlikte, özellikle hakikat kavramı ve modeller teorisi üzerine yaptığı çalışmalar sayesinde, yirminci yüzyılda mantığın çehresini değiştirdi" diyorlar.[9]