TARSKİ (Alfred), Polonya kökenli amerikalı mantıkçı ve matematikçi (Varşova 1902 - Berkeley 1983). Varşova'da ders verdi ve 1939’dan başlayarak ABD'ye yerleşti. The Concept of Truth in the Languages of Deductive Sciences (Tümdengelimli bilimlerin dillerindeki gerçek kavramı) [1933] adlı metniyle, çağdaş mantıksal anlambilimi kurdu. Bu metinde dil ve üstdil arasında bir ayrım zorunluluğunu ortaya koydu ve biçimsel bir sisteme göre gerçek kavramını tanımladı. Daha yeni çalışmalarında, özellikle temel geometri kuramı gibi bazı matematik kuramlarındaki karar sorunuyla ilgilendi. Yapıtları: intro- duction to Logic (Mantığa giriş), 1936; A Decision Metod for Elementary Algebra and Geometry (Temel cebir ve geometri için karar yöntemi), 1948; Cardinal Algebra (Kardinal cebir), 1949 ve Logic, Seman- tics, Metamathematics (Mantık, anlambi- lim, üstmatematik), 1956.