自然语言逻辑研究
出版时间:
2001-10
版次:
1
ISBN:
9787301045282
定价:
26.00
装帧:
平装
开本:
其他
纸张:
胶版纸
页数:
452页
字数:
375千字
33人买过
-
自然语言逻辑是运用现代逻辑方法研究自然语言的新学科,其开端是蒙太格语法,以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上,构造了一个汉语部分语句系统,据此给出汉语多种时态(如进行态,完成态和短暂态等)的严格定义,为全面深入研究汉语的时间结构提供了逻辑基础。 邹崇理,1953年7月出生,四川成都市人。师从我国著名逻辑学家周礼全教授。1992年毕业于中国社会科学院研究生院,获哲学博士学位。现任中国社会科学院哲学所逻辑室副研究员。 近10年来研究自然语言逻辑,以蒙太格语法为基础,广泛涉猎逻辑语法和形式语义学领域内的话 序言
自序
绪论
第一编 自然语言逻辑的基础——形式语义学
第一章 自然语方形式语义学的研究方法
第1节 自然语方形式语义学的研究方法
1.1 自然语言的逻辑结构层次
1.2 λ-表达式的运用
1.3 递归定义方法
1.4 树形图方法
1.5 部分语句系统方法
第2节 关于自然语言语义的模型理论方法
2.1 代数结构与语义模型
2.2 意义的组合原则
2.3 间接的语义解释
2.4 意义公设方法
第二章 蒙太格语法
第1节 蒙太格语法概况
1.1 蒙太格语法与自然语言逻辑
1.2 蒙太格语法的理论来源及其发展
1.3 蒙太格语法的基本体系
第2节 通用语法思想及其英语语句系统
2.1 逻辑语言和自然语言的通用语法
2.2 直接语义解释的英语系统
2.3 间接语义解释牟英语系统
第3节 蒙太格语法的语用学研究
第三章 话语表现理论DRT
第1节 DRT的基本体系
1.1 DRT的渐进动态方法
1.2 DRT的句法部分
1.3 DRT的语义部分——话语表现结构DRS
1.4 DRT的语义部分——DRS的语义模型
1.5 从DRS到谓词逻辑
第2节 DRT的扩展及其述评
2.1 DRT关于复合句的处理特色
2.2 DRT关于复数名词与代词照应关系的刻画
2.3 DRT关于句子之间时间联系的描述
第四章 类型-逻辑语法
第1节 范畴语法发展简述
第2节 类型-逻辑语法
2.1 简单类型λ-演算
2.2 高阶逻辑
2.3 贴合的范畴语法
2.4 Lambek演算
第3节 类型-逻辑语法述评
3.1 并列关联与无界限依赖关系的处理
3.2 量化辖域现象的推广
第二编 自然语言逻辑的深化——形式演绎系统
第五章 蒙太格逻辑的句法和语义
第1节 内涵逻辑的句法和语义
第2节 内涵逻辑的公理系统
……
第三编 汉语的自然语言逻辑研究
参考书目
术语索引
后记
-
内容简介:
自然语言逻辑是运用现代逻辑方法研究自然语言的新学科,其开端是蒙太格语法,以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上,构造了一个汉语部分语句系统,据此给出汉语多种时态(如进行态,完成态和短暂态等)的严格定义,为全面深入研究汉语的时间结构提供了逻辑基础。
-
作者简介:
邹崇理,1953年7月出生,四川成都市人。师从我国著名逻辑学家周礼全教授。1992年毕业于中国社会科学院研究生院,获哲学博士学位。现任中国社会科学院哲学所逻辑室副研究员。 近10年来研究自然语言逻辑,以蒙太格语法为基础,广泛涉猎逻辑语法和形式语义学领域内的话
-
目录:
序言
自序
绪论
第一编 自然语言逻辑的基础——形式语义学
第一章 自然语方形式语义学的研究方法
第1节 自然语方形式语义学的研究方法
1.1 自然语言的逻辑结构层次
1.2 λ-表达式的运用
1.3 递归定义方法
1.4 树形图方法
1.5 部分语句系统方法
第2节 关于自然语言语义的模型理论方法
2.1 代数结构与语义模型
2.2 意义的组合原则
2.3 间接的语义解释
2.4 意义公设方法
第二章 蒙太格语法
第1节 蒙太格语法概况
1.1 蒙太格语法与自然语言逻辑
1.2 蒙太格语法的理论来源及其发展
1.3 蒙太格语法的基本体系
第2节 通用语法思想及其英语语句系统
2.1 逻辑语言和自然语言的通用语法
2.2 直接语义解释的英语系统
2.3 间接语义解释牟英语系统
第3节 蒙太格语法的语用学研究
第三章 话语表现理论DRT
第1节 DRT的基本体系
1.1 DRT的渐进动态方法
1.2 DRT的句法部分
1.3 DRT的语义部分——话语表现结构DRS
1.4 DRT的语义部分——DRS的语义模型
1.5 从DRS到谓词逻辑
第2节 DRT的扩展及其述评
2.1 DRT关于复合句的处理特色
2.2 DRT关于复数名词与代词照应关系的刻画
2.3 DRT关于句子之间时间联系的描述
第四章 类型-逻辑语法
第1节 范畴语法发展简述
第2节 类型-逻辑语法
2.1 简单类型λ-演算
2.2 高阶逻辑
2.3 贴合的范畴语法
2.4 Lambek演算
第3节 类型-逻辑语法述评
3.1 并列关联与无界限依赖关系的处理
3.2 量化辖域现象的推广
第二编 自然语言逻辑的深化——形式演绎系统
第五章 蒙太格逻辑的句法和语义
第1节 内涵逻辑的句法和语义
第2节 内涵逻辑的公理系统
……
第三编 汉语的自然语言逻辑研究
参考书目
术语索引
后记
查看详情
-
九品
北京市昌平区
平均发货23小时
成功完成率86.63%
-
八品
四川省成都市
平均发货10小时
成功完成率93.6%
-
八品
重庆市大渡口区
平均发货17小时
成功完成率97.32%
-
九品
北京市昌平区
平均发货29小时
成功完成率92.16%
-
九五品
北京市海淀区
平均发货5天内
成功完成率76.77%
-
八五品
河北省廊坊市
平均发货7小时
成功完成率97.37%
-
八五品
天津市宝坻区
平均发货16小时
成功完成率97.96%
-
九品
黑龙江省哈尔滨市
平均发货10小时
成功完成率95.85%
-
八五品
湖北省武汉市
平均发货6小时
成功完成率95.05%
-
2001-10 印刷
印次: 2
八五品
安徽省蚌埠市
平均发货16小时
成功完成率97.22%
-
九品
甘肃省兰州市
平均发货8小时
成功完成率89.36%
-
九五品
北京市海淀区
平均发货4小时
成功完成率95.36%
-
九品
黑龙江省哈尔滨市
平均发货17小时
成功完成率94.55%
-
九五品
河北省保定市
平均发货16小时
成功完成率93.51%
-
全新
北京市海淀区
平均发货16小时
成功完成率94.05%
-
九品
广东省广州市
平均发货20小时
成功完成率85.19%
-
2001-10 印刷
印次: 2
九品
浙江省宁波市
平均发货15小时
成功完成率100%
-
八五品
湖北省武汉市
平均发货48小时
成功完成率89.57%
-
2001年 印刷
九五品
北京市海淀区
平均发货4小时
成功完成率96.88%
-
2000-04 印刷
八五品
北京市海淀区
平均发货5小时
成功完成率96.58%
-
九五品
江苏省南京市
平均发货7小时
成功完成率95.83%
-
八五品
广东省东莞市
平均发货7小时
成功完成率91.56%