本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Age

证明论是逻辑基础理论的分枝.结构证明论是证明论的分枝，它研究演算中的分析性证明.本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明.本书还介绍了一阶逻辑、模态逻辑

本书主要内容为管理类联考逻辑应试辅导用书，涉及参加MPA、MBA、会计硕士、工程硕士等几个专业学位综合能力考试科目的内容，包含逻辑推理和常识判断等逻辑应试试题420道，合计450题。

《宗教与哲学》（第十辑）收录了国内有代表性的一批宗教哲学与宗教学研究方面的专家学者的最新力作，内容涵盖康德宗教哲学、自由儒学、洛克宗教哲学、道家思想、儒学与禅宗的对比研究、天人合一思想研究等诸多领域。其中，邓安庆教授基于国内方兴未艾的自由儒学思潮对黑格尔的中国哲学理解所做的对比研究，卢国龙教授对庄子自然概念尤其是“公是

本辑重点刊出了曾经引起学术界广泛讨论的两个专题——“宗教生态论”和“修行人类学”，以期推动中国之宗教人类学的中层理论建设，探讨我们如何解释中国宗教的累积传统及其当代发展趋势，以及我们如何从宗教的内在理路或内部视角去理解宗教的身体实践或自我表述。

这是一部讲述逻辑学的软科普小书。16岁的陆媛媛要参加学校的辩论赛，她与二师兄陈谋、大师姐李呦呦三人在播客节目“逍遥学派的散步时间”中展开了7次对话。这个节目的目标是让普通听众学到一些逻辑学的知识和方法，从而拥有更强的推理能力和论辩能力。就这样过了大约两个月，在师姐和师兄的帮助下，陆媛媛的思辨水平在同龄人中已属翘楚——两

本文集所收录论文是中国社会科学院民族学与人类学研究所重点学科宗教与文化研究成果。文集分为经典再读、历史探微、民族文化、译介述评四个栏目，相关文章从不同角度关注了理论前沿、历史文化、民族分类与中华民族宗教文化的多样性以及与社会认同以及宗教信仰与文化变迁等，资料丰富，观点鲜明，具有一定学术参考价值。《宗教信仰与民族文化》（

现代社会，人们生活节奏快、压力大，往往缺乏独立而有深度的思考，产生较多的迷茫和困惑。不改变固有的思维和行为方式就会让人浑浑噩噩、故步自封，甚至陷入“老路重走”的恶性循环。本书针对现代人常见的思维痛点，从实际需求出发，总结了一些日常生活中比较常见的思维方式，从思维的本质、思维的困局、思维的破局三个维度进行阐述，以求为读者

一个人越来越好的标志就是意志、修养、品行得到不断地修炼，人生的贵人就是努力向上的自己。《女性的自驱型成长》一书从女性自我成长的觉醒意识、限制性思维和信念、成长的特征、新女性形象等方面，叙述了女性的自驱型成长。女人有三件事情不能停：学习、美丽、经济独立。学习能提升内在的气质，美丽能带来自信，经济独立能受到尊重。本书结合心

《德国哲学》是由湖北大学哲学学院、湖北省哲学史学会联合主办的专门研究德国哲学及相关问题的学术集刊。《德国哲学》首任主编为张世英先生，洪谦先生、贺麟先生和熊伟先生为顾问，现任主编为邓晓芒、舒红跃。本辑分为“康德研究”“美学和现象学研究”“现当代德国哲学研究”“译文”“书评”5个专题，从康德道德哲学中的理性事实概念、对康德