Камп, Ханс
Йохан Антони Виллем «Ханс» Камп (род. 5 сентября 1940) — нидерландский философ и лингвист. Известен как центральная фигура в области формальной семантики и создатель теории репрезентации дискурса (Discourse Representation Theory, DRT) в начале 1980-х годов.
Общие сведения
| Ханс Камп | |
|---|---|
| Johan Anthony Willem “Hans” Kamp | |
| Дата рождения | 5 сентября 1940 (86 лет) |
| Страна | |
| Образование | |
| Род деятельности | философ, лингвист |
| Награды и премии | |
Биография
Камп родился в Ден-Бурге (Тексел, Нидерланды) в 1940 году. Изучал физику и математику в Лейденском университете (бакалавр, 1961). Получил докторскую степень по логике, основаниям математики и философии эмпирических наук в Амстердамском университете (1965). В 1968 году получил степень доктора философии в Калифорнийском университете в Лос-Анджелесе, защитив диссертацию «Tense Logic and the Theory of Linear Order» под руководством Ричарда Монтегю[2]. В состав комиссии входили Чан Чжэньчжун, Алонзо Чёрч, Дэвид Каплан, Яннис Н. Мосховакис и Джордан Ховард Собел[3].
Начал карьеру в качестве доцента философии в Корнеллском университете (1968—1970), затем преподавал математику в Амстердамском университете (1970—1971). Работал лектором и ридером по философии в Лондонском университете (1971—1983), профессором в Массачусетском университете в Амхерсте (1982—1984) и в Техасском университете в Остине (1984—1988). В 1988 году занял кафедру формальной логики и философии языка в Институте обработки естественного языка (IMS) Штутгартского университета, где преподавал до выхода на пенсию в 2008 году. С 2009 по 2017 год был приглашённым профессором лингвистики и философии в Техасском университете в Остине.
Вклад
В 1960-х и 1970-х годах Камп работал над временной логикой под влиянием Артура Прайора. Он ввёл методы двойной индексации для работы с дейктическим временем, что стало ключевым предшественником его динамического подхода к значению.
«Разрешение свободного выбора»
В работе «Free Choice Permission» Камп сформулировал проблему разрешения свободного выбора. Это положило начало исследовательской программе по модальности, дизъюнкции и инференциальному усилению[4].
Теория репрезентации дискурса (DRT)
В эссе «A Theory of Truth and Semantic Representation» (1981) Камп представил DRT — структуру, динамизирующую интерпретацию. Значение предложения обновляет структуру репрезентации дискурса (DRS), которая накапливает референты, условия и контекстную информацию. Это позволяет объяснить межфразовую анафору, ослиные предложения, контекстно-зависимую квантификацию, проекцию пресуппозиций и эффекты фокуса/новой информации. Канонической версией стала книга «From Discourse to Logic» (1993), написанная совместно с Уве Рейле[5]. DRT развивалась независимо и параллельно с работой Ирен Хайм «File Change Semantics and the Familiarity Theory of Definiteness». Это сближение привело к созданию современной динамической семантики.
Обновления и обзоры DRT представлены в последующих главах руководств по формальной семантике[6]. В них систематизированы исчисление DRS первого порядка, анафорическое разрешение, пресуппозиция как аккомодация и расширения для имён собственных, эпистемическая специфичность и информационная структура.
Время, аспект и временная референция
Камп разработал теорию временной референции в текстах с явными временными маркерами и без них[7].
Пропозициональные установки и ментальные состояния
Совместно с Николасом Ашером Камп предложил репрезентационную архитектуру для установок (верить, знать, желать) и самореференции[8]. В последние годы он сформулировал MSDRT (Mental State DRT) — расширение DRT для репрезентаций ментальных состояний и их динамики в понимании дискурса[9].
Расплывчатость и лексическая семантика
В работе «The Paradox of the Heap» (1981) Камп рассмотрел парадокс кучи с позиций логики и семантики. Позже вместе с Галит Сассун он внёс вклад в формальное описание расплывчатости. Совместно с Барбарой Х. Парти отстаивал совместимость теории прототипов и композициональности.
Признание
DRT стала базовой структурой в семантике и прагматике. Она стимулировала развитие динамической логики предикатов[10] и обогатила анализ определённости, имён собственных, квантификации, пресуппозиции и установок.
В 2024 году Шведская королевская академия наук присудила Кампу и Хайм премию Шока за «концепцию и раннее развитие динамической семантики естественного языка»[11].
Камп получил премию Макса Планка (1992, совместно с Парти)[12] и премию Жана Нико (1996)[13].
Является членом-корреспондентом Британской академии (1997), членом Европейской академии (2006) и почётным международным членом Американской ассоциации содействия развитию науки (2015). Удостоен степени почётного доктора Тилбургского университета (1987) и Университета Лотарингии (2014)[12].