Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences.

Property Value
dbo:abstract
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. He studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973–1977), at the University of Groningen (1977–1986), and as a professor at the University of Amsterdam (1986–2003). In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences. Van Benthem is known for his research in the area of modal logic. This research has resulted in Van Benthem's Theorem, which states that modal logic is the fragment of first-order logic that is closed under bisimulation. He has also been active in the fields of philosophy of science, logical structures in natural language (generalized quantifiers, categorial grammar, substructural proof theory), dynamic logic and update logic and applications of logic to game theory as well as applications of game theory to logic (game semantics). Van Benthem is a member of the group collectively publishing under the pseudonym L. T. F. Gamut. He has also taught in China. He made an effort to encourage and organize international collaboration between Chinese and Western logicians. Professor van Benthem retired from the Institute for Logic, Language and Computation in September 2014. (en)
  • Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. (de)
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 juni 1949) is een Nederlands logicus en hoogleraar logica aan de Universiteit van Amsterdam, de Stanford-universiteit en eerder aan de Rijksuniversiteit Groningen. Van Benthem is vooral bekend om zijn werk op het gebied van de modale logica, de formele taalkunde, met name de categoriale grammatica.Hij werd in 1992 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen, KNAW. In 1996 won hij de Spinozaprijs, waarvan hij een groot deel van de premie heeft gebruikt voor het in het leven roepen van een stichting voor de promotie van de logica.Ook is hij één van de oprichters van Institute for Logic, Language and Computation (ILLC), eveneens in Amsterdam. Van Benthem is internationaal bekend door zijn onderzoek op het gebied van de logica en hoe deze discipline ook wordt toegepast in de taalkunde, filosofie en de cognitiewetenschap. Hij heeft tien boeken en ruim 170 tijdschriftartikelen op zijn naam staan. (nl)
  • ヨハネス・フランシスカス・アブラハム・カレル・(ヨハン・)ファン・ベンタム(Johannes Franciscus Abraham Karel (Johan) van Benthem, 1949年6月12日、レイスウェイク - )は、オランダの論理学者。アムステルダム大学論理・言語・計算研究所の論理学ユニバーシティ・プロフェッサー、スタンフォード大学言語・情報研究センター(CSLI)教授。1996年にスピノザ賞を受賞。2015年、アメリカ芸術科学アカデミー国外フェローに選出された。 物理学(学士号、1969年)、哲学(修士号、1972年)、数学(修士号、1973年)をアムステルダム大学で学び、1977年にマルティン・レーブの指導のもと同大学から博士号を修得した。2003年以前の職歴は次の通り。アムステルダム大学(1973年~1977年)、フローニンゲン大学(1977年~1986年)、アムステルダム大学のプロフェッサー(1986年~2003年)。 1992年、オランダ王立芸術科学アカデミーの会員に選出された。 ファン・ベンタムは様相論理の研究で知られている。ファン・ベンタムの定理(Van Benthem's Theorem)によれば、様相論理は双模倣性のもとで閉じた一階述語論理の断片である。 ファン・ベンタムは次の分野を研究している。科学哲学、自然言語の論理構造(一般化量化子、範疇文法、部分構造論理の証明論)、動的論理、更新論理(update logic)、論理学のゲーム理論への応用、ゲーム理論の論理学への応用(ゲーム意味論)。ファン・ベンタムは共同筆名L. T. F. Gamutの一人である。中国でも教鞭をとっている。中国と欧米の論理学者間の国際的協働を推進し組織化しようと尽力している。 ファン・ベンタム教授はアムステルダム大学論理・言語・計算研究所を2014年9月に退職した。 (ja)
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford. Recebeu em 1996 o Prêmio Spinoza. Estudou física (B.Sc. 1969), filosofia (M.A. 1972) e matemática (M.Sc. 1973) na Universidade de Amsterdã, onde obteve um doutorado em 1977, orientado por Martin Hugo Löb. Antes de tornar-se professor em 2003, lecionou na Universidade de Amsterdã (1973–1977), na Universidade de Groningen (1977–1986), e novamente na Universidade de Amsterdã (1986–2003), desta vez como professor. Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo L. T. F. Gamut. (pt)
dbo:birthDate
  • 1949-6-12
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1498176 (xsd:integer)
dbo:wikiPageRevisionID
  • 723317742 (xsd:integer)
dct:description
  • Dutch philosopher (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. (de)
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (born 12 June 1949 in Rijswijk) is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. In 1992 he was elected member of the Royal Netherlands Academy of Arts and Sciences. (en)
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 juni 1949) is een Nederlands logicus en hoogleraar logica aan de Universiteit van Amsterdam, de Stanford-universiteit en eerder aan de Rijksuniversiteit Groningen. Van Benthem is vooral bekend om zijn werk op het gebied van de modale logica, de formele taalkunde, met name de categoriale grammatica.Hij werd in 1992 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen, KNAW. In 1996 won hij de Spinozaprijs, waarvan hij een groot deel van de premie heeft gebruikt voor het in het leven roepen van een stichting voor de promotie van de logica.Ook is hij één van de oprichters van Institute for Logic, Language and Computation (ILLC), eveneens in Amsterdam. (nl)
  • ヨハネス・フランシスカス・アブラハム・カレル・(ヨハン・)ファン・ベンタム(Johannes Franciscus Abraham Karel (Johan) van Benthem, 1949年6月12日、レイスウェイク - )は、オランダの論理学者。アムステルダム大学論理・言語・計算研究所の論理学ユニバーシティ・プロフェッサー、スタンフォード大学言語・情報研究センター(CSLI)教授。1996年にスピノザ賞を受賞。2015年、アメリカ芸術科学アカデミー国外フェローに選出された。 物理学(学士号、1969年)、哲学(修士号、1972年)、数学(修士号、1973年)をアムステルダム大学で学び、1977年にマルティン・レーブの指導のもと同大学から博士号を修得した。2003年以前の職歴は次の通り。アムステルダム大学(1973年~1977年)、フローニンゲン大学(1977年~1986年)、アムステルダム大学のプロフェッサー(1986年~2003年)。 1992年、オランダ王立芸術科学アカデミーの会員に選出された。 ファン・ベンタムは様相論理の研究で知られている。ファン・ベンタムの定理(Van Benthem's Theorem)によれば、様相論理は双模倣性のもとで閉じた一階述語論理の断片である。 ファン・ベンタム教授はアムステルダム大学論理・言語・計算研究所を2014年9月に退職した。 (ja)
  • Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford. Recebeu em 1996 o Prêmio Spinoza. Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo L. T. F. Gamut. (pt)
rdfs:label
  • Johan van Benthem (logician) (en)
  • Johan van Benthem (de)
  • Johan van Benthem (nl)
  • ヨハン・ファン・ベンタム (ja)
  • Johan van Benthem (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:givenName
  • Johan (en)
foaf:isPrimaryTopicOf
foaf:name
  • Johan van Benthem (en)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of