人类使用自然语言进行日常的思考、推理和解决问题，而机器使用形式语言进行推理和计算，因此，要实现人机互动，需要让机器能够将自然语言自动地翻译为形式语言，即实现自然语言的自动形式化。本书从人类认知出发，通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识，从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。

本报告作为系统阐述农业绿色发展的国家智库报告，由中国社会科学院农村发展研究所“农业农村绿色发展理论与政策研究”创新团队研创。

农业绿色发展是全面推进乡村振兴战略的重要内容，更是农产品质量安全、农业生产环境健康的重要保障。研究农业绿色发展理论与政策具有鲜明的时代价值。本报告在阐述农业绿色发展宏观背景、时代价值的基础上，从国家层面、区域层面及省级层面，系统分析了农业绿色发展的现状，提出了农业绿色发展的理论问题，并对农业绿色发展进行了评价，从中甄别存在的关键问题。系统剖析了种植业、畜牧业、水产养殖业绿色发展的理论问题及实践创新，提出了农业绿色发展的路径选择及政策建议。

心智的生命观认为，心智本质上是一个生命现象或有机体现象，要全面地理解心智首先要深刻认识生命的本性，即生命本质上是一个源于内部自我生产过程（新陈代谢）的自我维持体系。心智的生命观将当代生命理论、具身心智、生成认知、预测加工、自体平衡等不同思想路线融会贯通，并据此讨论当代心智科技、日益多样的“会聚技术”、技术增强等不断挑动起来的与各种技术文化思潮、人类存在性危机相关的后人类社会的议题。

本书是近年来国内非物质文化遗产研究的一部创新之作。全书以联合国教科文组织《保护非物质文化遗产公约》的核心观念为切入点，来观照当下中国非遗保护的实践情况。作者以国家级非物质文化遗产代表性项目——相声为个案，全面考察其在当代北京文化市场中的传承状态、生产过程与社会效应，挖掘其对于当下民众的多元意义，并指出其存在的不足。在与《公约》的对比中揭示国内非遗保护存在的普遍性问题，并描绘出民间社会与非物质文化遗产保护应有的理想状态。全书突出展示了民间文化资源介入公共文化建设的可能性，对于推进民俗学、民间文学学科的社会参与不无裨益。

本书是对唐教坊曲子的曲调考证研究，旨在继承发扬黄翔鹏先生倡导的“曲调考证”理论与方法，探究教坊曲调所蕴含的乐学理论、律学理论、声诗格律、词曲关系等特点。在此基础上，对照今日遗存的智化寺京音乐、五台山佛教音乐，开展古曲的考证实践，为从音响上揭示唐教坊曲子的基本形态特征，以及借助今天时代赋予的宝贵条件实现传统音乐的创造性转化和创新性发展，奠定可靠的基础。《虞美人》《菩萨蛮》两曲的音响重建成果，可以用微信“扫一扫”访问观看，供业界同仁批评参考。

唐教坊曲子《虞美人》

唐教坊曲子《菩萨蛮》

民族本是人文社会科学乃至生命科学研究的一大主题，不同学科的民族研究有必要相互参照。得益于国家近年来对中华民族共同体建设的重视，近年来兴起了一波多学科及跨学科的民族理论研究，哲学学科也积极参与，本文集即荟集了一批哲学学者有关民族与中华民族研究的论文，涉及文明论及其比较、现代性、民族性与民族主义、马克思主义民族观、中华民族共同体意识、国家及其认同建构等多个论域，应有望拓展和深化民族理论研究。