Alfred Tarski
(미국논리학자 1902~1983)
미국 논리학자. 폴란드 바르샤바 출생. 바르샤바대학에서 레스니에프스키·J. 루카셰비치로부터 배웠다. 1945년 미국에 귀화, 오랫동안 캘리포니아대학 교수를 지냈다. 모델이론 창시자로 미국으로 건너간 뒤 이 방면의 제자를 많이 길러냈다. 1931년 발표한 《형식적 언어에서의 진리개념》에서 예로부터 유명하였던 ＜거짓말장이 패러독스＞를 다루어, 아리스토텔레스적인 ＜표현과 사태의 일치＞라는 진리개념을 사용하는 한 메타(高次)언어와 대상(對象)언어를 구별하지 못하고는 이 패러독스를 해결할 수 없다는 것을 나타냈다. 결정가능성의 문제, 집합론의 공리(公理)와 관련된 문제, 특히 도달불능수(到達不能數)문제, 대수학을 논리학에 응용하는 문제 등을 다루어 논문 형태로 업적을 남긴 문제들이 많다. 저서로 《논리·의미론·메타수학(1956)》 등이 있다. ............