集论与逻辑 : 面向计算机科学
《集论与逻辑 : 面向计算机科学》,作者:沈恩绍著 出版社:科学出版社 ISBN:7030110471。本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。
逻辑
语言与逻辑——当代反实在论的核心问题研究
《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展，实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来，语言和逻辑成
美国高等教育结构变迁：市场机制、公共选择与学术逻辑
《美国高等教育结构变迁：市场机制、公共选择与学术逻辑》,作者:韩梦洁 出版社:科学出版社 ISBN:9787030491053。本书致力于剖析高等教育结构变迁的内在机制，旨在加深对美国高等教育系统的理解。本书以社会结构理论为基础构建高等教育结构分析框架，从定性和定量的视角考察分析了美国高等教育结构变迁历程及其制度化的阶段性特征，综合运用市场经济理论、公共选择理论和高等教育哲学等多学科知识，剖析美国
中国农业的化肥减量化逻辑：理论与证据
《中国农业的化肥减量化逻辑：理论与证据》,作者:张露,罗必良 著 出版社:科学出版社 ISBN:9787030636584。本书基于“技术—规模—分工—治理”的分析线索，结合分工理论和合约理论等，运用实证与案例研究方法，揭示不同农业经营目标和要素禀赋情境下，农户化肥减量的行为逻辑、决定机理与治理路径，进而从微观、中观与宏观三个层面阐明化肥减量的政策含义及其策略选择。
基于格值逻辑的计量化知识推理及其应用
《基于格值逻辑的计量化知识推理及其应用》,作者:左卫兵 著 出版社:科学出版社 ISBN:9787030699084。本书系统介绍基于格值逻辑的计量化知识推理及其应用, 主要是作者十余年来研究工作的系统总结, 同时也兼顾了国内外有关领域的主要研究成果. 全书共六章, 具体内容包括多值命题逻辑的概率计量化、有限格值语义上的计量化知识推理、Boole 语义的程度化方法、基于格值逻辑代数语义的计量化知识
中国现代文化视野中的逻辑思潮
《中国现代文化视野中的逻辑思潮》,作者:曾昭式著 出版社:科学出版社 ISBN:9787030242846。本书主要运用“文化学的方法”、比较方法、“时段理论”等方法，以中国现代文化视野中的逻辑思潮为研究对象，探讨西方逻辑东渐与中国文化的互动关系。
烧旺理性的火焰——约翰谈逻辑
《烧旺理性的火焰——约翰谈逻辑》,作者:刘新文 编 出版社:科学出版社 ISBN:9787030521606。2006～2011年，清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作，以“逻辑之门”为题，分四卷陆续出版。每一卷译著出版之后，著译者们都举办交流活动，然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主
