ハンス・カンプ：日常会話に潜む論理

古典的な論理学は、文を扱うことには長けている。しかし、常に第2の文、つまり「彼」や「それ」を指し、聞き手が文脈を追っていることを前提とする文には苦労してきた。1981年、ロンドンで教えていたオランダ人の論理学者が、意味の単位は文ではなく談話であり、言語を理解することは表現を構築し、それを常に更新し続けることであると論じる論文を発表した。それ以来、形式意味論はその影響下で発展してきた。カンプ自身の自己評価は「私は言語学者ではない」「哲学者でもない」「論理学者でもない」というものだ。

テクセル島、ライデン、アムステルダム

ヨハン・アンソニー・ウィレム・カンプ（Johan Anthony Willem Kamp）は1940年9月5日、オランダ北ホラント州の沖合にあるテクセル島のデン・ブルグで生まれた。1952年から1958年までアルクマールのムルメリウス・ギムナジウム（Murmellius Gymnasium）に通い、その後ライデン大学で1958年から1961年まで物理学と数学を学んだ。その後のキャリアを決定づけたのは、論理学への傾倒であった。1961年から1965年までアムステルダム大学へ移り、論理学、数学基礎論、経験科学の哲学の博士課程（doctorandus）を修了した。彼はアムステルダム学派のE. W. ベス（E. W. Beth）を、自身の思考に最も強い影響を与えた3人のうちの1人と述べている。

モンタギューの学生

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）」は、標準的なモデル理論的意味論にとって悩みの種である。その参照対象は発話時点に依存するが、評価時間を変化させる演算子の内部に埋め込まれることもあり、2つの指標が乖離する。カンプの解決策である二重指標付与（double indexing）——式を同時に2つの時間座標に対して評価する——は、指標詞と様態の意味論における標準装備となった。

当時、彼は常に移動していた。1968年にUCLAの講師、1968年から1970年までコーネル大学の助教授、1970年から1971年はアムステルダム、その後1971年から1984年までユニバーシティ・カレッジ・ロンドンとベッドフォード・カレッジで13年間講義を行い、1983年にマサチューセッツ大学アマースト校の教授職、1984年から1988年まではテキサス大学オースティン校の教授職を務めた。

談話への転換

1981年に発表された「真理と意味論的表現の理論（A Theory of Truth and Semantic Representation）」は、談話表示理論（DRT）を導入した。その核心的な動きは逆転にある。モンタギュー意味論は文ごとに真理条件を割り当てるが、DRTは談話が進むにつれて聞き手が段階的に構築する「談話表示構造」という表現レベルを介在させる。そこには、語られている対象のマーカーとそれらに対する条件が導入され、モデルに対して解釈される。数十年にわたって合成意味論を困らせていた文境界を越えた照応関係が、自然なものとなった。第2文の代名詞は、第1文がボードに配置したマーカーを拾うのである。

その結果、意味は動的になる。文はもはや真理条件の静的なパッケージではなく、表現を更新するための指示であり、文脈は固定された背景ではなく、談話そのものが継続的に構築するものとなる。カンプは同年、曖昧性とソリテス・パラドックスに関する「ヒープのパラドックス（The Paradox of the Heap）」を発表し、これら1981年の2つの論文は、彼が形式的な扱いが最も困難な領域に引き寄せられる論理学者であることを示している。

談話から論理へ

1988年、シュトゥットガルト大学の自然言語処理研究所の形式論理学および言語哲学の教授として移籍し、そこに留まった。1993年、彼とウーヴェ・ライレ（Uwe Reyle）は、『談話から論理へ（From Discourse to Logic）』を出版した。これは、DRTを印象的な論文から、計算言語学者が実装できる十分なカバレッジを持つ実用システムへと変えた全編的な扱いである。その周囲で、彼は一連の大規模共同プロジェクトを運営した。1989年から1995年の欧州Dyanaイニシアチブ、1989年から2000年の計算言語学的方法に関するドイツ特別研究センターSFB 340、1995年から1997年のFraCaS、そして2000年から2002年のDFG論理グループなどであり、こうしてフレームワークはユーザーの世代を獲得していった。

研究は、時間的参照、前提、文脈依存性、プロトタイプと合成性（バーバラ・パーティ（Barbara Partee）と共著、1995年）、そして形式意味論者には珍しい領域である非リテラル言語（メタファーと換喩）へと広がり続けた。彼のジャン・ニコ講義はMITプレスから『Thinking and Talking about Things』として出版され、選集として『Meaning and the Dynamics of Interpretation』が刊行された。

なぜハンスは天才と呼ばれるのか

その主張は、1つの構造的な洞察と、それを機能させるための規律に基づいている。カンプは、文は誤った単位であると見抜いた。人々が実際に繋がったテキストをどのように理解するかを説明したいのであれば、談話の成長とともに成長する中間表現が必要であり、その表現は心理学として片付けるのではなく、厳密なモデル理論的解釈を与えることができると確信した。両方を手に入れることが難しい点である。談話と文脈について直感を持つ人は多かったが、彼の成果は、論理的な証明が可能であり、コンピュータに実装でき、かつ聞き手が行うことのモデルとして認識可能な形式を構築した点にある。

もう一つの質は幅の広さである。時制論理における機能的完全性の証明、ソリテス・パラドックスの分析、前提理論、メタファーの実用的な説明を1つのキャリアで成し遂げた人物は非常に少なく、カンプの自己評価——言語学者、哲学者、論理学者ではない——は、どの分野にも飼いならされることを拒むことで、3つの分野すべてで真に有益な貢献をした人物の正確な記録である。

反対意見も明確に述べる価値がある。2024年のロルフ・ショック賞は、イレーネ・ハイム（Irene Heim）と共同で授与された。賞は複数の人物が到達したときに共有される。1980年頃には意味論の動的転換は空気中に漂っており、DRTは唯一の解ではなく、いくつかある解の1つに過ぎない。また、DRTは表記が重く、競合する動的フレームワークが市場シェアを奪っている。そしてカンプの評判は技術的な学問分野の内部に限られており、一般社会向けのプロファイルや大衆向けの書籍もなく、一般的な文化にまで浸透したアイデアもない。形式意味論の分野内では彼の地位はほぼ疑問の余地がないが、それ以外の場所では、彼を知る者はほとんどいない。

遺産

名誉は着実に積み重なっていった。1996年のジャン・ニコ賞、1997年のオランダ王立芸術科学アカデミーの客員会員、名誉博士号、2015年のアメリカ芸術科学アカデミー会員、そして2024年のロルフ・ショック賞（論理学・哲学部門）である。より深い遺産は、問いの形が変わったことである。DRT以前は、意味論は「文が何を意味するか」を問い、DRT以降の標準的な問いは「文が文脈に対して何をするか」——進行中の解釈の状態をどのように更新するか——である。理論言語学や計算言語処理において、文を越えて談話指示対象を追跡するあらゆるシステムは、私たちが誰を「彼」と呼ぶかを知る方法について、カンプが1981年に書いた論文から始まる伝統の中で働いているのである。