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