Введение

Голландский профессор, философ и логик Иоганн Франциск Абрахам Карел (Йохан) ван Бентхем (родился 12 июня 1949 года в Рийсвейке) — университетский профессор (nl) логики в Амстердамском университете в Институте логики, языка и вычислений и профессор философии в Стэнфордском университете (в CSLI). В 1996 году он был удостоен премии «Spinozapremie», а в 2015 году избран иностранным членом Американской академии искусств и наук.

Биография

Ван Бентем изучал физику (B. Sc. 1969), философию (M. A. 1972) и математику (M. Sc. 1973) в Амстердамском университете и получил докторскую степень в том же университете под руководством Мартина Лёба в 1977 году. До того, как стать университетским профессором в 2003 году, он занимал должности в Амстердамском университете (1973–1977), в Гронингенском университете (1977–1986) и был профессором в Амстердамском университете (1986–2003). В 1992 году он был избран членом Королевской нидерландской академии искусств и наук. Ван Бентем известен своими исследованиями в области модальной логики. Эти исследования привели к теореме Ван Бентема, утверждающей, что пропозициональная модальная логика является фрагментом логики первого порядка, инвариантным относительно бисимуляции. Он также активно работал в областях философии науки, логических структур естественного языка (обобщённые кванторы, категориальная грамматика, субструктурная теория доказательств), динамической логики и логики обновления, а также в применении логики к теории игр и теории игр к логике (игровая семантика). Ван Бентем является членом группы, коллективно публикующейся под псевдонимом L. T. F. Gamut. Он также преподавал в Китае и прилагал усилия для стимулирования и организации международного сотрудничества между китайскими и западными логиками. Профессор ван Бентем вышел на пенсию из Института логики, языка и вычислений в сентябре 2014 года.