Войти
| Йохан ван Бентем | |
|---|---|
 | |
| Родился | ( 1949-06-12) 12 июня 1949 г. (71 год) |
| Alma mater | Амстердамский университет |
| Научная карьера | |
| Научные консультанты | Мартин Лёб, Стивен К. Томасон |
| Докторанты | Маартен де Рийке, Йерун Гренендейк, Мартин Стохоф, Мишель ван Ламбальген |
| 1-й директор ILLC, Амстердам | |
| В должности . 1991–1998 | |
| Преемник | Мартин Стохоф |
Йоханнес Францискус Авраам Карел (Йохан ) ван Бентем (родился 12 июня 1949 года в Рейсвейке ) - профессор () логики в Амстердамском университете в Институте логики, языка и и профессор вычислительной техники философии в Стэнфордском университете (в CSLI ). Он был награжден Spinozapremie в 1996 году и избран иностранным членом Американской академии искусств и наук в 2015 году.
Ван Бентем изучал физику (бакалавр наук 1969), философию (MA 1972) и математика (M.Sc. 1973) в Амстердамском университете и получил докторскую степень в том же университет под руководством Мартина Лёба в 1977 году. Прежде чем стать профессором университета в 2003 году, он занимал должности в Амстердамском университете (1973–1977), в университете Гронингена (1977–1977 гг.) 1986), и как профессор Амстердамского университета (1986–2003).
В 1992 году он был избран членом Королевской Нидерландской академии искусств и наук.
Ван Бентем известен своими исследованиями в области модальной логики. Результатом этого исследования стало утверждение, что модальная логика высказываний является фрагментом логики первого порядка, который инвариантен при бисимуляции.
. Он также был активен в областях философии. науки, логические структуры на естественном языке (обобщенные кванторы, категориальная грамматика, субструктурная теория доказательства ), динамическая логика и и приложения от логики к теории игр, а также приложения от теории игр к логике (семантика игр ). Ван Бентем является членом группы, публикующейся коллективно под псевдонимом L. Т. Ф. Гамут. Он также преподавал в Китае. Он приложил усилия для поощрения и организации международного сотрудничества между китайскими и западными логиками.
Профессор ван Бентем ушел из Института логики, языка и вычислений в сентябре 2014 года.
.
