Йохан ван Бентем (логик)

Йохан ван Бентем
Рожденный	( 1949-06-12 ) 12 июня 1949 г.
Альма-матер	Амстердамский университет
Научная карьера
Научные консультанты	Мартин Лёб , Стивен К. Томасон
Докторанты	Йерун Гроенендейк Эдит Хемаспаандра Михель ван Ламбальген Мартен де Рийке Мартин Стокхоф
1-й директор ILLC , Амстердам
В офисе 1991–1998
Преемник	Мартин Стокхоф

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

Биография

Ван Бентем изучал физику ( бакалавр наук , 1969 г.), философию ( магистр наук , 1972 г.) и математику ( магистр наук , 1973 г.) в Амстердамском университете и получил докторскую степень в том же университете под руководством Мартина Лёба в 1977 году. Прежде чем стать университетом В 2003 году он был профессором, занимал должности в Амстердамском университете (1973–1977), Гронингенском университете (1977–1986) и профессором Амстердамского университета (1986–2003).

В 1992 году он был избран членом Королевской Нидерландской академии искусств и наук .

Ван Бентем известен своими исследованиями в области модальной логики . Результатом этого исследования стала теорема Ван Бентема , которая утверждает, что модальная логика высказываний — это фрагмент логики первого порядка , инвариантный относительно бисимуляции .

Он также активно работал в области философии науки , логических структур на естественном языке ( обобщенные кванторы , категориальная грамматика , теория субструктурных доказательств ), динамической логики и логики обновления , а также приложений логики к теории игр , а также приложений игр. от теории к логике ( семантика игр ). Ван Бентем — член группы, коллективно публикующейся под псевдонимом L. TF Gamut . Он также преподавал в Китае. Он приложил усилия для поощрения и организации международного сотрудничества между китайскими и западными логиками.

Профессор ван Бентем ушел из Института логики, языка и вычислений в сентябре 2014 года.

Публикации

• Логика в действии , Северная Голландия, 1991 год.
• Справочник по логике и языку , под ред. с Алисой тер Мейлен , Elsevier / MIT Press , 1997 г.
• Модальная логика: семантическая перспектива , с Патриком Блэкберном
• Модальная логика для непредвзятости , Публикации CSLI, 2010 г.
• Логика в играх , MIT Press, январь 2014 г.

Внешние ссылки

• СМИ, связанные с Йоханом ван Бентемом, на Викискладе?
• Персональная домашняя страница Ван Бентема