[신간] 수리논리학의 왕국을 세운 작은 거인, 컴북스이론총서 『알프레트 타르스키』
- ‘모델론’은 어떻게 수학을 구원했는가
- 현대 수리논리학의 메카를 이룩한 작은 거인
2025-10-08 김종혁 기자
매일일보 = 김종혁 기자 | 수리논리학은 논리학과 수학 그리고 철학이 만나는 교차점이다. 그러나 수리논리학자들의 낙관과는 달리 수리논리학은 수학의 세계에 안착하지 못했다. 수학의 위기를 극복하려던 수학기초론은 막다른 골목에 도달했고, 과학과 철학의 공조를 통해 통일된 과학의 이상을 지향하던 논리실증주의는 딜레마를 맞닥뜨렸다.
알프레트 타르스키는 이러한 상황을 타개하기 위해 온몸을 던져 싸웠다. 진리 개념과 논리적 귀결 개념을 새롭게 정의하고, 현대 수리논리학의 핵심 분야인 모델론을 정립해 수학의 독립된 분야로 우뚝 세웠다.
이 책은 집합론, 대수학, 분석철학 등 여러 학문 분야에 지대한 영향을 미친 타르스키의 업적을 열 가지 키워드로 살핀다.
‘거짓말쟁이 역설’의 해결 방안, 타르스키의 정리와 쿠르트 괴델의 불완전성 정리 간 연관성, 타르스키 수리논리학의 핵심을 이루는 ‘정의 가능성’과 ‘논리적 귀결’ 개념 정의 등을 폭넓게 조망할 수 있다. 위대한 수학적 철학자, 철학적 수학자 그리고 논리학자였던 타르스키를 만나 보자.
알프레트 타르스키(Alfred Tarski, 1901∼1983)는 쿠르트 괴델에 버금가는 20세기 최고의 논리학자이자 수리논리학의 핵심인 모델론을 정립하고 발전시킨 뛰어난 수학자다. 진리 개념의 정의와 논리적 귀결 개념의 정의를 통해 현대 분석철학의 역사에 지대한 영향을 미친 철학자이기도 하다. 논리학과 수학 그리고 철학이 교차하는 지점에서 작업하며 집합론, 모델론, 대수학 등에 불후의 업적을 남겼다. 그중 괄목할 만한 것으로 바나흐-타르스키 역설, 정의 가능성 이론, 대수학과 기하학의 완전성과 결정 불가능성 연구 등을 꼽을 수 있다. 1957년 미국 캘리포니아대학교 버클리캠퍼스에 세운 논리학과 과학방법론 대학원 프로그램은 논리학, 수학 그리고 철학의 밀접한 공조 속에서 그의 정신을 이어 가고 있다.
지은이 박우석은 연세대학교 철학과를 졸업하고 뉴욕주립대학교(버펄로) 대학원에서 철학 박사 학위를 받았다. 지난 사반세기 동안 한국과학기술원에서 교수 생활을 했고, 현재는 명예교수로 있다. 한국논리학회 회장, 한국분석철학회 회장, 한국바둑학회 회장을 지냈다. 최근 저서로 Philosophy’s Loss of Logic to Mathematics(2018), Abduction in Context(2016)가 있고, 국내외 유수 학술지에 다수의 논문을 발표했다. 최근 번역한 책으로는 ≪아리스토텔레스의 초기 논리학≫(2023), ≪아리스토텔레스주의 실재론적 수학철학: 양과 구조의 과학으로서의 수학≫(2022)이 있다.