面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
张海燕著2018 年出版217 页ISBN：9787010193748
书中内容通过总结和廓清逻辑经验主义对社会科学相关问题的认识，试图构建一个合理的研究体系，从而能够将散乱复杂的不同研究内容有机地纳入这一理论体系中。在系统地归纳逻辑经验主义对社会科学研究的基础上，给...
张华夏著2016 年出版320 页ISBN：9787509775868
本书立足实体结构主义和广义的科学结构，对逻辑经验主义衰落后的一些比较重大的科学哲学问题进行了一种综合性的探讨。共分三篇：“第一篇科学与实在”揭示了科学合理性与价值合理性和社会交往合理性之间的区别...
（加）斯图亚特·G.杉克尔（Stuart G.Shanker）主编2016 年出版505 页ISBN：9787300235394
《劳特利奇哲学史》第九卷考察了20世纪科学、逻辑和数学哲学的十个关键主题。每篇专题论文都由该领域世界重要专家所写，对所讨论的主题提供了综合性介绍。其写作方式不仅面向哲学专业学生，而且也面向对这些主...
朱建平著2014 年出版340 页ISBN：9787567208070
本书以现代逻辑的诞生为背景，以逻辑与哲学的交汇为线索，以动态的宏观叙事和静态的结构分析为切入点，以横向拓演和纵向发展为路径，为二十世纪逻辑哲学与哲学逻辑的发展以及逻辑与哲学的互动关系提供了一幅广阔而...
