逻辑
政府绩效评价的博弈结果与价值逻辑
《政府绩效评价的博弈结果与价值逻辑》,作者:郎玫著 出版社:科学出版社 ISBN:9787030597106。《政府绩效评价的博弈结果与价值逻辑》从政府绩效评价的价值维度入手，深入解答政府绩效评价价值定位与价值生成的过程，运用博弈论的方法解读政府绩效评价内部存在的价值博弈关系。《政府绩效评价的博弈结果与价值逻辑》以政府绩效评价的基础模型为依据,重新提出一套设计政府绩效评价方法的理论基础，即通过以政
逻辑——从三段论到不完全性定理
《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
基于格值逻辑的计量化知识推理及其应用
《基于格值逻辑的计量化知识推理及其应用》,作者:左卫兵 著 出版社:科学出版社 ISBN:9787030699084。本书系统介绍基于格值逻辑的计量化知识推理及其应用, 主要是作者十余年来研究工作的系统总结, 同时也兼顾了国内外有关领域的主要研究成果. 全书共六章, 具体内容包括多值命题逻辑的概率计量化、有限格值语义上的计量化知识推理、Boole 语义的程度化方法、基于格值逻辑代数语义的计量化知识
烧旺理性的火焰——约翰谈逻辑
《烧旺理性的火焰——约翰谈逻辑》,作者:刘新文 编 出版社:科学出版社 ISBN:9787030521606。2006～2011年，清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作，以“逻辑之门”为题，分四卷陆续出版。每一卷译著出版之后，著译者们都举办交流活动，然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主
中国农地流转市场转型逻辑
《中国农地流转市场转型逻辑》,作者:仇童伟 著 出版社:科学出版社 ISBN:9787030719393。本书利用全国29个省（自治区、直辖市）大规模农户调查数据，首先描述了我国农地流转市场现状；其次，从产权逻辑、职业分化逻辑、公共干预逻辑、社会互动逻辑和参照系逻辑五个方面剖析了农地市场化流转的内在逻辑；最后，从劳动力配置、种植结构调整和农业绩效改善三个层面考察了农地流转市场化的社会效应。研究发现
临界的传递逻辑——模态逻辑的濒表格性问题探究
《临界的传递逻辑——模态逻辑的濒表格性问题探究》,作者:杜珊珊,康宏逵 著 出版社:科学出版社 ISBN:9787030530813。 本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视
合作的逻辑：一种演化模拟的视角
《合作的逻辑：一种演化模拟的视角》,作者:黄璜 著 出版社:科学出版社 ISBN:9787030542052。2005年，《科学》杂志将“合作行为如何演化”列为21世纪最关键的25个科学问题之一。解释或理解合作演化的逻辑，无论从理论和实践的角度都具有重要的意义。基本的研究问题是在没有外部强制下的合作如何实现？博弈理论说明，具有完全理性的自利个体在博弈中一定会选择有利于个体自身、却不利于共同利益的行
