作者:范丙申阿姆斯特丹大学现代逻辑讲座教授智能主体应用逻辑earlier哲学教授lecturereasoningengage
摘要:现代逻辑拥有一套方法,使得它能够成为关于推理和其他信息导向之行为的一门广泛的科学,不但在大学里起着联接人文学、精密科学和社会科学的重要作用,并且也是我们信息社会基础的一部分。这篇文章,是我2014年9月26号在阿姆斯特丹大学大礼堂里所做的"纯粹与应用逻辑的顶级讲座教授"(University Professor of Pure and Applied Logic)讲席之离职演说的修改版本。此文回顾了现代逻辑的历史,阐述了逻辑与智能主体领域里新出现的动向,并讨论了它在未来所面临的的最重要的挑战。范丙申目前是阿姆斯特丹大学逻辑学荣誉教授,斯坦福大学亨利沃尔格瑞夫斯图尔特哲学教授,同时也是清华大学长江学者奖励计划讲座教授。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社