Alfred Tarski

polsk-amerikansk logiker, bosatt i USA fra 1939. Hans arbeider har vært meget viktige for utviklingen av moderne logikk og semantikk. Innen matematikk og matematisk logikk beviste han en rekke viktige teoremer, som f.eks. at algebra og geometri er både fullstendig og avgjørbar, i motsetning til aritmetikken, som Gödel beviste at er verken fullstendig eller avgjørbar. I semantikken dreier hans viktigste arbeider seg om sannhet og logisk konsekvens. Han utviklet en presis semantisk sannhetsdefinisjon som har hatt stor innflytelse både blant logikere og blant filosofer. Utgav Der Wahrheitsbegriff in den formalisierten Sprachen (1936) samt tallrike lærebøker og avhandlinger i matematisk logikk.