逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。《机器证明的逻辑推定》从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。《机器证明的逻辑推定》首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明（一种自然推理证明）。其次，用逻辑定理的机器证明工具TPG（Tree Proof Generator）实现逻辑定理的自动证明（一种树证明）。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明（一种自然推理证明）。

本书以海德格尔前后期思想的断裂问题为切入点，旨在明确美学在海德格尔后期哲学中的地位和作用。具体论述了美学在海德格尔前后期思想中地位与作用的实际变化及其带来的理论后果。并以美学在海德格尔哲学中地位和作用的嬗变为线索，研究海德格尔从前期具有生存唯我性色彩的此在生存论到后期带有审美主义倾向的本有存在论的转向问题。本书力图弥补当下学界对海德格尔后期存在论美学思想研究的不足，从而系统地对海德格尔美学思想进行整体把握。

本书为国家社会科学基金重大招标项目“分析哲学运动与当代哲学发展研究”结项成果之一，由时任英国约克大学教授毕明安（Michael Beaney）主编，由时任北京师范大学教授江怡带领的分析哲学研究团队翻译。本书由40位国际著名哲学家共同撰写完成，列入国际著名的牛津哲学手册系列；内容涵盖了自分析哲学的最初起源至当代在不同领域中的最新发展，特别是对分析哲学的历史定位和分析哲学的重要主题做出了深入系统的分析，具有极高的学术价值和历史意义。

《北学研究》由河北省社会科学院北学研究院主办，是国内首家专注于北学研究的学术刊物，力图为北学研究提供一个思想交流的学术平台。辑刊目前为一年一期，主要关注问题有：北学的源流、内涵、学术传统、文化精神、当代价值等研究，北学的代表人物及学派研究，北学文献整理研究，北学与其他地域之学比较研究等。本辑收录了北学人物及思想、北学文献、北学与区域文化、文化发展与创新及书讯与书评五部分。

本书针对美学研究对象的不实在性以及审美活动本身的复杂性、动态性等特征，从“美的存在”这一问题入手，探讨审美现象发生的信息过程和审美活动的心理信息机制。结合信息形态的演进和信息思维方法，对审美过程的复杂性、审美系统和审美心理展开具体阐释。本书指出，审美发生过程中，从审美感知、审美表象形成到审美记忆、审美情感的产生，再到审美想象、审美意象的生成，始终伴随着审美信息的显现、凝结、再造和创生。

思想的百科全书哲学的启蒙地图圣人的终极秘密人类的进化图谱作者穿越中西古今，从宇宙大爆炸、智人崛起到众神的星空、伟大的轴心时代，经过漫长的中世纪，迎来文艺复兴和启蒙运动，西方文明全面进步，而后是奇迹般的20世纪，最后探讨了人类的未来。以有机、通俗的语言，串起人类思想史上最璀璨的珍珠，让普通人也能秒懂哲学、引用经典、知行合一。

本书是英国日常语言学派著名哲学家奥斯汀为数不多的著作之一。书中，作者从日常语言出发，通过对一些语词的研究，揭示了一些哲学观念是误用了语言的结果。作者尤其对逻辑语言学领军人物艾耶尔进行了反驳。奥斯汀指出，艾耶尔等人的错误在于他们认定，“我们直接感知的总是某些与这类对象不同的对象；这类对象，现在人们习惯于命名为‘感觉与料’”。但是这种“感觉与料”理论恰恰是过度抽象或过度概括产生的一个虚假的概念。奥斯汀认为，艾耶尔没有能够理解一些在他自己看来最重要术语的基本功能，如“幻想”，“幻听”，“期待”，“看上去像是”以及“似乎”。他认为，这些术语表示的是我们对自己所说的话的真实性有所保留；而艾耶尔却引进了所谓的“感觉与料”，这个概念丝毫无助于增加我们的理解力，也不能帮助我们将我们所看到的说清楚。

全书以客观唯心主义立场，叙述了意识从自发到自觉的各个发展阶段，即“意识”、“自我意识”、“理性”、“伦理精神”、“宗教”、“知识”，并把这些阶段说成是人类意识在历史中所经历的发展阶段的缩影。该书有丰富的辩证法思想，并猜测到了逻辑和历史的统一，但始终把“精神”作为自己哲学的基本的概念，让逻辑和历史统一于“精神”。该书初步建立了黑格尔哲学体系的基本轮廓和基本概念。尤其是书中对莱布尼茨的“形而上学”的批判，为后世人本主义哲学的发展奠定了基础。

四五六之学的立论基点是：既然宇宙万物都具有五行属性，天地间五行的运行自然形成五运和六气，而人作为宇宙万物的基本个体之一，当然也具有五行属性，而且天地间的五运六气也必然对人产生影响。 其核心是，根据自然界的天气变化，结合一个人的四柱（生辰八字），来推断其先天体质和健康状况，以及受节气和天气变化的影响可能患病的趋势。

它只是《拉康传》的缩略和重复吗？是什么让作者假借拉康的“父之名”而发出了“不顾一切”的呐喊？我们精神生活的时代与拉康逝世的时代相去甚远吗？1993年，法国屈指可数的精神分析历史学家伊丽莎白·卢迪内斯库将她的《法国精神分析史》的第三卷《拉康传》全部献给了雅克·拉康的思想、著作和生活。然而，这部著名传记甫一出版便引起了巨大争议……时值2011年9月拉康逝世30周年之际，卢迪内斯库深感有必要对《拉康传》进行一个总结：既是对这位充满悖论性的大师的遗产进行盘点，也是对各种争议和批评的回应和进一步说明。这便是她的“拉康三传”之三《拉康：不顾一切》。毫不意外，它的出版立刻产生了激烈的回响与震荡，更是触发了精神分析历史上绝无仅有的一场“无头公案”。本书针对拉康波澜壮阔的一生描绘出一个历史性轮廓，把握住拉康职业生涯中的一些重要节点与转折，以便我们去发现它们曾经的面貌，它们时至今日又留下了怎样的遗产。