수리논리학은 수학과 철학을 잇는 징검다리다. 그리고 그 핵심에 타르스키가 정립한 모델론이 있다. 타르스키는 ‘거짓말쟁이 역설’을 비롯한 의미론적 역설들을 농담이나 궤변으로 취급하지 않고 치밀하게 분석했다. 진리 개념과 논리적 귀결 개념을 새롭게 정의하며 모델론을 수학의 독립된 분야로 우뚝 세웠다. 이 책은 타르스키가 남긴 불후의 업적들을 열 가지 키워드로 살핀다. 타르스키를 통해 논리학, 수학, 논리학이 지나온 길과 앞으로 나아갈 길을 조망해 보자.

연세대학교 철학과를 졸업하고 뉴욕주립대학교(버펄로) 대학원에서 철학 박사 학위를 받았다. 지난 사반세기 동안 한국과학기술원에서 교수 생활을 했고, 현재는 명예교수로 있다. 한국논리학회 회장, 한국분석철학회 회장, 한국바둑학회 회장을 지냈다. 최근 저서로 Philosophy’s Loss of Logic to Mathematics(2018), Abduction in Context(2016)가 있고, 국내외 유수 학술지에 다수의 논문을 발표했다. 최근 번역한 책으로는 『아리스토텔레스의 초기 논리학』(2023), 『아리스토텔레스주의 실재론적 수학철학: 양과 구조의 과학으로서의 수학』(2022)이 있다.

타르스키 문제

01 직관주의적 형식주의
02 거짓말쟁이 역설
03 타르스키와 괴델
04 타르스키-노이라트 논쟁
05 정의 가능성
06 논리적 귀결
07 분석성
08 유명론
09 논리상항
10 타르스키의 정체