现代逻辑学讲义 模态逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

数理逻辑基础：一阶逻辑与一阶理论

中国城市化进程中公共服务供给缺口的治理逻辑

作者首先比较全面系统地概括了国内外学者关于城市化与公共服务关系的最新观点，发现了发达国家和发展中国家不同的城市化路径；系统梳理了非基本公共服务的概念演化和特征功能，分析了发展非基本公共服务的宏观经...

形式逻辑和先验逻辑 逻辑理性批评研究

形式逻辑和先验逻辑的关系问题是康德哲学的一个十分重要的问题。康德是在达到了对形式逻辑和先验逻辑关系的深刻理解的基础上，才开始创建他的批判理论的。康德在哲学史上第一次科学地解释了形式逻辑的本质，在...

政府绩效评价的博弈结果与价值逻辑

本书的第一章为全书的导论，通过近年来参与的实际案例来说明现阶段政府绩效评价的问题，同时在综述国内外研究现状的基础上，提出本书的研究思路与理论创新。第二章以绩效评价的“三权”为框架，运用博弈论的方法，分...

现代逻辑学讲义 数理逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

数字逻辑与VHDL逻辑设计习题解答

本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。

逻辑探索留踪 彭漪涟逻辑论文选集

本书精选作者有代表性的论文50余篇，较集中体现了作者逻辑学方面的学术观点和思想，对逻辑科学的教学和科研有重要参考价值。

青年黑格尔派宗教批判的逻辑演进

书稿以“宗教批判”为逻辑主线，是因为它代表了青年黑格尔派取得的最高学术成就，并且在西方神学界产生重大的理论影响；“宗教批判”也是青年黑格尔派成员们共同关注和探讨的核心和主题，“宗教批判”在某种程度上...

弗雷格逻辑哲学与现代数理逻辑思潮

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。