Johan van Benthem (logik) - Johan van Benthem (logician)

Johan van Benthem
JohanvanBenthem1996.jpg
narozený (1949-06-12) 12. června 1949 (věk 71)
Alma materUniversity of Amsterdam
Vědecká kariéra
Akademičtí poradciMartin Löb, Steven K. Thomason
DoktorandiMaarten de Rijke, Jeroen Groenendijk, Martin Stokhof, Michiel van Lambalgen
První ředitel ILLC, Amsterdam
V kanceláři
1991–1998
UspělMartin Stokhof

Johannes Franciscus Abraham Karel (Johan) van Benthem (narozen 12. června 1949 v Rijswijk ) je univerzitní profesor (universiteitshoogleraar ) z logika na University of Amsterdam na Institute for Logic, Language and Computation a profesor z filozofie na Stanfordská Univerzita (na CSLI ). Byl oceněn Spinozapremie v roce 1996[1] a zvolen zahraničním členem Americká akademie umění a věd v roce 2015.

Životopis

Van Benthem studoval fyzika (B.Sc. 1969), filozofie (M.A. 1972) a matematika (M.Sc. 1973) na univerzitě v Amsterdamu a získal a PhD ze stejné univerzity pod dohledem Martin Löb v roce 1977. Než se stal univerzitním profesorem v roce 2003, byl jmenován na univerzitě v Amsterdamu (1973–1977) na University of Groningen (1977–1986) a jako a profesor na univerzitě v Amsterdamu (1986–2003).

V roce 1992 byl zvolen členem Nizozemská královská akademie umění a věd.[2]

Van Benthem je známý svým výzkumem v oblasti modální logika. Výsledkem tohoto výzkumu je Van Benthemova věta, který uvádí, že výroková modální logika je fragmentem logika prvního řádu to je neměnné pod bisimulace.

Působil také v oblastech filozofie vědy, logické struktury v přirozeném jazyce (zobecněné kvantifikátory, kategoriální gramatika, substrukturní teorie důkazů ), dynamická logika a logika aktualizace a aplikace logika na herní teorie, stejně jako aplikace herní teorie na logika (herní sémantika ). Van Benthem je členem skupiny kolektivně vydávající pod pseudonym L. T. F. Gamut. Učil také v Číně. Vynaložil úsilí na podporu a organizaci mezinárodní spolupráce mezi čínskými a západními logiky.

Profesor van Benthem odešel z Institute for Logic, Language and Computation v září 2014.

Publikace

Reference

  1. ^ „Cena NWO Spinoza 1996“. Nizozemská organizace pro vědecký výzkum. 11. září 2014. Citováno 30. ledna 2016.
  2. ^ „Johan van Benthem“. Nizozemská královská akademie umění a věd. Citováno 26. července 2015.

externí odkazy