TARSKİ

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 Langua- ges 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ı: introduction to Logic (Mantığa giriş), 1936; A Decision Melod 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, anlambilim, üstmatematik), 1956.