ヨハン・ファン・ベンテム（論理学者）

ヨハン・ファン・ベンテム
生まれる	( 1949-06-12 )1949年6月12日（75歳）
母校	アムステルダム大学
科学者としてのキャリア
学術アドバイザー	マーティン・レーブ、スティーブン・K・トーマソン
博士課程の学生	マルコ・アイエロ ジェロエン・グロネンダイク エディス・ヘマスパアンドラ ミヒール・ファン・ランバルゲン マールテン・デ・レイケ マーティン・ストホフ
アムステルダムILLC初代所長
在任期間 ：1991年～1998年
後継者	マーティン・ストホフ

ヨハネス・フランシスカス・アブラハム・カレル（ヨハン）・ファン・ベンテム（1949年6月12日、ライスウェイク生まれ）は、アムステルダム大学論理・言語・計算研究所の論理学の大学教授（universiteitshoogleraar [nl] ）であり、スタンフォード大学（CSLI）の哲学教授でも ある。1996年にスピノザ賞を授与され[ 1 ^] 、 2015年に アメリカ芸術科学アカデミーの外国人フェローに選出された。

ファン・ベンテムはアムステルダム大学で物理学（理学士、 1969年）、哲学（修士、 1972年）、数学（理学修士、 1973年）を学び、1977年に同大学でマーティン・レーブの指導の下で博士号を取得しました。 2003年に大学教授に就任する前は、アムステルダム大学（1973～1977年）、フローニンゲン大学（1977～1986年）、アムステルダム大学 教授（1986～2003年）を務めました。

1992年にオランダ王立芸術科学アカデミーの会員に選出された。^[2]

ヴァン・ベンテムは様相論理の分野での研究で知られています。この研究は、命題様相論理が双模倣に対して不変である第一階述語論理の断片であるというヴァン・ベンテムの定理をもたらしました。

彼はまた、科学哲学、自然言語の論理構造（一般化量指定子、範疇文法、部分構造 証明理論）、動的論理と更新論理、論理のゲーム理論への応用、ゲーム理論の論理への応用（ゲーム意味論）の分野でも活躍しています。Van Benthemは、 L. TF Gamutというペンネーム で共同出版しているグループのメンバーです。彼は中国でも教鞭を執りました。彼は中国と西洋の論理学者間の国際協力を奨励し、組織することに尽力しました。

ファン・ベンテム教授は2014年9月に論理・言語・計算研究所を退職しました。

• ロジック・イン・アクション、北ホラント、1991年
• 論理と言語のハンドブック、アリス・ター・ミューレン編、エルゼビア/ MITプレス、1997年
• 様相論理：意味論的観点、パトリック・ブラックバーン氏との共著
• オープンマインドのための様相論理、 CSLI 出版、2010 年
• Logic in Games、MIT Press、2014年1月

• ウィキメディア・コモンズのヨハン・ファン・ベンテムに関連するメディア
• ヴァン・ベンセムの個人ホームページ