中国社会科学院哲学研究所是我国哲学学科的重要学术机构和研究中心。其前身是中国科学院哲学社会科学部哲学研究所。历任所长为潘梓年、许立群、邢贲思、汝信(兼)、陈筠泉、李景源、谢地坤。中华人民共和国成立前,全国没有专门的哲学研究机构。为了适应社会主义改造和建设事业发展的需要... ... <详情>
哲学专业书库的前身是哲学研究所图书馆,与哲学研究所同时成立于1955年。1994年底,院所图书馆合并之后将其划为哲学所自管库,从此只保留图书借阅流通业务,不再购进新书。
2009年1月16日,作为中国社会科学院图书馆体制机制改革的重要举措之一,哲学专业书库正式挂牌。
<详情>我所邹崇理研究员专著《范畴类型逻辑》于2008年1月由中国社会科学出版社出版。
本书是“哲学宗教研究系列”之一,全书25.5万字,该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节,对范畴类型逻辑作了系统全面的介绍,具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。该书可供从事相关工作的人员作为参考用书使用。
录入编辑:小蜜蜂
地址:北京市东城区建国门内大街5号邮编:100732
电话:(010)85195506 传真:(010)65137826 E-mail:philosophy@cass.org.cn
我所邹崇理研究员专著《范畴类型逻辑》于2008年1月由中国社会科学出版社出版。
本书是“哲学宗教研究系列”之一,全书25.5万字,该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节,对范畴类型逻辑作了系统全面的介绍,具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。该书可供从事相关工作的人员作为参考用书使用。
录入编辑:小蜜蜂
中国社会科学院哲学研究所-版权所有