Йоханнес Франциск Абрахам Карел ( Йохан ) ван Бентем (родился 12 июня 1949 года в Рейсвейке ) — университетский профессор ( universiteitshoogleraar ) логики Амстердамского университета в Институте логики, языка и вычислений и профессор философии в Стэнфордском университете. (в ЦСЛИ ). Он был удостоен премии Spinozapremie в 1996 году [1] и избран иностранным научным сотрудником Американской академии искусств и наук в 2015 году.
Ван Бентем изучал физику ( бакалавр наук, 1969), философию ( магистр наук, 1972) и математику ( магистр наук , 1973) в Амстердамском университете и получил докторскую степень в том же университете под руководством Мартина Лёба в 1977 году. До того, как стать профессором университета в 2003 году, он занимал должности в Амстердамском университете (1973–1977), в Гронингенском университете (1977–1986) и был профессором Амстердамского университета (1986–2003).
В 1992 году он был избран членом Королевской Нидерландской академии искусств и наук . [2]
Ван Бентем известен своими исследованиями в области модальной логики . Результатом этих исследований стала теорема Ван Бентема, которая утверждает, что пропозициональная модальная логика является фрагментом логики первого порядка , инвариантным относительно бисимуляции .
Он также активно работал в области философии науки , логических структур в естественном языке ( обобщенные квантификаторы , категориальная грамматика , теория субструктурного доказательства ), динамической логики и логики обновления , а также приложений логики к теории игр , а также приложений теории игр к логике ( семантика игр ). Ван Бентем является членом группы, коллективно публикующей работы под псевдонимом L. TF Gamut . Он также преподавал в Китае. Он приложил усилия для поощрения и организации международного сотрудничества между китайскими и западными логиками.
Профессор ван Бентем ушел из Института логики, языка и вычислений в сентябре 2014 года.
СМИ, связанные с Йоханом ван Бентемом, на Викискладе?