点此购买报价￥25.30
目录：图书,哲学与宗教,逻辑学,逻辑学原理,
品牌：邹崇理
基本信息
·出版社：中国社会科学出版社
·页码：251 页码
·出版日：2008年
·ISBN：9787500467113
·条码：9787500467113
·版次：1版
·装帧：平装
·开本：16 16
·中文：中文
·丛书名：中国社会科学院文库
内容简介
范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。
作者简介
邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马塞诸塞大学访问。2006年起任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员。2004年起任中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著，发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖项。
目录
绪论
第一章 范畴类型逻辑的发展阶段
第1节 古典范畴语法
第2节 Lambek句法演算
第3节 蒙太格语法
第4节 类型——逻辑语义学
第5节 语法逻辑
第二章 范畴类型逻辑的特性——逻辑的新功能
第三章 范畴类型逻辑研究
参考文献
后记
……[看更多目录]
点此购买报价￥25.30
