章节目录
序言
第1章内涵逻辑的起源
1.1引言
1.2意义对应理论
1.3自然主义与约定主义
1.4意义对应理论的变体
1.5作为意义指称理论的逻辑语义学
1.6意义指称理论存在的问题
1.7弗雷格的意义理论
1.8语境依赖
第2章内涵命题逻辑
2.1引言
2.2可能世界语义学
2.3模态命题逻辑
2.3.1历史背景
2.3.2句法与语义
2.3.3有效性概念的句法方法
2.3.4真势模态与认知模态
2.3.5一个应用
2.4时态命题逻辑
2.4.1句法与语义
2.4.2“现在”:一个扩展
2.4.3其他方法
2.5时态与模态的结合
第3章内涵谓词逻辑
3.1晦暗语境:从言模态与从物模态
3.2专有名词与限定摹状词:严格指称
3.3模态谓词逻辑语义学
3.3.1没有变项的公式
3.3.2等词
3.3.3变项与量词
3.3.4一个论域:存在谓词
3.4其他语境
3.5一个方法论的注解
第4章类型论与范畴语法
4.1引言
4.2类型论
4.2.1自然语言中类型的划分
4.2.2句法
4.2.3语义
4.3范畴语法
4.3.1引言
4.3.2范畴语法的特征
4.3.3范畴语法的描写充分性
4.3.4范畴语法和类型论
4.4λ—抽象
4.4.1λ—算子
4.4.2λ—转换
4.4.3λ—算子与组合性
第5章内涵类型论
5.1引言
5.2内涵构造和内涵概念
5.3句法
5.4语义
5.5算子“和”
5.6A—转换
5.7时态算子
5.8两体类型论
第6章蒙太格语法
6.1引言
6.1.1意义和句法的组合性
6.1.2对象语言和元语言:语义封闭性
6.1.3语义学与真值理论
6.2蒙太格语法的体系
6.3英语部分语句的蒙太格语法
6.3.1范畴和基本表达式
6.3.2词项、不及物动词、句子
6.3.3翻译进程的体系
6.3.4词项的翻译
6.3.5及物动词
6.3.6意义公设的作用
6.3.7部分语句系统的意义公设
6.3.8辖域歧义、从物解读和量化规则
6.3.9及物动词Be
6.3.10合取规则、析取规则和否定规则
6.3.11句子补语、非限定补语、形容词,关系从句和副词
6.4个体概念
6.4.1引入个体概念的必要性
6.4.2引入个体概念的后果
6.4.3一些实例
6.4.4意义公设
6.5组合性、逻辑形式和语法形式
6.6结语
第7章新近发展
7.1引言
7.2广义量词理论
7.2.1主要目标
7.2.2蒙太格语法中作为广义量词的NP短语
7.2.3限定词:两个视角
7.2.4NP和量词的一些基本性质
7.2.5普遍限制
7.2.6逻辑限定词
7.2.7进一步的发展
7.3灵活的范畴语法和类型论
7.3.1范畴变化
7.3.2逻辑的视角
7.3.3进一步的发展
7.4话语表现理论
7.4.1引言
7.4.2有关回指关系和非限定词项的一些问题
7.4.3DRT的非形式介绍
7.4.4形式定义
7.4.5DRT和组合性
7.4.6结论
练习答案
参考文献说明
参考文献
索引
译后记
内容简介
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
下载说明
1、逻辑、语言与意义(第2卷)是作者[荷]L.T.F.哈姆特创作的原创作品,下载链接均为网友上传的网盘链接!
2、相识电子书提供优质免费的txt、pdf等下载链接,所有电子书均为完整版!
下载链接
热门评论
-
[已注销]的评论oh,读得太累了。前几章普通一些的内涵逻辑的语义学还好,后面进类型论和范畴语法就有点懵了,5.intensional theory of types和6.montague grammar的后面一点内容,就只试着领悟了一下大概吧.......(主要是4,5章其实过得有点快,对没基础的并不太友好........)最后讲新近发展,通过对DRT的修改得到的更具组合性的dynamic predicate logic处,再次阵亡了........//整个第二卷基本只关注语义学了,特别注重的自然语言的刻画,就非常descriptive,蒙太格主要讲的是PTQ模型,新近发展着重讲了广义量词理论和话语表现理论。7.3的东西略过了一下,其实书里对范畴语法的处理也不太多//书是好书,翻译基本上过得去,编辑该谢罪
-
马蹄北去的评论内涵逻辑+类型论→内涵类型论→蒙塔古语法,层次递进脉络清楚。印刷和排版质量依然很差,严重影响到阅读