ヨハン・ファン・ベンタム
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/01/21 03:41 UTC 版)
経歴・人物
アムステルダム大学から1969年に物理学で学士号、1972年に哲学で修士号、1973年に数学で修士号を取得。1977年、マルティン・レーブの指導の下、同大より博士号を修得した。
アムステルダム大学、フローニンゲン大学を経て、1986年にアムステルダム大学教授に就任。2003年まで務める。1992年、オランダ王立芸術科学院会員に選出さる[1]。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 公式ウェブサイト（英語）
- ^ “Johan van Benthem”. Royal Netherlands Academy of Arts and Sciences. 2015年7月26日閲覧。
[前の解説]
「ヨハン・ファン・ベンタム」の続きの解説一覧
- 1 ヨハン・ファン・ベンタムとは
- 2 ヨハン・ファン・ベンタムの概要
- ヨハン・ファン・ベンタムのページへのリンク
