O Alfredzie Tarskim

Praca wywarła znaczący wpływ na formalny rozwój logiki. Kolejne zagadnienie to teoria modeli. Choć jej nie stworzył, przyczynił się do jej rozpowszechnienia, a w Berkeley zorganizował poświęconą jej problemom konferencję. Ponadto zajmował się badaniami nad tzw. czystą uniwersalną algebrą, studiując zależności między systemami algebraicznymi. Podsumowując, Tarski istotnie wpłynął na kształt i rozwój logiki dwudziestego wieku, a także podstaw matematyki, a poprzez badania z zakresu semantyki formalnej i podstaw logiki na epistemologię, metodologię nauk oraz filozofię języka. Stworzył semantykę logiczną, przyczynił się do rozwoju metamatematyki, teorii modeli, osiągnął znaczące wyniki w teorii mnogości, topologii, arytmetyce oraz geometrii.