20世纪70年代曾被乔治·布勒斯誉为模态逻辑的黄金年代,因为模态逻辑的三大分支:完全性理论、对应理论和对偶理论等都在这一时期形成,这大致确定了模态逻辑的研究方向。荷兰阿姆斯特丹大学约翰·范本特姆教授(Johan van Benthem...20世纪70年代曾被乔治·布勒斯誉为模态逻辑的黄金年代,因为模态逻辑的三大分支:完全性理论、对应理论和对偶理论等都在这一时期形成,这大致确定了模态逻辑的研究方向。荷兰阿姆斯特丹大学约翰·范本特姆教授(Johan van Benthem)是模态逻辑对应理论的主要贡献者之一,他1976年的博士论文《模态对应理论》以及1983年出版的《模态逻辑与经典逻辑》,成为模态对应理论的经典著作。2010年,科学出版社出版了张清宇和刘新文翻译的《模态对应理论》("逻辑之门——约翰·范本特姆经典著作"·卷Ⅲ),引起了国内学界对模态对应理论的关注和重视。为了能更清楚地了解模态对应理论的过去、现状和未来的发展趋向,我们组织了对范本特姆教授的访谈。展开更多
约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学...约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学,旨在研究信息的结构和信息流,同时担任欧洲逻辑、语言和信息基金会的第一任主席,还是荷兰艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。展开更多
文摘20世纪70年代曾被乔治·布勒斯誉为模态逻辑的黄金年代,因为模态逻辑的三大分支:完全性理论、对应理论和对偶理论等都在这一时期形成,这大致确定了模态逻辑的研究方向。荷兰阿姆斯特丹大学约翰·范本特姆教授(Johan van Benthem)是模态逻辑对应理论的主要贡献者之一,他1976年的博士论文《模态对应理论》以及1983年出版的《模态逻辑与经典逻辑》,成为模态对应理论的经典著作。2010年,科学出版社出版了张清宇和刘新文翻译的《模态对应理论》("逻辑之门——约翰·范本特姆经典著作"·卷Ⅲ),引起了国内学界对模态对应理论的关注和重视。为了能更清楚地了解模态对应理论的过去、现状和未来的发展趋向,我们组织了对范本特姆教授的访谈。
文摘约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学,旨在研究信息的结构和信息流,同时担任欧洲逻辑、语言和信息基金会的第一任主席,还是荷兰艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。
