ヨハン・ファン・ベンタム

ヨハネス・フランシスカス・アブラハム・カレル・ファン・ベンタム︵Johannes Franciscus Abraham Karel van Benthem、1949年6月12日 - ︶は、オランダの論理学者。アムステルダム大学論理言語計算研究所論理学専攻卓越教授︵universiteitshoogleraar︶、スタンフォード大学言語情報研究センター教授。1996年、スピノザ賞受賞。

経歴・人物

アムステルダム大学から1969年に物理学で学士号、1972年に哲学で修士号、1973年に数学で修士号を取得。1977年、マルティン・レーブの指導の下、同大より博士号を修得した。

アムステルダム大学、フローニンゲン大学を経て、1986年にアムステルダム大学教授に就任。2003年まで務める。1992年、オランダ王立芸術科学院会員に選出さる。2014年9月、アムステルダム大学論理言語計算研究所を退職した。2015年、アメリカ芸術科学アカデミー国外フェローとして選出さる。

共同筆名、﹁L・T・F・Gamut﹂の一人である。

中国でも教鞭をとる。中欧米間の論理学者の国際的な協働を推進し、組織化に尽力している。

研究

様相論理の研究で知られる。ファン・ベンタムの定理︵Van Benthem's Theorem︶によれば、様相論理は双模倣性のもとで閉じた一階述語論理の断片である。

他に、

●科学哲学

●自然言語の論理構造︵一般化量化子、範疇文法、部分構造論理の証明論︶

●動的論理︵dynamic logic︶

●更新論理︵update logic︶

●ゲーム理論への論理学の応用

●ゲーム意味論︵論理学へのゲーム理論の応用︶

を研究分野とする。

著作

• Logic in action, North Holland, 1991
• Handbook of Logic and Language, ed. with Alice ter Meulen, Elsevier/MIT Press, 1997
• Modal Logic: A Semantic Perspective, with Patrick Blackburn
• Logic in Games, MIT Press, January 2014

外部リンク

• Johannes van Benthem's Profile 公式ウェブサイト（英語）
• Johan van Benthem 公式ウェブサイト（英語）