Johannes Франциск Abraham Карел ( Johan ) ван Benthem (родился 12 июня 1949 в Рейсвейке ) является профессором университета ( universiteitshoogleraar ) из логики в Университете Амстердама в Институте логики, языка и вычислениям и профессор из философии в Стэнфордском университете (в CSLi ). Он был награжден Spinozapremie в 1996 году [1] и избран иностранным членом Американской академии искусств и наук в 2015 году.
Йохан ван Бентем | |
---|---|
Родившийся | 12 июня 1949 г. |
Альма-матер | Амстердамский университет |
Научная карьера | |
Академические консультанты | Мартин Лёб , Стивен К. Томасон |
Докторанты | Маартен де Рийке , Йерун Грюнендейк , Мартин Стохоф , Михиль ван Ламбальген |
1-й директор ILLC, Амстердам | |
В офисе 1991–1998 гг. | |
Преемник | Мартин Стохоф |
биография
Ван Бентем изучал физику ( степень бакалавра 1969 г.), философию ( степень магистра 1972 г.) и математику ( магистр 1973 г.) в Амстердамском университете и получил докторскую степень в том же университете под руководством Мартина Лёба в 1977 г. До того, как стать университетом. Профессор в 2003 году, он занимал должности в Амстердамском университете (1973–1977), в Университете Гронингена (1977–1986) и в качестве профессора Амстердамского университета (1986–2003).
В 1992 году он был избран членом Королевской Нидерландской академии искусств и наук . [2]
Ван Бентем известен своими исследованиями в области модальной логики . Это исследование привело к теореме Ван Бентема , которая утверждает, что модальная логика высказываний является фрагментом логики первого порядка, который инвариантен относительно бисимуляции .
Он также активно работал в области философии науки , логических структур на естественном языке ( обобщенные кванторы , категориальная грамматика , теория субструктурных доказательств ), динамической логики и логики обновления , а также приложений логики в теории игр , а также приложений игр. от теории к логике ( семантика игры ). Ван Бентем является членом группы, публикующейся под псевдонимом L. TF Gamut . Он также преподавал в Китае. Он приложил усилия для поощрения и организации международного сотрудничества между китайскими и западными логиками.
Профессор ван Бентем ушел из Института логики, языка и вычислений в сентябре 2014 года.
Публикации
- Логика в действии , Северная Голландия, 1991 г.
- Справочник по логике и языку , под ред. с Алисой Тер Мёлен , Elsevier / MIT Press , 1997
- Модальная логика: семантическая перспектива , с Патриком Блэкберном
- Модальная логика для открытых умов , Публикации CSLI, 2010 г.
- Logic in Games , MIT Press, январь 2014 г.
Рекомендации
- ^ "Приз NWO Спинозы 1996" . Нидерландская организация научных исследований. 11 сентября 2014 . Проверено 30 января 2016 .
- ^ «Йохан ван Бентем» . Королевская Нидерландская академия искусств и наук . Проверено 26 июля 2015 года .
Внешние ссылки
- СМИ, связанные с Йоханом ван Бентемом, на Викискладе?
- Личная домашняя страница Ван Бентема