| 词条 | 范畴类型逻辑 |
| 释义 | 版权信息书 名: 范畴类型逻辑 作 者：邹崇理 出版社： 中国社会科学出版社 出版时间： 2008 ISBN: 9787500467113 开本： 16 定价: 30.00 元 内容简介范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。 作者简介邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马塞诸塞大学访问。2006年起任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员。2004年起任中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著，发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖项。 目录绪论 第一章范畴类型逻辑的发展阶段 第1节古典范畴语法 第2节Lambek句法演算 第3节蒙太格语法 第4节类型——逻辑语义学 第5节语法逻辑 第二章范畴类型逻辑的特性——逻辑的新功能 第三章范畴类型逻辑研究 参考文献 后记 …… |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。