范畴类型逻辑
出版时间:
2008-01
版次:
1
ISBN:
9787500467113
定价:
30.00
装帧:
平装
开本:
16开
纸张:
胶版纸
页数:
251页
字数:
255千字
35人买过
-
《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。 邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马萨诸塞大学访问。现任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员，中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著．发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖项。 绪论
第一章范畴类型逻辑的发展阶段
第1节古典范畴语法
1.1范畴和运算
1.2形式化表述
1.3古典范畴语法的变异
第2节Lambek句法演算
2.1运算即推演
2.2形式系统
第3节蒙太格语法
3.1范畴语法的独特形态
3.2通用语法模式
3.3直接和间接的语义解释
第4节类型-逻辑语义学
4.1句法和语义的综合表述
4.2后承演绎图式和自然演绎系统
4.3关于量化表达式的处理
第5节语法逻辑
5.1公理系统
5.2框架语义学
5.3GentZen后承表述
5.4合并或交织的多模态系统
第二章范畴类型逻辑的特性--逻辑的新功能
第1节范畴类型逻辑的自然语言语句系统
1.1蒙太格语法的语句系统
1.2类型-逻辑语义学的语句系统
第2节范畴类型逻辑和自然语言的计算机处理
2.1基于范畴类型逻辑的逻辑程序语言
2.2基于范畴类型逻辑的语法自动分析
第3节范畴类型逻辑的逻辑系统
3.1Lambek演算对判定问题的解决
3.2对应词项的完全性证明
3.3展示自然语言句法生成的语法逻辑
3.4表现自然语言语义的高阶内涵逻辑
第4节逻辑的新功能--关于自然语言的逻辑系统
4.1源于语言照应关系的动态逻辑
4.2用于语法分析的特征结构逻辑
4.3基于情境关联的信息流逻辑
第三章范畴类型逻辑研究
第1节非连续量词的类型-逻辑语义处理
第2节有关汉语灵活语序的多模态范畴逻辑
第3节融合特征结构的范畴类型推演
第4节处理照应关系的范畴类型推演
参考文献
后记
-
内容简介:
《范畴类型逻辑》是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。
-
作者简介:
邹崇理，成都市人，哲学博士，师从我国著名逻辑学家周礼全先生。1999年为香港理工大学外聘研究人员。2003年起为中国社会科学院哲学所研究员和博士生导师。2005年到美国宾夕法尼亚大学和马萨诸塞大学访问。现任逻辑研究室主任，哲学所学术委员会委员和职称评审委员会委员，中国逻辑学会秘书长，中国逻辑学会语言逻辑专业委员会主任，北京逻辑学会副会长。十多年来在语言和逻辑的领域辛勤耕耘，出版了《逻辑、语言和蒙太格语法》、《自然语言逻辑研究》和《逻辑、语言和信息》等专著．发表了《信息流逻辑》、《非连续量词的类型-逻辑语义处理》和《多模态范畴逻辑研究》等四十多篇论文。其专著获2002年度中国社科院优秀科研成果二等奖和2004年中国逻辑学会科研成果最高奖项。
-
目录:
绪论
第一章范畴类型逻辑的发展阶段
第1节古典范畴语法
1.1范畴和运算
1.2形式化表述
1.3古典范畴语法的变异
第2节Lambek句法演算
2.1运算即推演
2.2形式系统
第3节蒙太格语法
3.1范畴语法的独特形态
3.2通用语法模式
3.3直接和间接的语义解释
第4节类型-逻辑语义学
4.1句法和语义的综合表述
4.2后承演绎图式和自然演绎系统
4.3关于量化表达式的处理
第5节语法逻辑
5.1公理系统
5.2框架语义学
5.3GentZen后承表述
5.4合并或交织的多模态系统
第二章范畴类型逻辑的特性--逻辑的新功能
第1节范畴类型逻辑的自然语言语句系统
1.1蒙太格语法的语句系统
1.2类型-逻辑语义学的语句系统
第2节范畴类型逻辑和自然语言的计算机处理
2.1基于范畴类型逻辑的逻辑程序语言
2.2基于范畴类型逻辑的语法自动分析
第3节范畴类型逻辑的逻辑系统
3.1Lambek演算对判定问题的解决
3.2对应词项的完全性证明
3.3展示自然语言句法生成的语法逻辑
3.4表现自然语言语义的高阶内涵逻辑
第4节逻辑的新功能--关于自然语言的逻辑系统
4.1源于语言照应关系的动态逻辑
4.2用于语法分析的特征结构逻辑
4.3基于情境关联的信息流逻辑
第三章范畴类型逻辑研究
第1节非连续量词的类型-逻辑语义处理
第2节有关汉语灵活语序的多模态范畴逻辑
第3节融合特征结构的范畴类型推演
第4节处理照应关系的范畴类型推演
参考文献
后记
查看详情
-
九五品
北京市朝阳区
平均发货27小时
成功完成率85.69%
-
九品
北京市昌平区
平均发货29小时
成功完成率92.96%
-
九五品
北京市东城区
平均发货34小时
成功完成率83.01%
-
2008-01 印刷
印次: 1
九品
北京市昌平区
平均发货13小时
成功完成率96.84%
-
2008-01 印刷
印次: 1
九品
山东省济宁市
平均发货15小时
成功完成率93.91%
-
九品
北京市顺义区
平均发货26小时
成功完成率90.2%
-
九五品
江苏省宿迁市
平均发货28小时
成功完成率100%
-
九品
江西省南昌市
平均发货11小时
成功完成率98.48%
-
九五品
占位居中
