Бентем, Йохан ван (логик)
Йо́хан ван Бе́нтем (полное имя — Йоха́ннес Франци́скюс А́брахам Ка́рел ван Бе́нтем, нидерл. Johannes Franciscus Abraham Karel van Benthem; [Нет даты!]) — нидерландский логик, профессор Амстердамского университета, Стэнфордского университета и Гронингенского университета. Известен исследованиями в области модальной логики и формальной лингвистики, в частности категориальной грамматики. Лауреат премии Спинозы (1996).
Биография[править]
В 1992 году ван Бентем стал членом Королевской академии наук и искусств Нидерландов (KNAW). В 1996 году получил премию Спинозы. Значительную часть премии он направил на создание фонда поддержки логики. Является одним из основателей Института логики, языка и вычислений (ILLC) в Амстердаме[1].
Ван Бентем известен исследованиями в области логики и её применения в лингвистике, философии и когнитивистике. Опубликовал десять книг и более 170 статей в научных журналах.
Логика в языке[править]
Ван Бентем рассматривает логику как междисциплинарную науку, связанную с гуманитарными, социальными и естественными дисциплинами. В области формальной лингвистики он оказал влияние на других исследователей своими работами по синтаксису и семантике.
По мнению ван Бентема, логика изучает правильность рассуждений и систематические языковые паттерны. В естественном языке и общении каждый шаг должен быть корректным. Однако люди допускают ошибки в неформальном использовании языка, хотя и обладают способностью к самокоррекции. Подобно тому, как при планировании достижения цели можно изменить подход, найти другое решение и учиться на своих ошибках.
Память также играет роль; мозг имеет ограниченный объём хранения. Логика помогает структурировать мысли. Кроме того, полезно ставить себя на место другого человека. Смена собственного ракурса на чужой помогает понять действия, знания и намерения других людей.
Он также стремится сделать логику доступной для широкой аудитории, публикуя научно-популярные статьи по философии, информатике и теории аргументации.
Международная деятельность[править]
Ван Бентем занимает ряд должностей на международном уровне. Он был инициатором создания Европейской ассоциации логики, языка и информации, членом Королевской академии наук и искусств Нидерландов и членом правления TARK — объединения в области формального искусственного интеллекта.
Сфера его интересов обширна. Стэнфордский университет, с которым сотрудничает ван Бентем, отмечает, что он занимается «общей логикой, в частности логической теорией моделей и модальной логикой, применением логики в философии (эпистемология, философия физики и философия языка)». За заслуги перед нидерландской логикой, в частности за изучение естественного языка, ван Бентем в 1996 году получил премию Спинозы[2].
Эмеритат[править]
В своей прощальной речи в качестве профессора Амстердамского университета в сентябре 2014 года он подчеркнул важность современной логики. Это наука, которая занимается информацией, вычислениями, обучением и интеллектуальным взаимодействием между различными секторами, тем самым формируя основу информационного общества. Ван Бентем остался содиректором Объединённого исследовательского центра логики Университета Цинхуа (Пекин) и Амстердамского университета. Он также продолжил преподавать в Стэнфордском университете.
Публикации[править]
- Logic in action, North Holland, 1991
- Handbook of Logic and Language, ред. с Алис тер Мёлен, Elsevier/MIT Press, 1997
Примечания[править]
- ↑ Home - The Institute for Logic, Language and Computation. uva.nl. Архивировано из первоисточника 16 августа 2023. Проверено 15 июня 2026.
- ↑ Prof. dr. J.F.A.K. (Johan) van Benthem. nwo.nl. Архивировано из первоисточника 27 ноября 2020. Проверено 15 июня 2026.
Ссылки[править]
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Бентем, Йохан ван (логик)», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|