刘新文

形式逻辑要现代化——家龙师谈逻辑.pdf

本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告,分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题,下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。

模态对应理论.pdf

本书分为模态逻辑与经典逻辑、模态对应理论新进展两部分,内容包括:模态命题逻辑的简要概述、模态公示的一阶可定义性、模态可定义性等。

烧旺理性的火焰——约翰谈逻辑.pdf

2006~2011年,清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作,以“逻辑之门”为题,分四卷陆续出版。每一卷译著出版之后,著译者们都举办交流活动,然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主

逻辑、语言和认知.pdf

本书探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。