形式逻辑要现代化——家龙师谈逻辑.pdf 本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告,分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题,下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。 叁号仓库 2022年07月18日 0 点赞 0 评论 3096 浏览
模态对应理论.pdf 本书分为模态逻辑与经典逻辑、模态对应理论新进展两部分,内容包括:模态命题逻辑的简要概述、模态公示的一阶可定义性、模态可定义性等。 叁号仓库 2022年07月17日 0 点赞 0 评论 2528 浏览
烧旺理性的火焰——约翰谈逻辑.pdf 2006~2011年,清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作,以“逻辑之门”为题,分四卷陆续出版。每一卷译著出版之后,著译者们都举办交流活动,然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主 叁号仓库 2022年07月16日 0 点赞 0 评论 3783 浏览
逻辑、语言和认知.pdf 本书探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。 叁号仓库 2022年07月14日 0 点赞 0 评论 6417 浏览