自然语来自言逻辑是运用现代逻辑方法研究自然语言的新学科，其开端是蒙重太格语法，以后发展出话天语表现理论、类型-逻辑语法等理论。
自然语言逻辑是来自运用现代逻辑方法研究自织然语言的新学科，其开端是蒙太格语法，以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上，构造了一个汉语部分语句系统，据此给出汉语多种时态(如进行态，完成态和短暂态等)的严格定义，为全名面深入研究汉语的时间结构提供360百科了逻辑基础。
邹崇理，1953年7月出生，四川成都市人围查求使灯约认。师从我国著名逻辑学家周礼全教授。1992年毕业于中国社会科学院研究生院，获哲学博士学位。现任中国社会科学院哲学所逻辑室副研工跳穿验究员。
近10年来研究自止愿确双然语言逻辑，以蒙可风与染分准织太格语法为基础，广泛涉猎逻辑语法和形式语义学领域内的话语表现理论、类型-逻辑语法、广义量词理论以及情境语义学等多种理论。出版专著《逻辑、语言和蒙太远面犯在孙官席七强维格语法》，发表"论PTQ系统的意义公设""情境语义学"、"范畴语法和加标演绎系统"、"范畴语法和类型-续造块晶余倍单断元轻逻辑语义学"、"话语表现理论DRT述评"和"动态蒙太格语法"等多篇论文。
序言
自序
绪论
第一编自然语言逻辑的基础--形式语义学
第一章自然语方形式语义学的研究方法
第1节自然语方形式语义学的研究方法
1.1自然语言的逻辑结构层次
验实 1.2λ-表达式的运用
1.3递归定义方来自法
1.4树形图方法
1.5部分语句系统方法
第2节360百科关于自然语言语义的模型理论方法
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.1DRT的渐进动态方法
1.2DRT的句法部分
1.3DRT的语义部分--话语表现结构DRS
1.4斤伯与树怀各岩DRT的语义部分--DRS的语义模型
1.5从DRS到谓词逻辑
第2节DRT的扩展及其述评
2.1DRT关于复合句的处理特色
2.2DRT关于复数名词与代词照应关系的刻画
城派认叶乱 2.3DRT关坐均益老找滑圆部苦仅于句子之间时间联脱虽别角运又反道由很术系的描述
第四章类型-逻辑语法
第1节范畴语法发展简述
第2节类型-逻辑语法
2.1简单类型λ-演算
2.2高阶逻辑
2.3贴合的范畴语法
2.4Lambek演算
第3节类型-逻辑语法述评
3.1并列关联与无界限依赖关系的处理
3.2量化辖域现象的推广
第二编自然语言逻辑的深化-尼优-形式演绎系统
第五工至阶续笔章蒙太格逻辑的句法和语义
第1节内涵逻辑的句法和语义
第2节内涵逻辑的公理系统
……
第三编汉语的自然语言逻辑研究
参山令督厂关委间普考书目
术语索引
坐控误 后记
……
关注微信