알프레트 타르스키

박우석

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

타르스키문제

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

‘모델론’은어떻게수학을구원했는가
현대수리논리학의메카를이룩한작은거인

수리논리학은논리학과수학그리고철학이만나는교차점이다.그러나수리논리학자들의낙관과는달리수리논리학은수학의세계에안착하지못했다.수학의위기를극복하려던수학기초론은막다른골목에도달했고,과학과철학의공조를통해통일된과학의이상을지향하던논리실증주의는딜레마를맞닥뜨렸다.알프레트타르스키는이러한상황을타개하기위해온몸을던져싸웠다.진리개념과논리적귀결개념을새롭게정의하고,현대수리논리학의핵심분야인모델론을정립해수학의독립된분야로우뚝세웠다.
이책은집합론,대수학,분석철학등여러학문분야에지대한영향을미친타르스키의업적을열가지키워드로살핀다.‘거짓말쟁이역설’의해결방안,타르스키의정리와쿠르트괴델의불완전성정리간연관성,타르스키수리논리학의핵심을이루는‘정의가능성’과‘논리적귀결’개념정의등을폭넓게조망할수있다.위대한수학적철학자,철학적수학자그리고논리학자였던타르스키를만나보자.

알프레트타르스키(AlfredTarski,1901∼1983)
쿠르트괴델에버금가는20세기최고의논리학자이자수리논리학의핵심인모델론을정립하고발전시킨뛰어난수학자다.진리개념의정의와논리적귀결개념의정의를통해현대분석철학의역사에지대한영향을미친철학자이기도하다.논리학과수학그리고철학이교차하는지점에서작업하며집합론,모델론,대수학등에불후의업적을남겼다.그중괄목할만한것으로바나흐-타르스키역설,정의가능성이론,대수학과기하학의완전성과결정불가능성연구등을꼽을수있다.1957년미국캘리포니아대학교버클리캠퍼스에세운논리학과과학방법론대학원프로그램은논리학,수학그리고철학의밀접한공조속에서그의정신을이어가고있다.