逻辑

科学哲学的问题逻辑

《科学哲学的问题逻辑》,作者:胡新和编 出版社:科学出版社 ISBN:9787030367242。本书选取了中国科学院大学在科学认识论、科学方法论、科学合理性与科学进步、科学实在论与反实在论的争论、逻辑与认知,以及科学哲学新动向等六个领域的成果,展现了我国当代科学哲学研究的一个侧面。

逻辑动态系统代数状态空间法理论与应用

《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的,在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章,第1~4章介绍逻辑动态系统代数状态空间法;第5~8章为其各种应用,包括有限自动机的动态建模

碳中和:逻辑体系与技术需求

《碳中和:逻辑体系与技术需求》,作者:丁仲礼等 著 出版社:科学出版社 ISBN:9787030732859。2060年前实现碳中和,是党中央经过深思熟虑作出的重大战略决策,也是当前社会各界普遍关心的热点问题。作为最大的发展中国家,我国实现这个宏伟目标时间紧、压力大、任务重。在此背景下,如何绘制可落地的“碳中和”路线图,使我国在展现大国担当的同时,保障自身发展的权益,这是政策制定背后的重大科学问题

逻辑、语言和认知

《逻辑、语言和认知》,作者:(荷)约翰·范本特姆著;刘新文,郭美云等译 出版社:科学出版社 ISBN:9787030254306。本书探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。

中国现代文化视野中的逻辑思潮

《中国现代文化视野中的逻辑思潮》,作者:曾昭式著 出版社:科学出版社 ISBN:9787030242846。本书主要运用“文化学的方法”、比较方法、“时段理论”等方法,以中国现代文化视野中的逻辑思潮为研究对象,探讨西方逻辑东渐与中国文化的互动关系。

逻辑、信息和互动

《逻辑、信息和互动》,作者:(荷)约翰·范本特姆著;刘奋荣,余俊伟等译 出版社:科学出版社 ISBN:9787030205254。本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程,阐述了模态逻辑的数学理论。