本书以知识表示与推理为应用牵引，以非经典逻辑（包括哲学逻辑和语言逻辑）为理论驱动，针对自然语言的内涵性、模糊性、交互性、形态性和多样性，分别构造了若干自然语言逻辑系统。

  该书除“序言”和附录外，共7章。第1章论述了逻辑、自然语言与知识表示与推理三者之间的关系；第2章介绍了类型逻辑与Lambek演算；第3章构造了若干语境内涵逻辑系统和形式语义，克服了“分析悖论”难题；第4章构造了模糊量词的自然逻辑推理系统，将自然逻辑推广到包括对模糊量化命题的处理；第5章把群体知识推广到一般情形，建立了两个包含相对化公共知识和群体隐含知识的公理化系统；第6章构造了两种Lambek时态演算系统，较好地解决了英语中的时态句型问题；第7章构建了刻画灵活语序现象的多模态范畴逻辑推理系统和表达致使语义的范畴类型逻辑语句系统，较好地解决了汉语的形式句法和语义问题。

  该书对现有的许多逻辑理论成果，如超内涵逻辑、自然逻辑、动态认知逻辑、多模态范畴逻辑和Lambek演算等进行了修正、拓展和改进，解决了语言逻辑中的一些重大问题，并为今后的自然语言逻辑研究指明了新的方向。

  对与农村教育发展指标相关的基本理论问题的研究

  ——《中国农村教育发展指标研究》

  首席专家 袁桂林

  袁桂林 男，1952年5月出生，现为北京师范大学教育学部，农村教育与农村发展研究院教授、博士生导师，联合国教科文组织国际农村教育研究与培训中心专家，第七届国家督学。从事外国教育史、西方道德教育、基础教育、农村教育等研究。曾先后获得国家留学基金委、加拿大国际发展署、美国富布莱特基金会、日本学术振兴会、台湾夏潮基金会等项目资助，在英国、加拿大、美国、日本和中国台湾等地进修学习，从事合作科学研究。曾获得曾宪梓优秀教师奖。主持了教育部哲学社会科学研究重大课题攻关项目，世界银行贷款——英国政府赠款项目，全国教育科学“十一五”规划国家重点课题等。代表著作有《当代西方道德教育理论》、《基础教育改革与发展》等。

  成果简介

  本书基本框架由理论研究、指标体系构建和县域教育发展规划案例三部分组成。主要研究了与农村教育发展指标相关的基本理论问题。研究了农村教育发展指标的一些主要构成要素，初步构建了几套义务教育和非义务教育指标体系，全貌地反映了农村存在的教育类型和阶段，还探讨了教育指标和教育规划的关系。

  在国际、国内教育指标研究中，不仅没有区别城乡，而且没有对评价指标、督导指标、统计指标、发展指标等多种指标进行细致划分，没有涉及我国农村教育发展指标体系。本书以作者亲历的农村教育的调查素材为基础，结合国家有关部门和其他学者披露的相关数据，发掘提炼，对农村教育发展的历史进行回归分析，对农村教育发展的前景前瞻性预测，对农村教育发展速率进行了初步度量，并且结合实例站在缩小城乡差距的立场上，尝试制定农村教育发展规划等等。

  在城乡经济二元结构没有消除，农村的各项事业仍然比较落后的情况下，初步建构农村教育发展指标对于学术界的影响主要是提供了一个靶子，希望更多的学者参与讨论，并且把此领域的研究深入开展下去；对于社会而言，本研究有助于唤醒人们对农村发展问题的关注，理解发展的潜力、规则和可能，从而加大对农村教育资源的配置。

  ■以上图书已由经济科学出版社出版发行