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