逻辑语义学【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

逻辑语义学PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 导论1

1.1 语义学作为语法的组成部分1

1.2 真和指称2

1.3 方法3

1.3.1 组合原则3

1.3.2 模型和模型理论6

1.3.3 部分语法6

1.3.4 逻辑语言7

1.4 语义学的课题8

1.4.1 意义关系8

1.4.2 先设10

1.4.3 歧义11

1.4.4 外延与内涵14

1.4.5 词汇意义15

1.5 超越真值条件的意义20

1.5.1 言语行动20

1.5.2 约规含义与会话含义21

1.5.3 语境22

1.6 语义学与语用学的关系23

第2章 逻辑语言L1和英语部分语句E127

2.1 逻辑语言L1的句法部分27

2.2 英语部分语句E1的语法28

2.3 翻译31

2.3.1 句法范畴的对应关系31

2.3.2 句法规则的对应关系31

2.3.3 词汇的对应33

2.3.4 翻译步骤35

2.4 E1的语义解释35

2.4.1 模型M136

2.4.2 集合论37

2.4.3 语义规则55

第3章 逻辑语言L2和英语部分语句E257

3.1 逻辑语言L2的句法部分58

3.2 英语部分语句E2的语法60

3.3 翻译61

3.4 E2的语义解释64

3.4.1 模型M264

3.4.2 语义规则64

第4章 逻辑语言Lt和英语部分语句Et87

4.1 逻辑语言Lt87

4.2 Et中句法范畴的翻译与逻辑类的所指94

4.3 λ算子97

4.4 Et语法（1）104

4.5 翻译106

4.6 语义解释107

4.6.1 模型M3107

4.6.2 语义规则117

4.7 Et语法（2）、翻译和语义解释123

4.7.1 Et语法（2）的词汇规则和句法规则124

4.7.2 翻译125

4.7.3 语义规则128

4.7.4 并列的动词词组140

第5章 逻辑语言Lq和英语部分语句Eq146

5.1 名词词组和量词代名词146

5.2 Lq中的量词147

5.3 再论名词词组163

5.4 表达辖域歧义的方法182

5.4.1 量词插入规则183

5.4.2 量词提升185

5.4.3 量词继承原则185

5.5 句子之间的意义关系189

5.5.1 蕴涵、同义和矛盾189

5.5.2 推理193

第6章 广义量词205

6.1 广义量词与名词词组205

6.2 限定词的性质214

6.2.1 单调性214

6.2.2 守恒性221

第7章 时态逻辑语言Ltn和英语部分语句Etn225

7.1 时间225

7.2 时态算子228

7.3 时段语义学232

7.4 体239

7.5 动词的语义分类244

第8章 模态逻辑语言Lm与英语部分语句Em252

8.1 可能世界252

8.2 模态逻辑254

8.3 公式之间的蕴涵关系259

8.4 相关世界262

8.5 狭义蕴涵式与反条件句265

8.6 坐标语义学266

第9章 内涵语义学275

9.1 外延语义学的不足275

9.2 内涵与外延278

9.3 内涵逻辑语言283

9.3.1 句法部分285

9.3.2 语义部分287

第10章 词汇意义303

10.1 词汇分解304

10.2 意义公设309

10.3 词与词之间的意义关系310

10.4 形容词的语义分类314

10.5 题元角色316

10.5.1 基本概念316

10.5.2 两种形式化的题元角色理论318

10.5.3 原型角色323

第11章 先设328

11.1 历史背景328

11.2 先设与蕴涵330

11.3 先设的击发因素332

11.4 先设的可废除性335

11.5 先设的投射问题336

11.6 先设是逻辑概念还是语用概念340

11.7 先设的语用理论341

11.8 语境与意义的动态性347

第12章 驴子句和话语中的照应关系353

12.1 再论意义的动态性353

12.2 E－类照应理论359

12.3 话语表达理论360

12.4 照应关系的确定367

答案369

参考文献397

索引402