Junto con Aristóteles, Gottlob Frege y Kurt Gödel, Tarski es considerado uno de los lógicos más grandes de todos los tiempos.