한스 캄프: 일상 대화 속에 숨겨진 논리
고전 논리학은 문장 하나를 다루는 데는 탁월합니다. 하지만 항상 두 번째 문장, 즉 “그”나 “그것”이라는 단어가 들어있어 앞 문장에 주의를 기울였어야 하는 문장을 다루는 데는 어려움을 겪어왔습니다. 1981년, 런던에서 가르치던 한 네덜란드 논리학자가 의미의 단위는 문장이 아니라 담화이며, 언어를 이해한다는 것은 표상을 구축하고 이를 지속적으로 업데이트하는 것이라는 주장을 담은 논문을 발표했습니다. 이후 형식 의미론은 줄곧 그의 영향 아래 있었습니다. 캄프 자신은 스스로를 “진정한 언어학자도, 진정한 철학자도, 진정한 논리학자도 아니다”라고 묘사했습니다.
텍설, 라이덴, 암스테르담
요한 안토니 빌렘 캄프(Johan Anthony Willem Kamp)는 1940년 9월 5일 네덜란드 노스홀란드 해안 북단의 텍설 섬(Texel)에 있는 덴 부르흐(Den Burg)에서 태어났습니다. 그는 1952년부터 1958년까지 알크마르(Alkmaar)의 무르멜리우스 김나지움(Murmellius Gymnasium)을 다녔고, 이후 라이덴 대학교(University of Leiden)에서 1958년부터 1961년까지 물리학과 수학을 공부했습니다. 그 후의 행보는 그의 경력 패턴을 결정지었습니다. 그는 논리학에 매료되었고, 1961년부터 1965년까지 암스테르담 대학교(University of Amsterdam)로 옮겨 논리학, 수학 기초론, 경험 과학 철학 학위(doctorandus)를 취득했습니다. 그는 암스테르담 학파의 에. 베. 베스(E. W. Beth)를 자신의 사고에 가장 큰 영향을 준 세 사람 중 한 명으로 꼽았습니다.
몬태규의 제자
1965년 그는 UCLA로 떠났고, 이 선택은 결정적이었습니다. 그의 지도 교수는 리처드 몬태규(Richard Montague)였는데, 당시 몬태규는 자연 언어를 논리 언어와 똑같은 모델 이론적 방식으로 다룰 수 있는 형식 언어로 간주하는 프로그램을 구축하고 있었습니다. 그의 박사 학위 위원회에는 첸 충 창(Chen Chung Chang), 데이비드 카플란(David Kaplan), 이아니스 모스코바키스(Yiannis Moschovakis), 조던 하워드 소벨(Jordan Howard Sobel)이 포함되어 있었는데, 이는 어떤 학생이라도 마주할 수 있는 가장 집중적인 논리학자 그룹이었습니다. 그는 1968년 《시제 논리와 선형 순서 이론》(Tense Logic and the Theory of Linear Order)이라는 논문으로 철학 박사 학위를 취득하며 함수 완비성 결과를 증명했습니다. 즉, 연속적인 선형 순서 위에서 시제 연산자인 'since'(~이래로)와 'until'(~까지)만으로 다른 모든 연산자를 정의하기에 충분하다는 것입니다. 몬태규와 베스 외에도, 그는 현대 시제 논리의 창시자인 아서 프라이어(Arthur Prior)를 교리보다는 방법론적 엄격함과 지적 정직함의 측면에서 형성적 영향을 준 인물로 꼽습니다.
지금
그의 1971년 논문 《'지금'의 형식적 속성》(Formal Properties of 'Now')은 작은 고전입니다. '지금'(now)이라는 단어는 표준 모델 이론 의미론에 골칫거리입니다. 그 지시 대상이 발화 순간에 따라 달라지기 때문인데, 평가 시간을 변경하는 연산자 내부에 내포될 수도 있어서 두 지표가 분리되기도 합니다. 캄프의 해결책인 이중 인덱싱(두 개의 시간 좌표에 대해 동시에 표현식을 평가하는 방식)은 지시사와 양상 의미론의 표준 도구가 되었습니다.
그 무렵 그는 끊임없이 이동했습니다. 1968년 UCLA 강사, 1968~1970년 코넬 대학교 조교수, 1970~1971년 암스테르담, 이후 1971~1984년까지 13년간 유니버시티 칼리지 런던(University College London)과 베드포드 칼리지(Bedford College)에서 강의했으며, 1983년 매사추세츠 대학교 애머스트(University of Massachusetts, Amherst) 교수, 1984~1988년 텍사스 대학교 오스틴(University of Texas at Austin) 교수를 역임했습니다.
담화로의 전환
1981년에 발표된 《진리와 의미 표상 이론》(A Theory of Truth and Semantic Representation)은 담화 표상 이론(DRT)을 도입했습니다. 그 핵심은 역전입니다. 몬태규 의미론은 문장 단위로 진리 조건을 할당하지만, DRT는 중간 표상 단계인 '담화 표상 구조'를 개입시킵니다. 이는 텍스트가 진행됨에 따라 청자가 점진적으로 구성하며, 논의되는 대상에 대한 표식과 조건을 도입한 뒤 모델에 비추어 해석하는 방식입니다. 수십 년간 합성 의미론을 곤란하게 했던 문장 경계를 넘는 대용어 사용이 자연스러워졌습니다. 두 번째 문장의 대명사가 첫 번째 문장이 판 위에 올려놓은 표식을 선택하는 것입니다.
그 결과 의미는 역동적이게 됩니다. 문장은 더 이상 정적인 진리 조건의 묶음이 아니라 표상을 업데이트하라는 지시이며, 문맥은 고정된 배경이 아니라 담화 자체가 끊임없이 구축해 나가는 무언가가 되었습니다. 캄프는 같은 해에 모호성과 소리테스 역설(sorites)에 관한 《더미의 역설》(The Paradox of the Heap)을 발표했습니다. 1981년에 발표된 이 두 논문은 그가 형식적 처리가 가장 어려운 곳에 매료된 논리학자임을 보여줍니다.
담화에서 논리로
1988년 그는 슈투트가르트 대학교(University of Stuttgart) 자연어 처리 연구소의 형식 논리 및 언어 철학 교수로 부임하여 정착했습니다. 1993년 그와 우베 레일레(Uwe Reyle)는 《담화에서 논리로》(From Discourse to Logic)를 출간했습니다. 이는 DRT를 인상적인 논문 수준에서 계산 언어학자들이 구현할 수 있을 만큼 충분한 커버리지를 갖춘 작업 시스템으로 변모시킨 완성된 저작입니다. 그는 이 이론을 중심으로 1989~1995년 유럽 Dyana 이니셔티브, 1989~2000년 독일 특수 연구 센터 SFB 340, 1995~1997년 FraCaS, 2000~2002년 DFG 논리 그룹 등 대규모 공동 프로젝트 시리즈를 운영했으며, 이것이 바로 한 프레임워크가 한 세대의 사용자를 확보하는 방식입니다.
연구 범위는 계속 넓어졌습니다. 시간 지시, 전제, 문맥 의존성, 원형과 합성성(바바라 파티(Barbara Partee)와 공동 연구, 1995년), 그리고 비문자적 언어인 은유와 환유까지 확장되었습니다. 이는 형식 의미론자에게는 드문 영역입니다. 그의 장 니코 강연(Jean Nicod Lectures)은 MIT 출판부에서 《사물에 대해 생각하고 말하기》(Thinking and Talking about Things)로 출간되었고, 선정된 저작들은 《의미와 해석의 역동성》(Meaning and the Dynamics of Interpretation)으로 묶여 나왔습니다.
한스가 천재라 불리는 이유
이 주장은 하나의 구조적 통찰력과 그것을 구현하기 위한 규율에 근거합니다. 캄프는 문장이 잘못된 단위임을 간파했습니다. 사람들이 실제로 어떻게 연결된 텍스트를 이해하는지 설명하려면 담화가 성장함에 따라 함께 커지는 중간 표상이 필요하며, 이 표상은 심리학적 차원에서 단순히 언급되는 것이 아니라 엄격한 모델 이론적 해석을 부여받을 수 있어야 한다는 것을 알았습니다. 두 측면을 모두 달성하는 것이 어려운 부분입니다. 담화와 문맥에 대해 직관을 가진 사람은 많았지만, 그의 업적은 그것을 증명 가능하고 컴퓨터로 구현할 수 있을 만큼 형식화하면서도 청자가 하는 일의 모델로서 인식 가능하게 유지하는 무언가를 구축했다는 데 있습니다.
이를 뒷받침하는 자질은 범위입니다. 시제 논리의 함수 완비성 증명, 소리테스 역설 분석, 전제 이론, 은유에 대한 작업적 설명을 한 경력 안에 담은 사람은 거의 없습니다. 캄프가 스스로를 언어학자도, 철학자도, 논리학자도 아니라고 묘사한 것은 세 분야 모두에서 어떤 분야에도 길들여지지 않음으로써 진정으로 유용했던 사람의 정확한 보고입니다.
반론 또한 분명히 밝힐 가치가 있습니다. 2024년 롤프 쇼크상(Rolf Schock Prize)은 이레네 하임(Irene Heim)과 공동 수상했는데, 이는 한 명 이상의 사람이 동일한 결론에 도달할 때 상이 공유된다는 것을 의미합니다. 1980년경 의미론의 역동적 전환은 시대적 흐름이었으며, DRT는 유일한 해결책이 아니라 여러 해결책 중 하나일 뿐입니다. 또한 표기법이 복잡하여 경쟁적인 동적 프레임워크가 시장 점유율을 가져가기도 했습니다. 캄프의 명성은 기술적 학문 내부적인 것에 국한되어 있습니다. 대중적인 프로필도, 인기 있는 저서도, 일반 문화로 퍼져 나간 아이디어도 없습니다. 형식 의미론 내부에서 그의 입지는 의심의 여지가 없지만, 외부에서는 거의 아무도 그를 들어본 적이 없습니다.
유산
영예는 꾸준히 쌓였습니다. 1996년 장 니코상(Jean Nicod Prize), 1997년 네덜란드 왕립 예술 과학 아카데미(Royal Netherlands Academy of Arts and Sciences) 명예 회원, 명예 박사 학위, 2015년 미국 예술 과학 아카데미(American Academy of Arts and Sciences) 펠로우, 2024년 롤프 쇼크 논리 및 철학상 수상이 그것입니다. 더 깊은 유산은 질문의 형태가 변했다는 점입니다. DRT 이전의 의미론은 '문장이 무엇을 의미하는가?'를 물었지만, 이후의 표준적인 질문은 '문장이 문맥에 어떤 작용을 하는가?', 즉 '진행 중인 해석 상태를 어떻게 업데이트하는가?'가 되었습니다. 이론 언어학이나 계산 언어 처리에서 문장을 넘어 담화 지시어를 추적하는 모든 시스템은, 우리가 어떻게 “그”가 누구인지 아는지에 대해 캄프가 1981년에 쓴 논문에서 시작된 전통 속에서 작업하고 있습니다.
